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 верно, программное обеспечение отображает состояние генерации отчета в пользовательском интерфейсе.

пример

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

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

Примеры

свернуть все

Анализируйте модель и создайте PDF аналитического отчета Simulink® Design 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'

Включайте итоговые аналитические данные только (Значение по умолчанию: ложь

'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 после анализа модели. В диалоговом окне Configuration Parameters, в Design Verifier> панель Report, выбирают Generate report of the results. Если вы хотите сохранить PDF отчета, выберите Generate additional report in PDF format.

Смотрите также

|

Темы

Представленный в R2009b

Документация Simulink Design Verifier
Поддержка