Code Verification Summary

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

Описание

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

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

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

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

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

  • Передал ли проект или привел цель качества программного обеспечения к сбою

Свойства

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

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