File Exchange

image thumbnail

sldvmisscovtool

version 1.12.0.1 (523 KB) by

A GUI tool to obtain test cases for missing coverage objectives

1 Download

Updated

View License

This tool helps users to import hand-created test cases into a Simulink model and obtain test cases for missing coverage objectives using Simulink Design Verifier (SLDV).
You can supply existing test cases by CSV files or Simulink MAT files (variable name and structure are hard-coded).
Example use case 1:
This tool semi-automates test generation by using SLDV to augment tests developed by hand. You start by manually creating test cases using your existing workflow or process.
Hand-created test cases are often easy to understand but may not fully cover your model. SLDV can then be used to provide additional test cases for the missing coverage objectives.

Example use case 2:
This tool imports test cases created by SLDV and then incrementally adds new test cases for your modified model. You start by specifying a MAT file generated by SLDV for the original model
(It contains the sldvData variable). You then run SLDV for the modified model. SLDV generates test cases only for the newly added coverage objectives.
There are two benefits to this use case:
1. You can focus on understanding the new test cases for the missing coverage objectives. (Without this tool, some of existing test cases might be changed for the unmodified portions of your model)
2. Importing test cases often reduces analysis time.

Comments and Ratings (2)

Toshiaki Kai

Goran Begic

Updates

1.12.0.1

Updated license

1.12

Updated to MATLAB Toolbox file format

1.11

Help documents can be referred via MATLAB Help Browser. Supported Japanese environment detection on R2010b or later.

1.7

Help documents can be referred via MATLAB Help browser. Fixed a language setting issue occurred in Japanese environment.

1.6

Help documents can be referred via MATLAB Help browser. Fixed a language setting issue occurred in Japanese environment.

1.5

Added SignalViewer GUI and support for fixed-point models.

1.2

Version 2.0. Plug-in import / export funciton has been introduced. You can import / export test cases from / to Signal Builder block by using this tool.

1.1

just removed unnecessary files

MATLAB Release
MATLAB 7.5 (R2007b)

Download apps, toolboxes, and other File Exchange content using Add-On Explorer in MATLAB.

» Watch video