Exponenta Banner

sldvreport

Сгенерируйте отчет Simulink Design Verifier

Свернуть все на странице

Синтаксис

[status, reportFilePath] = sldvreport(sldvDataFile)
[status, reportFilePath] = sldvreport(sldvDataFile, {reportOption1, reportOption2, ...})
[status, reportFilePath] = sldvreport(sldvDataFile, {reportOption1, reportOption2, ...}, reportFilePath)
[status, reportFilePath] = sldvreport(sldvDataFile, {reportOption1, reportOption2, ...}, reportFilePath, showUI)
[status, reportFilePath] = sldvreport(sldvDataFile, {reportOption1, reportOption2, ...}, reportFilePath, showUI, FORMAT)
[status, reportFilePath] = sldvreport(sldvDataFile, {reportOption1, reportOption2, ...}, reportFilePath, showUI, FORMAT, Filter)

Описание

[status, reportFilePath] = sldvreport(sldvDataFile) генерирует полный HTML из данных в sldvDataFile. Если sldvreport создает отчет, status возвращает true. reportFilePath содержит фактическое имя HTML.

[status, reportFilePath] = sldvreport(sldvDataFile, {reportOption1, reportOption2, ...}) генерирует полный HTML из данных в sldvDataFile на основе заданных опций. options - массив ячеек.

[status, reportFilePath] = sldvreport(sldvDataFile, {reportOption1, reportOption2, ...}, reportFilePath) генерирует полный HTML из данных в sldvDataFile на основе заданных опций и сохраняет его в расположении reportFilePath.

[status, reportFilePath] = sldvreport(sldvDataFile, {reportOption1, reportOption2, ...}, reportFilePath, showUI) генерирует полный HTML из данных в sldvDataFile на основе заданных опций и сохраняет его в расположении reportFilePath. Если showUI true, программное обеспечение отображает состояние генерации отчетов в пользовательском интерфейсе.

пример

[status, reportFilePath] = sldvreport(sldvDataFile, {reportOption1, reportOption2, ...}, reportFilePath, showUI, FORMAT) формирует полный отчет в заданном FORMAT из данных в sldvDataFile на основе заданных опций и сохраняет его в расположении reportFilePath. Если showUI true, программное обеспечение отображает состояние генерации отчетов в пользовательском интерфейсе.

[status, reportFilePath] = sldvreport(sldvDataFile, {reportOption1, reportOption2, ...}, reportFilePath, showUI, FORMAT, Filter) формирует полный отчет в заданном FORMAT путем применения правил обоснования, заданных в файле фильтра анализа Filter и данные в sldvDataFile.

Примеры

свернуть все

Анализируйте модель и создайте PDF Simulink® Проектируйте Verifier™ анализируйте отчет при помощи sldvreport.

Откройте sldvdemo_cruise_control пример модели.

open_system('sldvdemo_cruise_control');

Установите sldvoptions и создайте PDF результатов анализа.

opts = sldvoptions;                      
opts.Mode = 'TestGeneration';           
opts.SaveReport = 'off';                                        
[status, files ] = sldvrun('sldvdemo_cruise_control', opts); 
[status, reportFilePath] = sldvreport(files.DataFile, ...
 {'summary','objectives'}, 'C:\work\sldvdemo_cruise_control_report', false, 'PDF');

Входные параметры

свернуть все

Имя файла данных, содержащего результаты анализа.

Массив ячеек, который задает эти опции для отчета.

'summary'

Включите только сводные данные анализа (По умолчанию: false)

'objectives'

Включите цель тестирования данные (По умолчанию: true)

'objects'

Включите данные обо всех объектах модели (По умолчанию: true)

'testcases'

Включите данные обо всех сгенерированных тестах (По умолчанию: true)

'properties'

Включите данные обо всех свойствах, которые проверены или сфальсифицированы (По умолчанию: true)

Путь и имя файла для сгенерированного отчета.

Логическое значение, указывающее, где отображать сообщения во время анализа.

true для отображения сообщений в окне журнала.
false (по умолчанию) для отображения сообщений в MATLAB® Командное окно.

Запись, указывающая, нужно ли создавать отчет в HTML, PDF или в том и другом формате.

'HTML' (по умолчанию) для генерации HTML отчета.
'PDF' чтобы сгенерировать PDF отчета.
{'HTML', 'PDF'} для генерации HTML и PDF форматов отчета.

Этот параметр чувствителен к регистру. Используйте для этого параметра только заглавные буквы.

Имя файла фильтра анализа, содержащего правила обоснования.

Пример: 'sldvdemo_design_error_detection_sldv_filter.cvf'

Выходные аргументы

свернуть все

Если операция создает отчет анализа, sldvreport возвращает status от true. В противном случае возвращается false.

Путь и имя файла для сгенерированного HTML.

Альтернативы

Программа Simulink Design Verifier создает HTML после анализа модели. В диалоговом окне Параметры конфигурации на панели Design Verifier > Report выберите Generate report of the results. Если необходимо сохранить PDF отчета, выберите Generate additional report in PDF format.

См. также

|

Темы

Введенный в R2009b

Документация Simulink Design Verifier

Поддержка