MATLAB and Simulink® Coverage™ User's Guide

✍ Scribed by The MathWorks, Inc.

• Publisher: The MathWorks, Inc.
• Year: 2022
• Tongue: English
• Leaves: 348
• Category: Library

✦ Table of Contents

Model Coverage Definition
Model Coverage
Types of Model Coverage
Execution Coverage (EC)
Decision Coverage (DC)
Condition Coverage (CC)
Modified Condition/Decision Coverage (MCDC)
Cyclomatic Complexity
Lookup Table Coverage
Signal Range Coverage
Signal Size Coverage
Objectives and Constraints Coverage
Saturate on Integer Overflow Coverage
Relational Boundary Coverage
Simulink Optimizations and Model Coverage
Inlined Parameters
Block Reduction
Conditional Input Branch Execution
Model Objects That Receive Model Coverage
Model Objects That Receive Coverage
Abs
Bias
Combinatorial Logic
Compare to Constant
Compare to Zero
Data Type Conversion
Dead Zone
Direct Lookup Table (n-D)
Discrete Filter
Discrete FIR Filter
Discrete-Time Integrator
Discrete Transfer Fcn
Dot Product
Enabled Subsystem
Enabled and Triggered Subsystem
Fcn
For Iterator, For Iterator Subsystem
Gain
If, If Action Subsystem
Index Vector
Interpolation Using Prelookup
Library-Linked Objects
Logical Operator
1-D Lookup Table
2-D Lookup Table
n-D Lookup Table
Math Function
MATLAB Function
MATLAB System
MinMax
Model
Multiport Switch
Observer Model
PID Controller, PID Controller (2 DOF)
Product
Proof Assumption
Proof Objective
Rate Limiter
Relational Operator
Relay
C/C++ S-Function
Saturation
Saturation Dynamic
Simulink Design Verifier Functions in MATLAB Function Blocks
Sqrt, Signed Sqrt, Reciprocal Sqrt
Sum, Add, Subtract, Sum of Elements
Switch
SwitchCase, SwitchCase Action Subsystem
Test Condition
Test Objective
Triggered Models
Triggered Subsystem
Truth Table
Unary Minus
Weighted Sample Time Math
While Iterator, While Iterator Subsystem
Model Objects That Do Not Receive Coverage
Setting Coverage Options
Specify Coverage Options
Coverage Pane
Access, Manage, and Aggregate Coverage Results
Accessing Coverage Data from the Results Explorer
Managing Coverage Data from the Results Explorer
Accumulating Coverage Data from the Results Explorer
Cumulative Coverage Data
Cumulative Coverage Analysis
Obtain Cumulative Coverage for Reusable Subsystems and Stateflow® Constructs
Saturation on Integer Overflow Coverage
Code Coverage
Types of Code Coverage
Statement Coverage for Code Coverage
Condition Coverage for Code Coverage
Decision Coverage for Code Coverage
Modified Condition/Decision Coverage (MCDC) for Code Coverage
Cyclomatic Complexity for Code Coverage
Relational Boundary for Code Coverage
Function Coverage
Function Call Coverage
Code Coverage for Models in Software-in-the-Loop (SIL) Mode and Processor-in-the-Loop (PIL) Mode
Enable SIL or PIL Code Coverage for a Model
Review the Coverage Results for Models in SIL or PIL Mode
Limitations
Collect Code Coverage Metrics with Simulink® Coverage™
Specify Code Coverage Options
Models with S-Function Blocks
Models with Software-in-the-Loop and Processor-in-the-Loop Mode Blocks
Models with MATLAB Function Blocks
Coverage for Models with Code Blocks and Simulink Blocks
Set Up the Model to Record Coverage
Record Coverage
Review Results by Generating a Coverage Report
Justify Missing Coverage
Software-in-the-Loop Code Coverage
Use Justification Rules to Filter Code Coverage Outcomes
Coverage Collection During Simulation
Create and Run Test Cases
Modified Condition and Decision Coverage (MCDC) Definitions in Simulink Coverage
Differences between Masking MCDC and Unique-Cause MCDC in Simulink Coverage Coverage Analysis
Certification Considerations for MCDC Coverage
Setting the (MCDC) Definition Used for Simulink Coverage Coverage Analysis
Modified Condition and Decision Coverage in Simulink Design Verifier
Modified Condition and Decision Coverage in Simulink Design Verifier
MCDC Definitions for Simulink Coverage and Simulink Design Verifier
Logical Operator Cascade Patterns
Analyzing MCDC for Cascaded Logic Blocks
View Coverage Results in Simulink Canvas
Overview of Model Coverage Highlighting
Enable Coverage Highlighting
View Coverage Details
Model Coverage for Multiple Instances of a Referenced Model
About Coverage for Model Blocks
Record Coverage for Multiple Instances of a Referenced Model
Obtain Cumulative Coverage for Reusable Subsystems and Stateflow® Constructs
Trace Coverage Results to Requirements
Prerequisites for Tracing Requirements Links
Assess Coverage Results from Requirements-Based Tests
Rationale for Scoping Coverage Results to Linked Requirements-Based Tests
Prerequisites for Scoping Coverage Results to Linked Requirements-Based Tests
Coverage Reporting for Aggregated Coverage Results Scoped to Linked Requirements
Example
Trace Coverage Results to Associated Test Cases
Prerequisites for Tracing Associated Test Cases to Coverage Results
Aggregate Unit-Level Coverage Data into Top-Level Model Coverage
Model Coverage for MATLAB Functions
About Model Coverage for MATLAB Functions
Types of Model Coverage for MATLAB Functions
How to Collect Coverage for MATLAB Functions
Examples: Model Coverage for MATLAB Functions
Coverage for MATLAB® Function Blocks
Coverage for Custom C/C++ Code in Simulink Models
Enable Code Coverage for Custom C/C++ code in MATLAB Function Blocks, C Caller Blocks, and Stateflow Charts
Code Coverage for S-Functions
View Coverage Results for Custom C/C++ Code in S-Function Blocks
Coverage for S-Functions
Model Coverage for Stateflow Charts
How Model Coverage Reports Work for Stateflow Charts
Specify Coverage Report Settings for Stateflow Charts
Cyclomatic Complexity for Stateflow Charts
Decision Coverage for Stateflow Charts
Condition Coverage for Stateflow Charts
MCDC Coverage for Stateflow Charts
Relational Boundary Coverage for Stateflow Charts
Simulink Design Verifier Coverage for Stateflow Charts
Model Coverage Reports for Stateflow Charts
Model Coverage for Stateflow State Transition Tables
Model Coverage for Stateflow Atomic Subcharts
Model Coverage for Stateflow Truth Tables
Model Coverage Display for Stateflow Charts
Code Coverage for C/C++ code in Stateflow Charts
Model Coverage for Variant Blocks
Update-Time and Compile-Time Variants
Startup Variants
Collect Coverage for Multiple Simulations by Using Design Studies
Results Review
Types of Coverage Reports
Model Summary Report
Model Reference Coverage Report
External MATLAB File Coverage Report
Subsystem Coverage Report
Code Coverage Report
Top-Level Model Coverage Report
Analysis Information
Aggregated Tests
Coverage Summary
Details
Cyclomatic Complexity
Decisions Analyzed
Conditions Analyzed
MCDC Analysis
Cumulative Coverage
N-Dimensional Lookup Table
Block Reduction
Relational Boundary
Saturate on Integer Overflow Analysis
Signal Range Analysis
Signal Size Coverage for Variable-Dimension Signals
Simulink Design Verifier Coverage
Export Model Coverage Web View
Filtering in Simulink Coverage
Coverage Filtering
When to Use Coverage Filtering
What Is Coverage Filtering?
Coverage Filter Rules and Files
What Is a Coverage Filter Rule?
What Is a Coverage Filter File?
Model Objects to Filter from Coverage
Create, Edit, and View Coverage Filter Rules
Create and Edit Coverage Filter Rules
Save Coverage Filter to File
Create New Coverage Filter File
Load Coverage Filter File
Remove Applied Coverage Filter
Manage Applied filters by Using the Simulink Test Manager
Update the Report with the Current Filter Settings
View Coverage Filter Rules in Your Model
View Applied Filters in the Coverage Results Explorer
Creating and Using Coverage Filters
Automating Model Coverage Tasks
Automating Model Coverage Tasks
Collect Coverage Data Using a Script
Differences between sim and the Run Button
Collecting Coverage with Simulink Test
Programmatically Retrieve Coverage Details from Results
Analyze Coverage Data Using A Script
Coverage Information Functions
Command Line Verification Tutorial
Extracting Detailed Information from Coverage Data
Operations on Coverage Data
Record Coverage in Parallel Simulations by Using Parsim
Filter Coverage Results Using a Script
Component Verification
Component Verification
Simulink Coverage Tools for Component Verification
Workflow for Component Verification
Verify a Component Independently of the Container Model
Verify a Model Block in the Context of the Container Model
Fix Requirements-Based Testing Issues
Verification and Validation
Test Model Against Requirements and Report Results
Requirements – Test Traceability Overview
Display the Requirements
Link Requirements to Tests
Run the Test
Report the Results
Analyze a Model for Standards Compliance and Design Errors
Standards and Analysis Overview
Check Model for Style Guideline Violations and Design Errors
Perform Functional Testing and Analyze Test Coverage
Incrementally Increase Test Coverage Using Test Case Generation
Analyze Code and Test Software-in-the-Loop
Code Analysis and Testing Software-in-the-Loop Overview
Analyze Code for Defects, Metrics, and MISRA C:2012
Test Code Against Model Using Software-in-the-Loop Testing