Code covered by the BSD License  

Highlights from
sldvmisscovtool

5.0

5.0 | 2 ratings Rate this file 19 Downloads (last 30 days) File Size: 523 KB File ID: #21957
image thumbnail

sldvmisscovtool

by

 

30 Oct 2008 (Updated )

A GUI tool to obtain test cases for missing coverage objectives

| Watch this File

File Information
Description

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.

Required Products Simulink
Simulink Design Verifier
Simulink Verification and Validation
MATLAB release MATLAB 7.5 (R2007b)
Other requirements MATLAB R2007a+ or later
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
Comments and Ratings (2)
20 Sep 2012 Toshiaki Kai  
20 Nov 2008 Goran Begic  
Updates
03 Nov 2008

just removed unnecessary files

29 Jun 2009

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.

05 May 2010

Added SignalViewer GUI and support for fixed-point models.

18 May 2011

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

18 May 2011

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

28 Dec 2011

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

Contact us