Составьте таблицу с проверками на этапе выполнения, упорядоченными файлом (Только Программа автоматического доказательства кода)
Этот компонент составляет таблицу, отображающую количество проверок Polyspace® Code Prover™ на файл в вашем коде.
Используйте эту опцию, чтобы отсортировать строки в таблице в алфавитном порядке именем файла или процентом бездоказательного кода.
Используйте эту опцию, чтобы отобразить количество регистраций таблицы или в столбчатых диаграммах.
Выберите эту опцию, чтобы отобразить количество проверок определенного цвета как отношение общего количества регистраций файла.
Выберите эту опцию, чтобы включать проверки от интерфейсных функций библиотеки стандарта Polyspace в вашем отображении.
