Examples

---

Use this list to find examples in the documentation.

Generating Test Cases

Analyzing a Model
Analyzing a Subsystem
Analyzing a Stateflow Atomic Subchart
Constructing the Example Model
Checking Compatibility of the Example Model
Configuring Test Generation Options
Analyzing the Example Model
Customizing Test Generation
Reanalyzing the Example Model
Extending Existing Test Cases for a Model that Uses Temporal Logic
Extending Existing Test Cases for a Closed-Loop System
Extending Existing Test Cases for a Modified Model
Achieving Missing Coverage in a Referenced Model
Achieving Missing Coverage in a Closed-Loop Simulation Model

Automatic Stubbing

Analyzing a Model Using Automatic Stubbing

Working with Block Replacements

Replacing Multiport Switch Blocks
Configuring Block Replacements

Specifying Parameter Configurations

Constructing the Example Model
Parameterizing the Constant Block
Specifying a Parameter Configuration
Analyzing the Example Model
Simulating the Test Cases

Component Verification

Verifying a Component for Code Generation

Considering Specified Minimum and Maximum Inputs

Output Minimum and Maximum Values on Inport Blocks
Minimum and Maximum Values in Simulink.Signal Objects
Minimum and Maximum Values on Stateflow Data Objects
Minimum and Maximum Values in Subsystems
Minimum and Maximum Values in Global Data Storage

Proving Properties of a Model

Constructing the Example Model
Instrumenting the Example Model
Configuring Property-Proving Options
Analyzing the Example Model
Customizing the Example Proof
Reanalyzing the Example Model
Using a Verification Model to Prove System-Level Properties
Property-Proving Examples

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