Model-based Testing of Embedded Automotive Software Using Mtest

Abstract

Permanently increasing software complexity of today's electronic control units (ECUs) makes testing a central and significant task within embedded software development. While new software functions are still being developed or optimized, other functions already undergo certain tests, mostly on module level but also on system and integration level.

Model-Based Testing Design for Embedded Automotive Software

“…Despite the affinity of model-based testing with the automotive industry, it tends to be done in a bespoke and non systematic fashion [1] and online, fully automated, model-based testing technologies are still missing.…”

“…CTM EMB can be used for structural testing at a model level, and it has been used in a number of automotive software development projects [1], mainly for testing of in-vehicle software developed via a model-based approach [22]. The methodology has got good tool support (for example test scenarios built in tools such as CTE/XL [23] and MTest [1] can be automated, checked for model coverage and linked to the Matlab/Simulink/Stateflow environment).…”

“…The methodology has got good tool support (for example test scenarios built in tools such as CTE/XL [23] and MTest [1] can be automated, checked for model coverage and linked to the Matlab/Simulink/Stateflow environment).…”

“…Established standards such as IEC 61508 1 , address the quality issue in a prescriptive manner and provide guidelines on software development processes. The IEC 61508 standard classifies the degree of rigor required in software development, verification, validation and testing of a system/module in terms of Safety and Integrity Levels (SILs).…”

The Power Supply Module Design for Diesel Electronic Control Unit’s Lift Time Test System

“…Life time test system (LTT) is a real-time simulation system for the ECU product. And nowadays we use hardware-in-loop (HIL) to realize the LTT [1,2], which can has test under different conditions especially the fault and limiting condition [3]. The voltage mutation that causes the single chip of supplementary equipment in and out of the external interrupt frequently, causes stack overflow, the network into a dormant state and couldn't be awakened, easy crash failures in the process of ECU power-on-off.…”