MATLAB and Simulink® Coverage™ User's Guide

Description

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