Создание таблицы результатов анализа Polyspace
Этот компонент создает таблицы, содержащие следующие результаты:
Количество результатов
Количество нарушений правил кодирования для каждого типа правил кодирования, например MISRA C ®
Количество дефектов, для результатов Polyspace ® Bug Finder™
Количество проверок каждого цвета для результатов Prover™ кода Polyspace
Прошел ли проект или не удалось достичь цели качества программного обеспечения
Если этот параметр не отменен, таблицы содержат проверки Polyspace Code Prover, которые отображаются в заглушках Polyspace для стандартных библиотечных функций.