Simulink Verification and Validation Major Bug Fixes

This document describes major bug fixes in this release. Click on a problem area listed below to read how it has been fixed.

Coverage Failure with First-Order Hold
Coverage Information for Stateflow Transitions that Cross Subchart Boundaries
Coverage of Lookup Table (n-D) Block Can Cause Incorrect Behavior
Coverage Summary Display of Multiple Simulations
Display of States and Transitions with Requirements in Model Explorer
DOORS Automation Server Initialization
DOORS Navigation to Simulink
Hyperlinks from Coverage Report to Model on Unix Platforms
Issues with Signal Builder and Requirements Dialog
MCDC Coverage for Enabled-Triggered Subsystems
Model Modification Flag Set after Opening the Verification Manager
Navigation to Microsoft Word Documents
Navigation to Microsoft Word Interface
ND Lookup Tables Inside Enabled Subsystems
Refresh Problems after Deleting Overriden Verification Blocks
Saving and Loading Coverage Data for Models with Embedded MATLAB
Saving and Loading Coverage Data for Subsystems with Multiple Triggers
Setting Focus to DOORS Module after Navigation
Signal Range Coverage and Machine Parented Data
Signal Range Coverage Compatibility with SimMechanics Signals
Signal Range Coverage Compatibility with Stateflow Chart Execute at Initialize

Coverage Failure with First-Order Hold

This release fixes an issue with the coverage tool and the First-Order hold block. In the previous release this block caused an assertion whenever coverage was enabled.

Coverage Information for Stateflow Transitions that Cross Subchart Boundaries

This release fixes an issue with the coverage coloring of transitions that cross subchart boundaries. In previous releases these transitions were always displayed with a grey color regardless of the coverage.

The coverage summary information for these transitions is only available from the segment that connected to the source object, either in the subchart or its parent.

Coverage of Lookup Table (n-D) Block Can Cause Incorrect Behavior

In Simulink Verification and Validation 1.0 (Release 14FCS), enabling coverage of a Lookup Table (n-D) block having more than four dimensions can cause incorrect behavior or a memory access error. This release fixes the problem.

Coverage Summary Display of Multiple Simulations

This release fixes an issue where the coverage summary information was corrupted whenever the reporting included more than one column, as occurs with cumulative reporting.

Display of States and Transitions with Requirements in Model Explorer

In the previous release, when you selected the Display objects with linked requirements icon from the Model Explorer toolbar, the list was limited by the List View Options on the View menu.

In this release, when you select the Display objects with linked requirements icon from the Model Explorer toolbar, States and Transitions are automatically added to the List View Options menu. If States and Transitions are not currently enabled, you are notified of the change with a message box.

DOORS Automation Server Initialization

In this release the MATLAB Automation server is automatically started whenever a model is synchronized with DOORS. It is no longer necessary to start MATLAB as an Automation server.

DOORS Navigation to Simulink

In this release the navigation from DOORS to Simulink will open the Simulink model if it is not already opened.

Hyperlinks from Coverage Report to Model on Unix Platforms

In the previous release hyperlinks from the coverage report to the model did not work reliably. Linking problems have been fixed in this release.

Issues with Signal Builder and Requirements Dialog

In this release you will be prompted to close the Requirements dialog before changing the active Signal Builder group or moving or deleting groups. This prevents corruptions and inconsistencies in the requirements associated with specific Signal Builder groups.

MCDC Coverage for Enabled-Triggered Subsystems

This release fixes an issue caused when subsystems that are both enabled and triggered are executed and the enable is not active. In previous releases this caused an assertion whenever MCDC coverage was enabled for the subsystem.

Model Modification Flag Set after Opening the Verification Manager

In the provious release the model modification flag displayed in the title bar was erroneously turned on whenever the verification manager was opened. In this release the problem has been fixed.

Navigation to Microsoft Word Documents

This release improves the navigation behavior between Simulink and Microsoft Word by reusing the open window for a document each time navigation is performed and fixes a problem where the text was not appropriately selected after the second navigation to the same document.

Navigation to an open word document will force that window to be the current active window provided the windows registry key HKEY_CURRENT_USER\Control Panel\Desktop\ForegroundLockTimeout has a value of 0. Otherwise, the task bar entry will flash to indicate the navigation.

Navigation to Microsoft Word Interface

In prior releases, navigation to a Word Document always opened new window. The interface now will reuse an existing open window and bring this window to the front each time you navigate to a requirement.

ND Lookup Tables Inside Enabled Subsystems

This release fixes an issue caused when an ND Lookup table is part of the contents of an enabled subsystem that is disabled at t=0. In previous releases this caused an assertion the second time a simulation was executed with table coverage enabled.

Refresh Problems after Deleting Overriden Verification Blocks

This release fixes problems that occur when an overriden verification block is deleted from the model. In the previous release deleting an overriden verification block caused the refresh to fail and prevented model saving from working due to internal errors.

In this release the verification panel contents are automatically refreshed whenever you save a model, and the refresh works correctly when blocks are deleted.

Saving and Loading Coverage Data for Models with Embedded MATLAB

This release fixes an issue that prevented coverage data for models containing Embedded MATLAB functions from being saved and loaded.

Saving and Loading Coverage Data for Subsystems with Multiple Triggers

This release fixes an issue that prevented coverage data for models containing Subsystem blocks with multiple triggers from being saved and loaded.

Setting Focus to DOORS Module after Navigation

In previous releases navigating to DOORS did not cause the DOORS to become the top window. This problem has been fixed in this release.

Signal Range Coverage and Machine Parented Data

This release fixes an issue with signal range coverage for models that have Stateflow machine data. In the previous release the ranges could be incorrectly reported by an internal error caused by the precense of machine data.

Signal Range Coverage Compatibility with SimMechanics Signals

This release fixes an incompatibility with signal from SimMechanics blocks that caused a segmentation violation during simulation.

Signal Range Coverage Compatibility with Stateflow Chart Execute at Initialize

This release fixes an issue with Signal Range Coverage applied to charts that use the Execute at Initialization flag. In previous releases this caused a segmentation violation during the second simulation.

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