Code Verification Summary

Составьте таблицу результатов анализа Polyspace

Описание

Этот компонент создает таблицы, содержащие следующие результаты:

  • Количество результатов

  • Количество нарушений правил кодирования для каждого типа правил кодирования, такого как MISRA C®

  • Количество дефектов, для Polyspace®Результаты Bug Finder™

  • Количество проверок каждого цвета, для результатов Polyspace Code Prover™

  • Прошел ли проект или не выполнил задачу качества программного обеспечения

Свойства

Включите проверки из функций заглушки стандартной библиотеки Polyspace

Если эта опция не отменена, таблицы содержат проверки Polyspace Code Prover, которые появляются в заглушках Polyspace для стандартных функций библиотеки.