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 отчета

Анализируйте модель и создайте 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');

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

свернуть все

`sldvDataFile` — Файл данных с результатами анализа
вектор символов | строковый скаляр

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

`options` — Опции для отчета
вектор символов | массив ячеек из символьных векторов | массив строк

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

`'summary'`	Включайте итоговые аналитические данные только (Значение по умолчанию: ложь
`'objectives'`	Включайте данные о цели тестирования (Значение по умолчанию: tRUE
`'objects'`	Включайте данные обо всех объектах модели (Значение по умолчанию: tRUE
`'testcases'`	Включайте данные обо всех сгенерированных тестах (Значение по умолчанию: tRUE
`'properties'`	Включайте данные обо всех свойствах, которые доказаны или сфальсифицированы (Значение по умолчанию: tRUE

`reportFilePath` — Сгенерированный отчет
вектор символов | строковый скаляр

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

`showUI` — Отобразите сообщения
логический

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

true отобразить сообщения в логарифмическом окне.

false (значение по умолчанию), чтобы отобразить сообщения в MATLAB^® Командное окно.

`FORMAT` — Сгенерируйте формат отчета
'HTML' | 'PDF' | {'HTML', 'PDF'}

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

'HTML' (значение по умолчанию), чтобы сгенерировать формат HTML отчета.

'PDF' сгенерировать версию PDF отчета.

{'HTML', 'PDF'} сгенерировать HTML и форматы PDF отчета.

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

`Filter` — Имя анализа фильтрует файл с правилами выравнивания
вектор символов | строковый скаляр

Имя анализа фильтрует файл, который содержит правила выравнивания.

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

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

свернуть все

`status` — Состояние создания отчета
логический

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

`reportFilePath` — Имя файла и пути
символьный вектор

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

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

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

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

sldvrun | sldvoptions

Темы

Отчеты Simulink Design Verifier

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

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

sldvreport

Синтаксис

Описание

Примеры

Создайте PDF отчета

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

`sldvDataFile` — Файл данных с результатами анализа
вектор символов | строковый скаляр

`options` — Опции для отчета
вектор символов | массив ячеек из символьных векторов | массив строк

`reportFilePath` — Сгенерированный отчет
вектор символов | строковый скаляр

`showUI` — Отобразите сообщения
логический

`FORMAT` — Сгенерируйте формат отчета
'HTML' | 'PDF' | {'HTML', 'PDF'}

`Filter` — Имя анализа фильтрует файл с правилами выравнивания
вектор символов | строковый скаляр

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

`status` — Состояние создания отчета
логический

`reportFilePath` — Имя файла и пути
символьный вектор

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

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

Темы

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

Поддержка

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

sldvreport

Синтаксис

Описание

Примеры

Создайте PDF отчета

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

sldvDataFile — Файл данных с результатами анализа вектор символов | строковый скаляр

options — Опции для отчета вектор символов | массив ячеек из символьных векторов | массив строк

reportFilePath — Сгенерированный отчет вектор символов | строковый скаляр

showUI — Отобразите сообщения логический

FORMAT — Сгенерируйте формат отчета 'HTML' | 'PDF' | {'HTML', 'PDF'}

Filter — Имя анализа фильтрует файл с правилами выравнивания вектор символов | строковый скаляр

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

status — Состояние создания отчета логический

reportFilePath — Имя файла и пути символьный вектор

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

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

Темы

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

Поддержка

`sldvDataFile` — Файл данных с результатами анализа
вектор символов | строковый скаляр

`options` — Опции для отчета
вектор символов | массив ячеек из символьных векторов | массив строк

`reportFilePath` — Сгенерированный отчет
вектор символов | строковый скаляр

`showUI` — Отобразите сообщения
логический

`FORMAT` — Сгенерируйте формат отчета
'HTML' | 'PDF' | {'HTML', 'PDF'}

`Filter` — Имя анализа фильтрует файл с правилами выравнивания
вектор символов | строковый скаляр

`status` — Состояние создания отчета
логический

`reportFilePath` — Имя файла и пути
символьный вектор