Learn more about Simulink Verification and Validation

Version 1.0 (R14) Simulink Verification and Validation Software

This table summarizes what's new in Version 1.0 (R14):

New Features and Changes	Version Compatibility Considerations	Fixed Bugs and Known Problems	Related Documentation at Web Site
Yes Details below	No	Fixed bugs, and Additional Bug Fixes	No

New features and changes introduced in this version are

• Improved Requirements Management Interface

• New Verification Manager

• New Model Coverage Features

• Additional Bug Fixes

Improved Requirements Management Interface

The user interface for requirements management has been updated and integrated with Model Explorer. The new interface includes requirement descriptions and links to Microsoft Word (.doc), Microsoft Excel (.xls), and HTML documents, which are mapped directly to Simulink and Stateflow model elements. The new requirements management interface is fully compatible with models that already map requirements using the earlier interface. For a detailed description of this new feature, see Managing Modeling Requirements in the Simulink Verification and Validation User's Guide

New Verification Manager

The GUI interface for the Signal Builder block now includes a new Verification Manager to manage the verification blocks in a model. From this central location, you can construct configurations of verification blocks to accompany each test group. Each of these configurations enables, disables, and override enables individual verification blocks to assert during testing. For a detailed description of this new feature, see Managing Verification Blocks in the Simulink Verification and Validation User's Guide.

New Model Coverage Features

Signal Range Analysis Report

This new feature provides a report at the bottom of the standard Model Coverage report with the maximum and minimum signal values at each block in the model measured during simulation.

For details on this new feature, see Signal Range Analysis in the Simulink Verification and Validation User's Guide.

N-Dimensional Lookup Table Report

This report section displays an interactive chart that summarizes the extent to which elements of a lookup table are accessed. The report contains up to n two-dimensional tables representing the elements of the lookup table. Each cell contains a shade of the color green representing the number of execution counts for its lookup value. If you click an individual table cell, you receive a dialog that displays the index location of the cell and the exact number of execution counts generated for it during testing.

For details on this new feature, see N-Dimensional Lookup Table Report in the Simulink Verification and Validation User's Guide.

Colored Simulink Diagram Coverage Display

Model coverage displays results for individual blocks directly in Simulink diagrams as follows:

• Highlights (colors) blocks that have received model coverage during simulation.

• Provides a context-sensitive display of summary model coverage information for each block.

For details on this new feature, see Colored Simulink Diagram Coverage Display in the Simulink Verification and Validation User's Guide.

Additional Bug Fixes

This version includes additional bug fixes, listed here:

Problems with Objects Not Synchronizing

In many cases, Simulink blocks and especially Stateflow objects (states, junctions, transitions, and so on) did not synchronize and appear in the DOORS synchronized module. This has been fixed by the new Requirements Management Interface.

Problems with the Navigator

Numerous bugs have been reported with the Requirements Navigator GUI. This GUI has been deprecated in favor of integrating requirements directly into Simulink models with the new Requirements Management Interface.

Problems with Navigating to Requirements

Numerous bugs have been reported with navigation to text, HTML, and Excel files requirements documents through the old Requirements Management Interface Navigator. These issues have been fixed in the new Requirements Management Interface.

Version 1.0.1 (R14SP1) Simulink Verification and Validation Software

Compatibility Summary for Simulink Verification and Validation Software

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