WikiDer > Сила 10: правила разработки кода, важного для безопасности - Википедия

The Power of 10: Rules for Developing Safety-Critical Code - Wikipedia

Сила 10 правил были созданы в 2006 году Джерард Дж. Хольцманн из НАСА / Лаборатория реактивного движения Лаборатория надежного программного обеспечения.[1] Правила предназначены для устранения некоторых C методы кодирования, которые затрудняют просмотр или статический анализ кода. Эти правила являются дополнением к MISRA C руководящих принципов и были включены в большую часть JPL стандарты кодирования.[2]

Правила

Десять правил:[1]

  1. Избегайте сложных конструкций потока, таких как идти к и рекурсия.
  2. Все петли должны иметь фиксированные границы. Это предотвращает неконтролируемый код.
  3. Избегать выделение памяти в куче.
  4. Ограничьте функции одной печатной страницей.
  5. Используйте минимум два утверждения времени выполнения на функцию.
  6. Ограничьте объем данных до минимально возможного.
  7. Проверьте возвращаемое значение всех непустых функций или приведите к void, чтобы указать, что возвращаемое значение бесполезно.
  8. Использовать препроцессор скудно.
  9. Ограничить использование указателя одним разыменование, и не используйте указатели на функции.
  10. Скомпилируйте со всеми возможными активными предупреждениями; все предупреждения должны быть устранены до выпуска программного обеспечения.

Использует

Исследование НАСА Toyota электронное управление дроссельной заслонкой прошивка выявлено не менее 243 нарушений данных правил.[3][4]

Смотрите также

дальнейшее чтение

  • G.J. Holzmann (19.06.2006). «Сила 10: правила разработки критически важных для безопасности кодексов». IEEE Computer. 39 (6): 95–99. Дои:10.1109 / MC.2006.212.

Рекомендации