Run Test Cases and Procedures for Simulink Verification and Validation

To execute the test cases and procedures for Simulink Verification and Validation (Model Coverage Analysis, Model Compliance Checking):

1. Copy the matlabroot/toolbox/qualkits/iec/slvnv/r2012a folder and its subfolders to a location to which you have write access. Use that location to run the test cases and procedures.

   Note   To run the tests and generate reports, you must have MATLAB Report Generator™ and Simulink Report Generator licenses. Some model coverage RPT files require Simulink Fixed Point™, Stateflow, and Simulink Design Verifier licenses.

2. Open the files certkitiec_slvnv_tests*.xls in the relocated folder.

3. Edit the files to specify the test cases (that is, test models and supporting files) that you want to execute, the expected results, and additional information. Check that the models and files that you specify exist in their specified locations in the /tests subfolder.

4. Save the files.

5. To run the tests and generate reports, execute the files certkitiec_slvnv_tests*.rpt. You can invoke them in the Certification Artifacts Explorer, from the MATLAB command line, or from the Report Explorer, as follows:

   • In the Certification Artifacts Explorer, right-click an RPT file and select Execute Tests.

   • At the MATLAB command line, enter the command

     report ('rpt_file')

     where rpt_file is the name of the test procedure.

   • To open Report Explorer, double-click an RPT file, or in Certification Artifacts Explorer, right-click an RPT file and select Open File. In Report Explorer, select File > Report.

   Simulink Report Generator creates the test reports and places them in the outputs subfolder.

   Note   Before you execute model coverage RPT files, set the Java™ heap size for your MATLAB session to at least 512 MB. To check the Java heap size, open the MATLAB Preferences dialog box and select General > Java Heap Memory. If the Java Heap Size value is less than 512 MB, change it to 512 MB, click OK, and restart MATLAB. (If the maximum available heap size value is less than 512 MB, select the maximum value.) This may help you avoid java.lang.OutOfMemoryError messages. Before you execute each model coverage RPT file, start a new MATLAB session.

6. Review the generated test reports for expected results.

Run Test Cases and Procedures for Embedded Coder

Run Test Cases and Procedures for Polyspace Client/Server for C/C++

© 1984-2012- The MathWorks, Inc.    -   Site Help   -   Patents   -   Trademarks   -   Privacy Policy   -   Preventing Piracy   -   RSS