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