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