ChiasTek, Inc.

Systems Integration Specialists

Safety Test Builder
Automatic Test Generation for Simulink® and Stateflow®




Safety Test Builder reduces testing time and improves reliability of Simulink® and Stateflow® based implementations.
Introducing Model-Based Testing

A model is usually an abstract, partial, representation of the system under test's desired behavior. The test cases derived from this model are functional tests having on the same level of abstraction as the model. These test cases are collectively known as the abstract test suite. The abstract test suite cannot be directly executed against the system under test because it is represents a higher level of abstraction. Therefore an executable test suite must be derived from the abstract test suite that can communicate with the system under test. This is done by mapping the abstract test cases to concrete test cases suitable for execution.
Overview

Safety Test Builder is a simple yet comprehensive solution for automating the production of test cases for embedded software, provided the software was modelled using Simulink® and/or Stateflow® from The MathWorks.
 

With Safety Test Builder, users can consistently test their implementation, whether done manually or with the help of an automatic code generator.


  • Significant reduction of testing time by automatically finding relevant test scenarios and creating test harnesses.
  • Improvement of design reliability by ensuring high test coverage rate.
  • Low adoption cost due to short learning curve.
  • Seamless integration into Simulink®/Stateflow®.
  • Interface to the Simulink Performance Tools (via Coverage Tool).

  • Support any implementation language and test environment (via external scripts).
  • Better Quality Software and Improved Customer Satisfaction.
  • Ideal for Safety-Critical Applications.
  • Almost Immediate Positive Return on Investment.
  • Minimum Interruption to Current Process (with ChiasTek Automation Framework).

Application Domains

For software and test engineers, the Safety Test Builder is specifically dedicated to software testing at the function and subsystem level.

Typical applications are:

  • Aeronautics / Defense / Space
    • Critical systems: Flight Controls, Engine Control, Attitude and Orbit Control Systems...
    • Cockpit Avionics for Situational Awareness.
    • ...

  • Automotive
    • Power train control systems.
    • X-By-Wire Systems: Brake-BW, Steer-BW, Throttle-BW, Shift-BW...
    • Radar-based Systems: ACC, Pre-crash, Land keeping...
    • Comfort: entry systems (key-less...), Body-Controller.
    • Energy Management: 42V systems, hybrid systems, starters, fuel cells.
Key Features 
  • Test Sequences Start at Initialization State and Work Through Model States.
  • Optimized to Produce As Short of Test Sequences as Possible.
  • Test Harness for RTW Code.
  • Test Harness for Matlab Model.
  • Single Stepping Through Test Vectors.
  • Integrated with Matlab Model Coverage Tool.
  • Does not require the user to modify the Simulink/Stateflow diagrams.
  • Creates lists of objectives automatically by model exploration.
  • Non-Regression Testing.

  • Integrated debugger for replaying test scenarios (single/multi-step, reverse execution, graphical tokens visible in the Simulink diagrams).
  • Batch-processing capabilities for process automation.
  • Optional minimization of the test database.
  • Implementation conformance Testing.
  • Dynamic Properties Verification (Assertion Based Verification).
  • Requirements Traceability support.
  • Configurable by scripts in Matlab language.
Builtin Test Objectives 
  • MCDC in Simulink and Stateflow.
  • All Stateflow Transitions.
  • All Stateflow States: Entry, During, Exit Actions.
  • Logical and Relational Blocks Evaluate True and False.
  • Each Input to Multiport Switch Passed to Output.

  • Minimum and Maximum Input Values.
  • Each Input to MinMax Block Evaluates to Selected Min/Max.
  • For Tables, have Input Outside of Range and Within Range.
  • Verification Block is "Broken".
  • All Conditional Subsystems Execute at Least Once.
System Requirements 
Supported platforms: Windows NT4, 2000, XP
Matlab R13, R13 SP1, R14 SP1 to SP3 Simulink, Real Time Workshop (RTW) and optionally Stateflow.