הצגת המקור של הדף "MISRA C"

'''MISRA C''' היא קבוצה של הנחיות הנחשבות לסטנדרט [[דה פקטו]] בכתיבת קוד מקור של אפליקציות קריטיות המיועדות למערכות הנמצאות תחת [[אסדרה|רגולציה]] של גופי תקינה,<ref>{{קישור כללי|כתובת=https://misra.org.uk/#:~:text=Today%20MISRA%20C%20is%20the,language%2C%20and%20additional%20language%20features.|כותרת=MISRA C}}</ref> והנכתבת [[שפת תכנות|בשפת התכנות]] [[C (שפת תכנות)|C]], הסטנדרט פותח על ידי MISRA ([[ראשי תיבות]] של '''M'''otor '''I'''ndustry '''S'''oftware '''R'''eliability '''A'''ssociation). מטרותיו הן להקל על [[בטיחות]] קוד, [[אבטחת מחשב אישי|אבטחה]], [[היסב|ניידות]] ואמינות בהקשר של [[מערכת משובצת מחשב|מערכות משובצות]], במיוחד מערכות שקוד המקור שלהם נכתב ב-ISO C {{כ}}/ C90 / {{כ}}C99.{{הערה|{{Cite web|url=https://www.misra.org.uk/LinkClick.aspx?fileticket=JMG_JlEytqY%3D&tabid=59|title=MISRA clarifies safe and secure uses of the C language|accessdate=2019-10-09|publisher=www.misra.org.uk}}}} או ISO/IEC 9899:2018.

הגרסה הנוכחית והמעודכנת ביותר שקיימת כיום, נקראת MISRA C 2023 מהדורה 3 רוויזיה 2, ונכון לעכשיו, מסמך ההגדרות של גרסה זאת הוא היחידי שניתן לרכוש ולהוריד באתר MISRA הרשמי<ref>{{קישור כללי|כתובת=https://misra.org.uk/product/misra-c2023/|הכותב=MISRA ORG|כותרת=MISRA C:2023 Third Edition, Second Revision|אתר=MISRA ORG}}</ref>

קיים גם סט הנחיות MISRA עבור [[C++|++C]]<ref>{{קישור כללי|כתובת=https://misra.org.uk/misra-cpp2023-released-including-hardcopy/|הכותב=The MISRA Org|כותרת=MISRA C++:2023 released}}</ref> הידוע בשמו MISRA C++:2023:<ref>{{קישור כללי|כתובת=https://www.amazon.co.uk/dp/1911700103|כותרת=MISRA C++:2023: Guidelines for the use of C++17 in critical systems|אתר=Amazon|תאריך=נובמבר 2023}}</ref>

== היסטוריה ==
* טיוטה: 1997<ref>In spring 1997 software engineers at the [[Austin Rover Group]] (ARG) sent a draft C coding standard to Programming Research Ltd (PRL) for review. The review was performed by PRL's then senior consultant, David Blyth, who proposed replacing the draft with an appreciably stronger set of coding rules. Those rules, with minor changes, formed the basis of the first edition of MISRA C.</ref>
* מהדורה ראשונה: 1998 (כללים, חובה / מומלצים)<ref>{{קישור כללי|כתובת=https://misra.org.uk/product/misra-c1998/|כותרת=MISRA C:1998}}</ref>
* מהדורה שנייה: 2004 (כללים, חובה / מומלצים)
* מהדורה שלישית: 2012 (הנחיות; כללים, ניתן להחליט / לא ניתן להחליט)
* התיקון הראשון (Amendment 1) לתקן MISRA C2012 יצא באפריל 2016
* התיקון השני (Amendment 2) לתקן MISRA C2012 יצא בפברואר 2020<ref>{{קישור כללי|כתובת=https://misra.org.uk/app/uploads/2021/06/MISRA-C-2012-AMD2.pdf|הכותב=HORIBA MIRA Limited|כותרת=MISRA C:2012 Amendment 2
Updates for ISO/IEC 9899:2011
Core functionality|אתר=The MISRA organization|תאריך=February 2020}}</ref>
* התיקון השלישי (Amendment 3) לתקן MISRA C2012 יצא באוקטובר 2022<ref>{{קישור כללי|כתובת=https://misra.org.uk/app/uploads/2022/12/MISRA-C-2012-AMD3.pdf|הכותב=The MISRA Consortium Limited|כותרת=MISRA C:2012 Amendment 3
Updates for ISO/IEC 9899:2011/2018
Phase 2 — New C11/C18 features|תאריך=אוקטובר 2022}}</ref>
* התיקון הרביעי (Amendment 4) לתקן MISRA C2012 יצא במרץ 2023<ref>{{קישור כללי|כתובת=https://misra.org.uk/app/uploads/2023/03/MISRA-C-2012-AMD4.pdf|הכותב=The MISRA Consortium Limited|כותרת=MISRA C:2012 Amendment 4
Updates for ISO/IEC 9899:2011/2018
Phase 3 — Multi-threading and atomics|תאריך=מרץ 2023}}</ref>
* MISRA C 2023, הגרסה העכשווית, מכילה את כל התיקונים הקודמים, שוחררה באוקטובר 2023<ref>{{קישור כללי|כתובת=https://misra.org.uk/misra-c2023-released/|הכותב=The MISRA organization|כותרת=MISRA C:2023 released|אתר=MISRA C|תאריך=אוקטובר 2023}}</ref>

בשתי המהדורות הראשונות של MISRA-C (כלומר 1998 ו-2004) כל ההנחיות נחשבו לכללים. עם פרסום MISRA C: 2012 הוצגה קטגוריה חדשה של הנחיות – ההנחיה שתאימותה פתוחה יותר לפרשנות, או מתייחסת לנושאים תהליכים או פרוצדורליים.

חידוש נוסף ב-MISRA C 2012 הוא הוספת הכללים המנדטורים, כללים שסטייה מהם לא תתאפשר תחת שום צידוק<ref>{{קישור כללי|כתובת=https://misra.org.uk/app/uploads/2021/06/MISRA-Compliance-2020.pdf|הכותב=HORIBA MIRA Limited|כותרת=MISRA Compliance:2020
Achieving compliance with
MISRA Coding Guidelines|אתר=MISRA ORG|תאריך=פברואר 2020}}</ref>

== התפתחות ואימוץ בתעשייה ==
אף על פי שבמקור ייועד לתעשיית הרכב, MISRA C התפתח כמודל מקובל לשיטות עבודה מומלצות על ידי מפתחים מובילים בתחומים כולל רכב, תעופה, טלקום, מכשירים רפואיים, ביטחון, רכבת ואחרים. לדוגמה:
* פרויקט C ++ Coding Standards<ref name="JSF-C++">{{Cite web|url=http://www.stroustrup.com/JSF-AV-rules.pdf|title=Joint Strike Fighter Air Vehicle C++ Coding Standards|accessdate=2019-07-16}}</ref> של [[תוכנית Joint Strike Fighter|Joint Strike Fighter]]{{הערה|שם=JSF-C++}} מבוסס על MISRA-C: 1998.
* C Coding Standards [[המעבדה להנעה סילונית|במעבדה להינע סילוני]] של [[נאס"א]]<ref name="JPL-C">{{Cite web|url=https://andrewbanks.com/wp-content/uploads/2019/07/JPL_Coding_Standard_C.pdf|title=NASA JPC C Coding Standards|accessdate=2019-07-16}}</ref> מבוססים על מיסרה-C: 2004.
* ISO 26262 "בטיחות פונקציונלית – כלי רכב בדרכים" מצטט את MISRA C כתת-קבוצת כללים מתאימה של שפת C:
** ISO 26262-6: 2011 "חלק 6: פיתוח מוצרים ברמת התוכנה"<ref>{{Cite web|url=https://www.iso.org/standard/51362.html|title=ISO 26262-6:2011 Road vehicles -- Functional safety -- Part 6: Product development at the software level|last=|first=|date=|website=iso.org|publisher=ISO|archiveurl=|archivedate=|accessdate=2019-07-16}}</ref> מצטט את MISRA-C: 2004 ו-MISRA AC AGC.
** ISO 26262-6: 2018 "חלק 6: פיתוח מוצרים ברמת התוכנה"<ref>{{Cite web|url=https://www.iso.org/standard/68388.html|title=ISO 26262-6:2018 Road vehicles -- Functional safety -- Part 6: Product development at the software level|last=|first=|date=|website=iso.org|publisher=ISO|archiveurl=|archivedate=|accessdate=2019-07-16}}</ref> מצטט את MISRA C: 2012.
* מפרט התוכנה הכללי של AUTOSAR SRS_BSW_00007 מצטט גם כן את MISRA C:
** מפרט התוכנה הכללי של AUTOSAR 4.2<ref>{{Cite web|url=https://www.autosar.org/fileadmin/user_upload/standards/classic/4-2/AUTOSAR_SWS_BSWGeneral.pdf|title=AUTOSAR 4.2 General Software Specification|last=|first=|date=|website=autosar.org|archiveurl=|archivedate=|accessdate=2019-07-16}}</ref> מחייב "שאם הטמעת מודול BSW כתובה בשפת C, היא תואמת את [[תקן]] MISRA C: 2004."
** מפרט התוכנה הכללי של AUTOSAR 4.3<ref name="AUTOSAR-C">{{Cite web|url=https://www.autosar.org/fileadmin/user_upload/standards/classic/4-3/AUTOSAR_SWS_BSWGeneral.pdf|title=AUTOSAR 4.3 General Specification of Basic Software Modules|last=|first=|date=2016-11-30|website=autosar.org|publisher=AutoSAR|archiveurl=|archivedate=|accessdate=2019-07-16}}</ref> מחייב "שאם הטמעת מודול ה-BSW כתובה בשפת C, היא תואמת את תקן MISRA C: 2012."

== כלי תוכנה מסחריים שמאפשריים בדיקה אוטומטית של 100% מכללי MISRA C 2023 ==
ככלל בדיקות תאימות של קוד מקור לתקן MISRA C נעשים בסריקה אוטומטית על ידי כלי [[ניתוח קוד סטטי|ניתוח קוד סטאטי]] מסחריים, כל שיטה אחרת כגון [[סקר קוד]] הנה מסובכת, מיייגעת ובעלת סיכוי גבוה לטעויות רבות
* HELIX QAC by Perforce, כלי ניתוח קוד סטאטי וותיק, מבוסס על הכלי של חברת PRQA שנרכשה על ידי Perforce בשנת 2018<ref>{{קישור כללי|כתובת=https://www.perforce.com/press-releases/clearlake-capital-acquires-perforce-software|הכותב=Perforce|כותרת=Clearlake Capital Acquires Perforce Software|אתר=www.perforce.com|תאריך=עשירי לינואר 2018}}</ref> תומך בכל גרסאות MISRA C ובין הבודדים שתומכים גם בגרסה העדכנית, MISRA C 2023<ref>{{קישור כללי|כתובת=https://www.perforce.com/products/helix-qac/whats-new-helix-qac|הכותב=Perforce Software|כותרת=What’s New in Helix QAC?}}</ref>
* Parasoft C/C++TEST, כלי ניתוח קוד סטאטי שנפוץ מאד בקרב חברות המפתחות אפליקציות קריטיות תחת רגולציה, מכיוון שמספר מעובדי חברת Parasoft יצרנית הכלי השתתפו בכתיבת גרסת 2023 של התקן, היה הכלי הראשון בעולם שתמך בתקן במלואו כבר במאי 2023<ref>{{קישור כללי|כתובת=https://www.parasoft.com/news/complete-support-for-misra-c-2023-in-new-release-of-c-c-testing-solution-enables-seamless-compliance/|הכותב=Parasoft|כותרת=Complete Support for MISRA C 2023 in New Release of C & C++ Testing Solution Enables Seamless Compliance|אתר=www.parasoft.com|תאריך=05.31.2023}}</ref>

== אפשרות לסטות מהתקן Deviations ==
במידה ולא ניתן לכתוב את האפליקציה תחת אילוץ של כלל מסוים, דוגמה אופיינת לכך היא למשל יישום כלל [MISRA 2012 Rule 11.4, advisory]: A conversion should not be performed between a pointer to object and an integer type. יישום של כלל זה לא תאפשר פניה לרגיסטרים של מעבדים במערכות משובצות מחשב. במקרים כאלה, צוות הפיתוח יכול להחליט שניתן לסטות מתאימות מוחלטת לתקן עלי ידי ויתור על יישום כללים שאינן מוגדרים כ"מנדטורים" (הכללים כללים שסטייה מהם לא תתאפשר תחת שום צידוק). במידה ועושים זאת נדרשת הצדקה והסבר שיתועדו בדו"ח מיוחד שנקרא Derivation Report<ref>{{קישור כללי|כתובת=https://alm.parasoft.com/hubfs/New_Pages/practical-guide-accelerate-MISRAC-2023-compliance-with-test-automation.pdf|הכותב=Parasoft INC|כותרת=A Practical Guide to
Accelerate MISRA C
2023 Compliance With
Test Automation}}</ref>

== קישורים חיצוניים ==
* {{אתר רשמי}}
<div class="mw-content-ltr">
* [https://www.youtube.com/watch?v=4enDPtwV2Kw Introduction to ISO26262 and MISRA C (in the context of ISO26262)], video in Hebrew by Daniel Liezrowice from an [[Ecomotion]] workshop
* {{Cite web|url=http://www.embedded.com/electronics-blogs/beginner-s-corner/4023981/Introduction-to-MISRA-C|title=Introduction to MISRA C|publisher=embedded.com}}
*[https://www.parasoft.com/blog/a-practical-guide-to-make-your-legacy-codebase-misra-c-2012-compliant/ A practical guide to make your legacy codebase MISRA C 2012 compliant]
* {{Cite web|url=http://electronicdesign.com/embedded/misra-c-safer-better|title=MISRA C: Safer Is Better|publisher=Electronic Design magazine}}
* {{Cite web|url=http://www.knosof.co.uk/misracom.html|title=Commentary on the first edition of the MISRA C guidelines|publisher=knosof.co.uk}}
* {{Cite web|url=http://electronicdesign.com/dev-tools/new-version-misra-c-why-should-you-care|title=New Version of MISRA C: Why Should You Care?|publisher=Electronic Design magazine}}
* {{Cite web|url=http://electronicdesign.com/dev-tools/misra-c2012-plenty-good-reasons-change|title=MISRA C:2012: Plenty Of Good Reasons To Change|publisher=Electronic Design magazine}}
* {{Cite web|url=http://www.programmingresearch.com/content/misc/PRQA-MISRAC2012-FactSheet.pdf|title=MISRA C:2012 fact sheet|publisher=programmingresearch.com}}
* {{Cite web|url=http://www.automotive-eetimes.com/en/design-center/full-design-center.html?cmp_id=71&news_id=222902845|title=MISRA C:2012 ensures automotive software safety|publisher=EE Times magazine}}
* {{Cite web|url=http://www.mathworks.com/solutions/automotive/standards/misra-c.html|title=Compliance to MISRA C: Code Generation|publisher=Mathworks}}
*[https://www.parasoft.com/blog/the-anticipated-misra-c2012-amendment-2-is-now-available/ The Anticipated MISRA C:2012 Amendment 2 is Now Available]
</div>

==הערות שוליים==
{{הערות שוליים|יישור=שמאל}}

[[קטגוריה:שפות C]]