Model-Based Testing

Model requirements, generate test cases, compare code, and model outputs

Model-based testing is a systematic method to generate test cases from models of system requirements. It allows you to evaluate requirements independent of algorithm design and development.

You can perform model-based testing with MATLAB^® and Simulink^®, which provide a graphical and textual programming environment for modeling system behavior and automating test execution. With MATLAB and Simulink, you can:

• Create a model of system requirements for testing
• Generate test data from this requirements-model representation
• Verify your design algorithm with generated test cases

Generate tests from requirements using model-based testing.

Ensuring Test Efficiency and Quality

Because you create abstract test cases in the form of parameterized models, you simplify test case reuse and automation on other projects. You can also streamline the review process by linking verification objectives and test cases to high-level requirements and test plans.

To increase the quality of generated test cases beyond traditional stochastic and heuristic methods, you can generate tests with Simulink Design Verifier^™, which uses formal analysis techniques.

In addition, you can simulate test cases with Simulink Verification and Validation^™ to:

• Assess the completeness of your model-based testing cases
• Identify missing requirements
• Discover unintended functionality

Using SIL and HIL in Model-Based Testing

To incorporate hardware and production code into model-based testing, you can compare dynamic outputs of models with data collected through software-in-the-loop and processor-in-the-loop test, or with data measured in the test lab, using the Simulink Data Inspector in Simulink.

Examples and How To

• Requirements Modeling and Design Verification of Embedded Systems (Webinar)
• Extending an Existing Test Suite (Example)
• Simulation Data Inspector 4:26 (Video)
• Formal Verification and Test Generation (Webinar)
• Best Practices for Verification and Validation (Webinar)

See also: formal verification, requirements traceability, Simulink Design Verifier, Simulink Verification and Validation