Polyspace MISRA средства проверки C++

Средство проверки Polyspace^® MISRA^® C ++ помогает вам выполнить стандарт кодирования MISRA C^® ++:2008. ^[1]

Когда правила C++ MISRA нарушены, программное обеспечение Polyspace предоставляет сообщениям информацию о том, почему код нарушает правило. Большинство нарушений найдено во время фазы компиляции анализа. Средство проверки C++ MISRA может проверять 202 из 230 правил кодирования C++ MISRA.

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

Примечание

Polyspace MISRA средство проверки C++ основан на MISRA C ++:2008 – “Инструкции для использования языка C++ в критических системах".

Похожие темы

^[1] MISRA является зарегистрированной торговой маркой MIRA Ltd., сохраненной от имени Консорциума MISRA.

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

Поддержка

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

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

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

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

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

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