| Version 1.0 (R14) Simulink® Verification and Validation™ Software Release Notes | |
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
The new Requirements Manager replaces the old Requirements Manager Interface (RMI) tool. The new Requirements Manager includes requirement descriptions and links to Microsoft Word (.doc), Microsoft Excel (.xls), and HTML documents, which are mapped directly to Simulinkand Stateflow model elements. The new Requirements Manager is fully compatible with models that already map requirements with the old RMI tool. For a detailed description of this new feature, see Managing Modeling Requirements in the Simulink Verification and Validation User's Guide.
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.
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 Report in the Simulink Verification and Validation User's Guide.
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.
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.
This version includes additional bug fixes, listed here:
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.
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.
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-2008- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |