MISRA C: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
| Строка 64: | Строка 64: | ||
}} |
}} |
||
* {{cite web |
* {{cite web |
||
| url = http://www.leshatton.org/index_SA.html |
|||
| title = MISRA C papers |
|||
| author = [[Software reliability]] expert [[Les Hatton]] |
|||
| publisher = leshatton.org |
|||
| deadlink = 404 |
|||
}} |
|||
* {{cite web |
* {{cite web |
||
| url = http://www.knosof.co.uk/misracom.html |
| url = http://www.knosof.co.uk/misracom.html |
||
Версия от 10:49, 24 мая 2012
MISRA C — стандарт разработки программного обеспечения на языке Си, разработанный MISRA (Motor Industry Software Reliability Association). Цель стандарта — улучшить безопасность, переносимость и надежность программ для встраиваемых систем. Также существует набор похожих руководящих принципов для языка C++ под названием MISRA C ++.
В настоящее время стандарты MISRA используются не только в автомобильной индустрии, но также и в аэрокосмической, телекоммуникационной, разработке медицинских устройств, военных проектах, и других[1][2][3]
Первая редакция стандарта MISRA C, «Guidelines for the use of the C language in vehicle based software», была опубликована в 1998 году, и часто называется MISRA-C:1998.[4]
В 2004 была издана вторая редакция под названием «Guidelines for the use of the C language in critical systems» (MISRA-C:2004) со значительными изменениями, включая перенумерацию правил.
Продолжается работа над следующей редакцией стандарта, адаптированной к C99.
Текст стандарта MISRA C доступен только за плату.[5]
Правила
В MISRA-C:1998 перечислено 127 правил[6] (93 обязательных и 34 рекомендательных).
В MISRA-C:2004 141 правило (121 обязательное и 20 рекомендательных). Правила разделены на 21 категорию.
Анализаторы
Существует множество прогаммных анализаторов, которые проверяют код на соответствие правилам «MISRA», однако процесса сертификации MISRA не существует.[7]
Большая часть правил может быть проверена при помощи утилит статического анализа кода, но часть из них требуют применения средств динамического анализа.
- Анализаторы, проверяющие соответствие MISRA
- Компиляторы C, которые могут проверять соответствие MISRA, выпускаются компаниями
См. также
Примечания
- ↑ http://www.programmingresearch.com/QAMISRA.html
- ↑ Cosmic Software - MISRA checker
- ↑ LDRA: Using the LDRA tool suite for MISRA-C:2004 Certification
- ↑ A brief history of MISRA C
- ↑ «Buying MISRA C»
- ↑ computing.unn.ac.uk/staff/cgam1/teaching/0703/misra%20rules.pdf Документ с перечислением всех 127 правил
- ↑ MISRA C FAQ
Ссылки
- misra.org.uk — официальный сайт MISRA C
- Introduction to MISRA C. embedded.com. Архивировано 18 мая 2012 года.
- MISRA C: Safer Is Better. electronicdesign.com. Архивировано 18 мая 2012 года.
- MISRA C — Some key rules to make embedded systems safer. iar.com.
- Software reliability expert Les Hatton. MISRA C papers. leshatton.org.
- Commentary on the first edition of the MISRA C guidelines. knosof.co.uk. Архивировано 18 мая 2012 года.
- Automating Compliance to MISRA C/C++ Standards. johndayautomotivelectronics.com. Архивировано 18 мая 2012 года.
 | На эту статью не ссылаются другие статьи Википедии. |