sldvmisscovtool

版本 1.12.0.1 (523.2 KB) 作者: Yasumitsu Ito
A GUI tool to obtain test cases for missing coverage objectives
4.2
(5)
2.4K 次下载
更新时间 2016/9/1

查看许可证

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.

引用格式

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

MATLAB 版本兼容性
创建方式 R2007b
兼容任何版本
平台兼容性
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/

版本 已发布 发行说明
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