On MC/DC and implementation structure: An empirical study

M. P. E. Heimdahl, M. W. Whalen, A. Rajan, M. Staats

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

Abstract

In civil avionics, obtaining DO-178B certification for highly critical airborne software requires that the adequacy of the code testing effort be measured using a structural coverage criterion known as Modified Condition and Decision Coverage (MC/DC). We hypothesized that the effectiveness of the MC/DC metric is highly sensitive to the structure of the implementation and can therefore be problematic as a test adequacy criterion. We tested this hypothesis by evaluating the fault-finding ability of MC/DC-adequate test suites on five industrial systems (flight guidance and display management). For each system, we created two versions of the implementations-implementations with and without expression folding (i.e., inlining).
Original languageEnglish
Title of host publication2008 IEEE/AIAA 27th Digital Avionics Systems Conference
Pages5.B.3-1-5.B.3-13
ISBN (Electronic)978-1-4244-2208-1
DOIs
Publication statusPublished - 1 Oct 2008

Fingerprint

Dive into the research topics of 'On MC/DC and implementation structure: An empirical study'. Together they form a unique fingerprint.

Cite this