МИСРА С
-
История и развитие MISRA C
- MISRA C — это набор стандартов для разработки программного обеспечения, которые были разработаны в 1990-х годах.
- Стандарты были разработаны для обеспечения безопасности и надежности программного обеспечения, используемого в критически важных системах.
- Стандарты охватывают широкий спектр тем, включая обработку ошибок, управление памятью, обработку сигналов и многое другое.
-
Публикация и изменения стандартов
- Первое издание MISRA C было опубликовано в 1998 году.
- Второе издание, MISRA C:2004, было выпущено в 2004 году с изменениями в нумерации правил и добавлением новых правил.
- Третье издание, MISRA C:2012, было выпущено в 2013 году с поддержкой версии языка C99 и улучшениями в области безопасности.
- В 2016 и 2020 годах были выпущены дополнительные рекомендации и обновления стандартов.
-
Поддержка и инструменты
- MISRA не предоставляет процесс сертификации, но рекомендует использовать инструменты для проверки соответствия кода стандартам.
- Существует множество инструментов, которые могут проверять код на соответствие MISRA, включая статический анализ и динамический анализ.
-
Критика и эффективность стандартов
- Некоторые исследования ставят под сомнение эффективность стандартов MISRA C 2004 года, указывая на высокий процент ложных срабатываний.
- В статье Леса Хаттона отмечается, что стандарты не устранили недостатки предыдущего издания и не улучшили соотношение реальных и ложных срабатываний.
- Исследование Делфтского университета показало, что некоторые правила MISRA работают лучше, чем случайный предсказатель, но в целом соблюдение стандартов может снизить надежность программного обеспечения.
Полный текст статьи: