The Testing Pattern provides a template for testing that can be applied to almost any aspect of a System Model. This Pattern may also be used as a basis for automating the tests using modelbased testing techniques using an MBSE tool. This Pattern also lends itself to non-SysML modelling such as the use of formal methods and simulation techniques.

Chapter Contents:

• 6.1 Introduction
• 6.1.1 Pattern aims
• 6.2 Concepts
• 6.3 Viewpoints
• 6.3.1 OverView
• 6.3.2 Rules
• 6.3.3 Testing Context Viewpoint (TCVp)
• 6.3.3.1 Description
• 6.3.3.2 Example Testing Context View
• 6.3.4 Test Set-up Viewpoint (TSVp)
• 6.3.4.1 Description
• 6.3.4.2 Example Test Structure Viewpoint
• 6.3.4.3 Example Test Schedule Behaviour Viewpoint
• 6.3.4.4 Example Test Set Behaviour Viewpoint
• 6.3.5 Test Case Viewpoint (TCVp)
• 6.3.5.1 Description
• 6.3.5.2 Example Test Configuration View
• 6.3.5.3 Example Test Behaviour Viewpoint
• 6.3.5.4 Example Test Record Viewpoint
• 6.4 Summary
• 6.5 Related Patterns
• Further readings

Inspec keywords: program testing

Other keywords: MBSE tool; nonSysML modelling; test pattern; system model; simulation techniques; model-based testing techniques; formal methods

Subjects: Diagnostic, testing, debugging and evaluating systems