Test Suite Extender

版本 1.0.2 (333.0 KB) 作者: Devendra Bhave

Increase model coverage using Simulink Design Verifier incrementally

关注

4.0

(1)

44.0 次下载

更新时间 2024/5/21

查看许可证

This app assists you in increasing the model coverage interactively using Simulink® Design Verifier.

Installation

Before proceeding, ensure that the below products are installed:

Simulink Design Verifier
Simulink Coverage

Install this application using following steps:

Download “Test Suite Extender.zip”
Extract zipped file contents
Double-click file “Test Suite Extender.mlappinstall” to install MATLAB app in My Apps section

Getting Started

A test suite is a set of test cases used for measuring the model coverage. Simulink Design Verifier automatically generates test cases. This tool assists you to

identify model items with missing or incomplete coverage, and
augment your existing test suite with additional test cases using Design Verifier

This app offers the following novel features.

It updates existing Design Verifier MAT-file with additional test cases.
It identifies model items that require your attention. Typically, these model items are associated with coverage objectives that adversely impacts automatic coverage improvement.
It suggests and accepts seeds in Excel file format – which are user-written, temporary test cases that serve as a reference for Design Verifier test generation algorithm. Design Verifier mimics, and tweaks signal values from seeds as needed to generate additional test cases.
It implements following incremental workflow using simple and intuitive wizard.

引用格式

Devendra Bhave (2024). Test Suite Extender (https://www.mathworks.com/matlabcentral/fileexchange/132178-test-suite-extender), MATLAB Central File Exchange. 检索来源 2024/7/26.