Error Detection Rate of MC/DC for a Case Study from the Automotive Domain

Susanne Kandl, Raimund Kirner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)

Abstract

Chilenski and Miller [1] claim that the error detection probability of a test set with full modified condition/decision coverage (MC/DC) on the system under test converges to 100% for an increasing number of test cases, but there are also examples where the error detection probability of an MC/DC adequate test set is indeed zero. In this work we analyze the effective error detection rate of a test set that achieves maximum possible MC/DC on the code for a case study from the automotive domain. First we generate the test cases automatically with a model checker. Then we mutate the original program to generate three different error scenarios: the first error scenario focuses on errors in the value domain, the second error scenario focuses on errors in the domain of the variable names and the third error scenario focuses on errors within the operators of the boolean expressions in the decisions of the case study. Applying the test set to these mutated program versions shows that all errors of the values are detected, but the error detection rate for mutated variable names or mutated operators is quite disappointing (for our case study 22% of the mutated variable names, resp. 8% of the mutated operators are not detected by the original MC/DC test set). With this work we show that testing a system with a test set that achieves maximum possible MC/DC on the code detects less errors than expected.

Original languageEnglish
Title of host publicationSoftware Technologies for Embedded and Ubiquitous Systems
EditorsSang Lyul Min, Robert Pettit, Peter Puschner, Theo Ungerer
PublisherSpringer Nature
Pages131-142
Number of pages12
ISBN (Print)978-3-642-16255-8, 3-642-16255-x
DOIs
Publication statusPublished - 2010
Event8th IFIP Workshop on Software Technologies for Embedded and Ubiquitous Systems - Waidhofen Ybbs
Duration: 13 Oct 201015 Oct 2010

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume6399

Conference

Conference8th IFIP Workshop on Software Technologies for Embedded and Ubiquitous Systems
CityWaidhofen Ybbs
Period13/10/1015/10/10

Fingerprint

Dive into the research topics of 'Error Detection Rate of MC/DC for a Case Study from the Automotive Domain'. Together they form a unique fingerprint.

Cite this