sldvmisscovtool

Version 1.12.0.1 (523 KB) by Yasumitsu Ito
A GUI tool to obtain test cases for missing coverage objectives
4.2
(5)
2.4K Downloads
Updated 1 Sep 2016

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.

Cite As

Yasumitsu Ito (2024). sldvmisscovtool (https://www.mathworks.com/matlabcentral/fileexchange/21957-sldvmisscovtool), MATLAB Central File Exchange. Retrieved .

MATLAB Release Compatibility
Created with R2007b
Compatible with any release
Platform Compatibility
Windows macOS Linux

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

sldvmisscovtool/

sldvmisscovtool/doc/

sldvmisscovtool/doc_en/

sldvmisscovtool/pluginTest/

sldvmisscovtool/private/

sldvmisscovtool/

Version Published Release Notes
1.12.0.1

Updated license
1.12.0.0

Updated to MATLAB Toolbox file format
1.11.0.0

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

1.7.0.0

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

1.6.0.0

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

1.5.0.0

Added SignalViewer GUI and support for fixed-point models.
1.2.0.0

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.0.0

just removed unnecessary files
1.0.0.0