Импортируйте существующий MISRA C: 2 004 выравнивания к MISRA C: 2 012 результатов

Когда вы проверяете свой код на MISRA C^®: 2 012 нарушений, Polyspace^® импортирует выравнивания MISRA C: 2 004 нарушения от предыдущих исследований (если они существуют). Можно обновить от проверки MISRA C: 2 004 правила к MISRA C: 2 012 правил при сохранении выравниваний. Для общих правил на импорте комментария смотрите информацию об Анализе Импорта от Предыдущего Анализа Polyspace.

Программное обеспечение сопоставляет MISRA C: 2 004 Status, Severity и значения Comment, которые вы добавили через пользовательский интерфейс или аннотации кода к соответствующему MISRA C: 2 012 результатов, если результаты существуют. Для получения дополнительной информации об отображении, консультируйтесь с приложением один из MISRA C: 2 012 публикаций.

Если вы переходите от MISRA C: 2004 к MISRA C: 2012, вы не должны рассматривать результаты, которые вы уже выровняли по ширине.

Отображение нескольких MISRA C: 2 004 аннотации к тому же MISRA C: 2 012 результатов

Когда вы выравниваете по ширине MISRA C: 2 004 нарушения при помощи синтаксиса блока кода или несколько выравнивают синтаксис аннотации, и множественные нарушения сопоставляют с тем же MISRA C: 2 012 правил, Polyspace не импортирует каждое выравнивание результата. Вместо этого программное обеспечение импортирует только один набор Status, Severity и значений Comment и применяет эти значения ко всем экземплярам того конкретного MISRA C: 2 012 нарушений правила.

Например, предположите, что вы анализируете свой код и находите нарушения MISRA C: 2 004 правила 16.3 и 16.5. Можно выровнять по ширине эти результаты при помощи синтаксиса аннотации, где вы вводите различное состояние и пояснительный текст для каждого правила.


//polyspace-begin misra2004:16.3 [Status 1] "Explanatory comment 1"
//polyspace-begin misra2004:16.5 [Status 2] "Explanatory comment 2"

code block start;
/* This block of code contains violations of
MISRA C:2004 rules 16.3 and 16.5 */
code block end;

//polyspace-end misra2004:16.3 
//polyspace-end misra2004:16.5

Предыдущие нарушения сопоставляют с MISRA C: 2 012 правил 8.2. Когда вы проверяете свой аннотируемый код по MISRA C: 2 012 правил, Polyspace импортирует только первую линию аннотаций (для правила 16.3) и применяет его ко всем результатам правила 8.2. Вторая линия аннотаций для правила 16.5 проигнорирована. В панели Results List всем нарушениям правила 8.2 установили столбец Status на Status 1 и набор столбца Comment к "Explanatory comment 1".

Примечание

Панель Output Summary отображает предупреждающее сообщение для каждого результата, где импортированная аннотация конфликтует с исходной аннотацией. После того, как вы импортируете свой MISRA C: 2 004 аннотации, проверяйте, что выровненное по ширине состояние не было присвоено результатам, которые вы намереваетесь исследовать или зафиксировать.

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