Getting Started with Verification and Validation

Explore examples, articles, and tutorials.

Getting Started Examples

This example shows you how a designer would get started with MathWorks model verification and validation tools. It walks you through how to manage and view requirements in Simulink, run checks for compliance to modeling standards, and check for run-time errors. The example uses Simulink Requirements, Simulink Check, and Simulink Design Verifier.

File Exchange

This example shows you how a tester would get started with MathWorks model verification and validation tools. It walks you through how to create a test using a Test Sequence, define a formal assessment, link test cases to requirements, run test suites, and analyze missing model test coverage. The example uses Simulink Requirements, Simulink Test, Simulink Coverage, and Simulink Design Verifier.

File Exchange

Requirements Traceability and Analysis

Simulink Requirements lets you author, import, and manage requirements within Simulink, track their implementation and verification status and quickly respond to requirements changes.

Video

If you have Simulink Test and Simulink Requirements, you can link your requirements to test cases in the Test Manager. Linking to tests lets you see how requirements are confirmed with tests.

Documentation

Author temporal assessments for tests with Simulink Test to verify complex timing-dependent requirements. You can use a natural language format with unambiguous semantics to specify the assessments.

Video

Functional Testing

Develop, manage, and execute simulation-based tests using Simulink Test.

Video

Using a triplex selection algorithm as an example, this article shows how model test coverage can be used to identify missing requirements during requirements-based testing.

Article

Detect untested elements of your design using model coverage in Simulink Coverage

Video

If you have Embedded Coder and Simulink Coverage, you can analyze coverage for generated code during a software-in-the-loop (SIL) or processor-in-the-loop (PIL) simulation.

Documentation

Debug complex designs faster by highlighting functional dependencies and producing a simplified model with the Model Slicer feature in Simulink Design Verifier.

Video

Certification Standards Compliance

This article describes a verification workflow based on Simulink. Topics covered include creating test cases, generating test cases for missing model coverage, and measuring code coverage.

Article

Learn how edit-time checking identifies guideline or standards issues in Simulink or Stateflow while editing.

Video

During model development, check and analyze your model to increase confidence in its quality. Check your model against standards such as MAAB style guidelines and high-integrity system design guidelines such as DO-178 and ISO 26262.

Documentation

This example shows how to collect model metric data by using the Metrics Dashboard.

Example

Use Simulink Verification and Validation to identify duplicate patterns in a model and refactor into reusable components.

Video

Learn about Model Quality Objectives (MQO), which have been defined by leaders from the automotive industry and MathWorks. This standard provides quality objectives for Simulink models at different phases of the software development lifecycle.

White Paper

Design Error Detection

Identify design errors, generate test cases, and verify designs against requirements using Simulink Design Verifier.

Video

Identify design errors, prove requirements compliance, and generate tests.

Documentation

This example shows how to detect nonfinite, NaN, and subnormal floating-point values in the sldvexFloatingPointErrorChecks example model. The model consists of floating-point arithmetic operations that result in an error. Perform design error detection analysis to detect these errors in the model.

Documentation

This example shows how to refine the model for dead logic. The sldvSlicerdemo_dead_logic model consists of dead logic paths that you refine for dependency analysis.

Documentation