|
|
|
| R2012a Documentation → Simulink Verification and Validation | |
Learn more about Simulink Verification and Validation |
|
| Contents | Index |
Use this list to find examples in the documentation.
Linking Model Objects
Linking Multiple Model Objects to a Requirements Document
Linking Multiple Model Objects to a Requirement Document Using
a Simulink DocBlock
Linking to Requirements in Microsoft Word Documents
Opening the Demo Model and Associated Requirements Document
Creating a Link from a Model Object to a Microsoft Word Requirements
Document
Linking to Requirements in IBM Rational DOORS Databases
Linking to Requirements in Microsoft Excel Workbooks
Linking to Requirements in MuPAD Notebooks
Creating Requirements Reports
Linking Signal Builder Blocks to Requirements Documents
Linking Signal Builder Blocks to Model Objects
Highlighting Requirements in a Model
Navigating to Requirements from a Model
Creating a Default Requirements Report
Customizing a Requirements Report Using the RMI Settings
Applying a User Tag to a Requirement
Filtering, Highlighting, and Reporting with User Tags
Applying User Tags During Selection-Based Linking
Checking and Fixing Requirements Links in a Simulink Model
Fixing Inconsistent Links
Deleting a Single Link from a Simulink Object
Deleting All Links from a Simulink Object
Deleting All Links from Multiple Simulink Objects
Understanding Requirements in Library Blocks and Reference
Blocks
Enabling Linking from Microsoft Office Documents to Simulink Models
Inserting Navigation Objects in Microsoft Office Requirements
Documents
Navigating Between a Microsoft Word Requirement and a Model
Troubleshooting Navigation Objects Created with ActiveX in Microsoft Office
2007 and 2010
Creating a Custom Requirements Link Type
Requirements Information in Generated Code
Synchronizing a Simulink Model to Create a Surrogate Module
Creating Links Between the Surrogate Module and Formal Module
in a DOORS Database During Synchronization
Resynchronizing to Include All Simulink Objects
Resychronizing to Reflect Model Changes
Navigating with the Surrogate Module
Navigating Between Requirements and the Surrogate Module in
the DOORS Database
Navigation Between DOORS Requirements and the Simulink Module
via the Surrogate Module
Navigating from a Simulink Object to a Requirement via
the Surrogate Module
Navigating from a Requirement to the Model via the Surrogate
Module
Configuring the Requirements Management Interface for DOORS Software
Enabling Linking Between DOORS Databases and Simulink Models
Inserting Navigation Objects into DOORS Requirements
Verifying Generated Code for a Component
Using the Check Static Lower Bound Block to Check
for Out-of-Bounds Signal
Opening the Verification Manager
Enabling and Disabling Model Verification Blocks Using the
Verification Manager
Enabling and Disabling Verification Blocks in a Subsystem
Linking Test Cases to Requirements Documents Using the Verification
Manager
Creating and Running Test Cases
Enabling Coverage Highlighting
Examples: Model Coverage Coloring
Examples: Model Coverage for MATLAB Functions
Coverage Summary
Details
Cyclomatic Complexity
Decisions Analyzed
Conditions Analyzed
MCDC Analysis
Cumulative Coverage
N-Dimensional Lookup Table
Block Reduction
Saturate on Integer Overflow Analysis
Signal Range Analysis
Signal Size Coverage for Variable-Dimension Signals
Simulink Design Verifier Coverage
External MATLAB File Coverage Reports
Subsystem Coverage Reports
Creating Coverage Filter Rules for a Simulink Model
Creating Cumulative Coverage for Reusable Subsystems and Stateflow Constructs
Using Coverage Commands in a Script
Limiting the Scope of a Model Advisor Analysis By Excluding
Gain and Outport Blocks
Adding a Customized Check to the By Product Folder
Creating a Customized Pass/Fail Check
Creating a Customized Pass/Fail Check with Fix Action
Model Advisor Code Example: Registering Custom Checks and Process
Callbacks
Model Advisor Code Example: Process Callback Function
Model Advisor Code Example: Check Definition Function
Model Advisor Code Example: Input Parameter Definition
Model Advisor Code Example: List View Definition
Model Advisor Code Example: Action Definition
Model Advisor Code Example: Informational Check Callback Function
Model Advisor Code Example: Basic Check with Pass/Fail Status
Model Advisor Code Example: Check With Subchecks and Actions
Model Advisor Code Example: Action Callback Function
Model Advisor Code Example: Formatted Output
Excluding Blocks From Custom Checks
Creating a Procedural-Based Model Advisor Configuration
How To Organize Checks and Folders Using the Model Advisor
Configuration Editor
Model Advisor Code Example: Registering Custom Tasks and Folders
Model Advisor Code Example: Task Definition Function
Model Advisor Code Example: Group Definition
Model Advisor Code Example: Procedure Definition

Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.
| © 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |