Polyspace MISRA C:2004 и MISRA AC AGC Checkers

Polyspace^® MISRA C^®: 2004 шашка помогает вам соответствовать стандарту кодирования MISRA C 2004.^[1]

При нарушении правил MISRA C средство проверки MISRA C позволяет программному обеспечению Polyspace предоставлять сообщения с информацией о нарушениях правил. Большинство сообщений сообщается на фазе компиляции анализа.

Проверка MISRA C позволяет проверить почти все из 142 правил C:2004 MISRA.

MISRA^® Правила проверки АРУ переменного тока из категорий OBL (обязательный) и REC (рекомендуемый), указанных в Руководстве MISRA AC AGC для применения MISRA-C:2004 в контексте автоматической генерации кода.

Существуют подмножества правил кодирования MISRA, которые могут оказывать прямое или косвенное влияние на избирательность (процент надежности) ваших результатов. При настройке проверки правил можно выбрать эти подмножества непосредственно. Эти подмножества определены в:

Примечание

Шашка MISRA Polyspace основана на C:2004 MISRA, которая также включает техническое исправление MISRA C.

Документация Polyspace Code Prover

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.

Документация