CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software

We propose a method tailored to the requirements of safety-critical embedded automotive software, named CTMCONTROL. CTMCONTROL has a particular 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 highlights the higher structural coverage delivered by the new approach. The method is implemented in the popular Matlab/Simulink/Stateflow (M/S/S) environment.