MISRA C

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

• ECLAIR
• Klocwork
• LDRA
• Parasoft
• PC-Lint
• Polyspace
• QA-C
• Understand

Компиляторы C, которые могут проверять соответствие MISRA, выпускаются компаниями

• Green Hills Software
• IAR Systems

См. также

• Стандарт оформления кода

Примечания

1. ↑ http://www.programmingresearch.com/QAMISRA.html
2. ↑ Cosmic Software - MISRA checker
3. ↑ LDRA: Using the LDRA tool suite for MISRA-C:2004 Certification
4. ↑ A brief history of MISRA C
5. ↑ «Buying MISRA C»
6. ↑ computing.unn.ac.uk/staff/cgam1/teaching/0703/misra%20rules.pdf Документ с перечислением всех 127 правил
7. ↑ 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.

Связать^?

На эту статью не ссылаются другие статьи Википедии. Пожалуйста, воспользуйтесь подсказкой и установите ссылки в соответствии с принятыми рекомендациями.