Simulink Verification and Validation Major Bug Fixes

Coverage display for library linked blocks

In prior releases, library linked blocks were not colored to indicate model coverage, and Stateflow linked charts displayed incorrect coverage information if the same chart was instantiated more than once. In this release, coverage information is displayed on library linked blocks and linked Stateflow charts using the model coloring. When you switch the display instance for a library chart, the coverage information is updated for that instance. You should avoid disabling or removing library links while coverage is being displayed because this can cause the highlight colors to be saved with the model.

Highlighting items with requirements displays an inconsistent state

In the previous release, the Highlight Items with Requirements button on the Model Explorer shows an inconsistent state when you toggle between multiple models. In this release, the button state is updated correctly as you toggle between models. Enabling this display mode now forces the model open or prompts when there are no blocks with requirement links.

Stateflow requirement links duplicated when an object is copied

This release fixes a problem where requirement links were being unintentionally duplicated whenever an object is copied. Requirement links are intended to be managed from the requirements dialog and should be cleared whenever an object is duplicated. The interface to DOORS depends on this behavior that is consistent with Simulink.