TechCoaching Logo TechCoaching Page Logo experts in model-based design & functional safety
TechCoaching Products. EZTEST software

EZCHECK® and EZTEST® software products constitute a verification framework for safety related applications, enabling function developers to leverage advantages of model-based design with Simulink® and Stateflow® for static (checking) and dynamic (testing) verification of models and integrated C code.

Test Driven Design

EZCHECK® and EZTEST® software products were designed for easy verification at model level. No product training is needed to become productive. EZTEST® software enables test-driven design of dynamic systems developed with MATLAB®, Simulink®, Stateflow®, TargetLink® and integrated C-code. It supports MIL, SIL and PIL verification with manually developed or automatically generated external C-code.

Conquer the Complexity

EZCHECK® and EZTEST® software products simplify the development workflow by providing engineers with mental aids, improved feedback and better control of a system's complexity. EZCHECK® and EZTEST® software products help engineers conquer the system complexity, empowering them to build the right software in the right way, faster.

Let’s Build Safe Functions

EZCHECK® and EZTEST® software products support continuous verification of safety related applications at unit and integration level. The documentation of each product includes a safety manual assessed by TÜV SÜD. The Qualification Kits with validation tests are included. The shipped documentation provides information needed by safety managers and function developers to comply with the IEC 61508 safety standard as well as derived standards like ISO 26262 .

EZTEST Overview

EZTEST® software is a highly interactive testing and analysis framework for model-based design and verification. It is well integrated with MATLAB®, Simulink® and Stateflow®, enabling users to leverage advantages for simulation and verification on the unit level with unprecedented simplicity and speed. EZTEST® supports the creation, management, execution, assessment and documentation of simulation-based tests in a systematic manner.

You can automatically create test harnesses to test models, subsystems or libraries. EZTEST® also enables a test harness free verification of models without creating separate test models.

EZTEST® lets you create and manage complex test cases consisting of time-, input-, and reference vectors, parameters, requirement links and comments. You can link requirements to a test case by using a unique requirements ID in the comment field.
The baseline assessments are done automatically by comparing outputs and reference values. The assessment results are represented graphically and stored in the same interface for better usability.

You can apply pass and fail criteria that include absolute and relative tolerances and automatically check the boundary values of the interfaces. More sophisticated assessment conditions can be modelled in MATLAB®, Simulink® or Stateflow® and verified separately by using the same systematic unit-based workflow in EZTEST®.

EZTEST® enables requirements-based (functional), baseline, equivalence, and back-to-back testing, including software-in-the-loop (SIL) and processor-in-the-loop (PIL). You can generate verification reports, archive and review test results, rerun failed tests, and analyze the data- and control-flows in the models with an integrated step-by-step debugger.

The test cases can be executed one-by-one or in a batch by using a simple graphical user interface (GUI) or customizable command line application program interface (API).

EZTEST® stores test cases and their results in Excel and produces verification reports in XML and HTML formats. EZTEST® supports the export and import of test data for MDF, MAT, Signal Builder and XML which simplifies the exchange, analysis and review of work products in big projects.

Key Features of EZTEST

Automated generation of a test harness and definition of unit interface

EZTEST can automatically isolate any Simulink subsystem from the remainder of the model and create a test harness which provides:

  • time sequences of input data to stimulate the unit
  • parameter values to test variants of functionality
  • expected output data for the reference behavior
  • an assessment mechanism to verify the unit behavior

Graphical user interface for test case generation, configuration and execution

EZTEST provides a graphical user interface (GUI) to interact with the test object and the test case specification.

The GUI can be accessed by double-clicking on the EZTEST blocks inside the test harness model. The toolbar contains the controls for the test configuration, the test specification and the work-product management. From the toolbar you can access product help where all the features are explained in detail.

Test Data and Interface Definition

In the EZTEST specification you can define which inputs, outputs and parameters will be used during simulation. The Interface specification for signals and parameters includes the following characteristics: Name, Type, Data Type, Dimension, Min, Max, Unit and Description.

In the Interface sheet you can define all the interface characteristics including port order. The CleanUp-Function propagates the modifications to selected test-cases and sets the order, colors and other formal data properties for all selected test-cases.

EZTEST automatically creates the Simulink.Parameter objects with the predefined properties. You can redefine the parameter values for each test-case.

Pass-fail criteria, including reference values, absolute and relative tolerances

EZTEST records the output values during test case execution and compares those with the reference values to provide pass/fail results for each time step of a test case. EZTEST supports two types of tolerance values: absolute and relative.

The next example uses both absolute and relative tolerance values [0.4 25%]. The white background shows the time slots where the signal is valid within the relative tolerance, whereas the absolute tolerance is valid in the blue time interval:

TechCoaching EZTEST Pass-fail criteria

Automatic assessments and graphical representation of verification results

EZTEST records the output values during test case execution. The following assessment actions are automated for each test case:

  • the output values (voltage) are recorded during simulation
  • the recorded outputs are stored in the corresponding columns
  • the recorded outputs are compared with the previously specified references (voltage_ref)
  • graphical comparison results are provided for each step of the test case (green or red color)
  • textual comparison results are provided for each test case in the verification summary

TechCoaching EZTEST records the output values

Static model analysis with EZCHECK software

EZTEST provides a one-click interface to utilize EZCHECK software for static model analysis. EZTEST triggers the model checker and then renames and relocates the automatically generated EZCHECK Report based on project-specific settings.

EZCHECK is a qualifiable tool for static model analysis of Simulink® and Stateflow® models and libraries. EZCHECK provides all you need to check your models, including modelling quidelines, design fixes, verification reports and support. Open EZCHECK Report to navigate in the model web view and inspect the checks.

EZCHECK software enforces just enough process to help you deliver safety compliant applications, providing a safe subset of a modeling language, and detecting run-time and logic errors at any model development stage. EZCHECK has been certified as a tool for static model verification within a qualified development environment under ISO 26262 safety standard. It supports any MATLAB release since R2012b. No product training is needed to become productive. Download EZCHECK Software now.

Key Features of EZCHECK:

  • Modeling guidelines for safety related applications
  • Compliance checking for modeling guidelines
  • Kontext-based exclusion handling and documentation
  • Automated report-renaming and -relocation
  • Automated guideline-based model correction
  • Model-web-view generator with a search capability
  • Qualification kit with validation tests
  • Programmable scripting interface for check automation
  • Best in class usability and performance

Structural coverage for models and code

EZTEST provides a one-click interface to utilize Simulink Coverage software which collects structural test coverage on model and code level for all executed test cases. Both decision coverage (branch coverage) and modified condition decision coverage (MCDC) are supported. EZTEST provides intrinsic exclusion handling (see grayed out block in the picture below). EZTEST merges all work products to a self-contained coverage report, renames and relocates it based on project-specific settings. Open model coverage report and review missing coverage information for red blocks in the model screenshot below. Open code coverage report to see how the findings on the model level correlate to those in the generated C code.

EZTEST one-click interface with Simulink Coverage

Requirements-based, baseline, and back-to-back testing

EZTEST enables requirements-based, baseline, equivalence, and back-to-back testing, including software-in-the-loop (SIL) and processor-in-the-loop (PIL) for external C-Code.

TechCoaching EZTEST requirements testing

Step-by-step debugger for advanced data and control flow analysis

By selecting the EZTEST Debug Mode, you can start the simulation for selected test cases in a step-by-step debugger. The EZTEST Buttons enable debugging control. The Information Bar displays the current time step.

With the EZTEST step-by-step debugger you can:

  • View outport values of all Simulink blocks for each time step
  • View relevant signals on Simulink scopes and viewers
  • View all previous and current output values in the test specification file
  • Jump to a relevant time step by using the Continue Button

TechCoaching EZTEST Step-by-step debugger

Automatic generation of safety compliant verification report

EZTEST generates an ISO 26262-8 compliant verification report in HTML format. The report is self-contained, i.e. it consists of one single file to simplify version control. The report provides a summary of verification activities, the the information about the testing environment, test harness, test object and the results of dynamic tests in line with the test specification.

TechCoaching EZTEST verification report for TMS.png

Import/export of test data for Signal Builder, MDF, MAT and XML

EZTEST supports export and import of test cases for following data formats:

  • Signal Builder
  • Workspace
  • Measurement MDF4
  • Exact MAT

TechCoaching EZTEST Import/export of test data for Signal Builder, MDF, MAT and XML

Technical documentation with safety manual

EZTEST provides complete user documentation and a safety manual which was designed for unit testing at model level in the Simulink environment. The safety manual provides information needed by function developers to assist them in the unit verification of safety related applications at model level. Following the procedures described in the safety manual ensures correct usage of the EZTEST software in order to comply with the safety standards.

TechCoaching EZTEST Technical documentation with safety manual

Download EZTEST Software

Download EZCHECK Software

TechCoaching GmbH
Frühlingstr. 25, 85737 Ismaning, Germany

Back to Top