Читайте Polyspace Code Prover следует из MATLAB
Считайте результаты анализа Polyspace® Code Prover™ в таблицы MATLAB® при помощи этого объекта. Можно получить общий обзор результатов или деталей, таких как каждый экземпляр проверки на этапе выполнения.
Примечание
Прежде чем вы запустите Polyspace из MATLAB, необходимо соединить Polyspace и установки MATLAB. Смотрите.
resObj = polyspace.CodeProverResults(
создает объект для чтения определенного набора результатов Программы автоматического доказательства Кода в таблицы MATLAB. Используйте методы объекта считать результаты.resultsFolder
)
proj = polyspace.Project; resObj = proj.Results;
создает polyspace.Project
объект с Results
свойство. Если при запуске анализ Программы автоматического доказательства Кода, этим свойством является polyspace.CodeProverResults
объект.
getSummary | Просмотрите количество результатов Polyspace, организованных типом результатов (Средство поиска Ошибки) или цвет и файл (Программа автоматического доказательства Кода) |
getResults | Просмотрите все экземпляры результатов Программы автоматического доказательства Средства поиска или Кода Ошибки |
variableAccess | Просмотрите глобальные переменные C/C++ наряду с операциями чтения-записи |