CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software
Abstract
We propose a method tailored to the requirements of safety-critical embedded automotive software, named CTMCONTROL. CTMCONTROL has a par-ticular focus on the specification-based control logic of the system under test and offers improvements in testing coverage metrics over a classic method which is routinely used in industry. The proposed method targets the Modified Condition/ Decision Coverage (MC/DC) objective for automotive safety-critical software. CTMCONTROL is validated via a controlled experiment which high-lights the higher structural coverage delivered by the new approach. The meth-od is implemented in the popular Matlab/Simulink/Stateflow (M/S/S) environ-ment.
Fichier principal
3_-_CTMCONTROL_SafeComp_Cars-mgh_amCameraReady.pdf (158.73 Ko)
Télécharger le fichier
Origin : Files produced by the author(s)
Loading...