Кто-нибудь создал C-файл для проверки инструментов проверки кода для MISRA-2004?

Question

Мы используем PC-Lint для проверки кода наших источников на соответствие MISRA-2004. Поскольку это проект, связанный с безопасностью, и мы собираемся получить сертификат от TUV, нам необходимо продемонстрировать нашу уверенность в этом инструменте (они не принимают ничего вроде «Я использовал его много раз»).

Наша цель - получить полный набор отрицательных тестов, проверяя инструмент для каждого правила набора MISRA-2004, ломая его и форсируя ошибку или предупреждение инструментом.

Кто-нибудь уже сделал это, и вы готовы поделиться своим результатом / C-кодом?

Answer 1

Мне не известны какие-либо исчерпывающие тестовые наборы для соответствия требованиям MISRA, но вы можете загрузить MISRA "Exemplar Suite" с веб-сайта MISRA .Вам необходимо зарегистрироваться (это бесплатно), а затем вы можете скачать пакет в разделе «Ресурсы MISRA C».Этот пакет не является исчерпывающим, но содержит множество примеров и является хорошей отправной точкой для создания собственных тестов.

Answer 2

Не уверен, что это стоит в вашем случае, но я знаю, что у Gimpel есть диаграммы соответствия для MISRA 1998 и 2004. Эти диаграммы перечисляют правила, указывают, может ли Lint проверять соответствие правилам или нет, и предоставляют комментарий, иллюстрирующий почему или как .

Если вы заинтересованы, вы можете найти его здесь для MISRA: 2004 . Также есть версия для MISRA 1998 .

Answer 3

Для этого есть один хороший инструмент - QA-C MISRA