A formal analysis of MCDC and RCDC test criteria: Research Articles

Authors:
Kalpesh Kapoor;Jonathan P. Bowen
Affiliations:
Centre for Applied Formal Methods, Faculty of Business, Computing and Information Management, London South Bank University, 103 Borough Road, London SE1 0AA, U.K.;Centre for Applied Formal Methods, Faculty of Business, Computing and Information Management, London South Bank University, 103 Borough Road, London SE1 0AA, U.K.
Venue:
Software Testing, Verification & Reliability
Year:
2005

Citing 0
Cited 4

Test conditions for fault classes in Boolean specifications

ACM Transactions on Software Engineering and Methodology (TOSEM)
Using model checking to generate fault detecting tests

TAP'07 Proceedings of the 1st international conference on Tests and proofs
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria

Formal methods and testing
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net

Rigorous Methods for Software Construction and Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Modified Condition Decision Coverage (MCDC) test criterion is a mandatory requirement for the testing of avionics software as per the DO-178B standard. This paper presents a formal analysis for the three different forms of MCDC. In addition, a recently proposed test criterion, Reinforced Condition Decision Coverage (RCDC), has also been investigated in comparison with MCDC. In contrast with the earlier analysis approaches that have been based on empirical and probabilistic models, the principles of Boolean ogic are used here to study the fault detection effectiveness of the MCDC and RCDC criteria. Based on the properties of Boolean specifications, the analysis identifies the detection conditions for six kinds of faults. The results allow the measurement of the effort required in testing and the effectiveness of generated test sets satisfying the MCDC and RCDC criteria. Copyright © 2004 John Wiley & Sons, Ltd.