From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria |
| |
Authors: | Sergiy A Vilkomir Jonathan P Bowen |
| |
Affiliation: | (1) Software Quality Research Laboratory (SQRL), Department of Computer Science and Information Systems, University of Limerick, Limerick, Ireland;(2) Centre for Applied Formal Methods, Institute for Computing Research Faculty of BCIM, London South Bank University, Borough Road, London, SE1 0AA, UK |
| |
Abstract: | This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes
a new Reinforced Condition/Decision Coverage (RC/DC) criterion. This new criterion has been developed from the well-known
Modified Condition/Decision Coverage (MC/DC) criterion and is more suitable for the testing of safety-critical software where
MC/DC may not provide adequate assurance. As a formal language for describing the criteria, the Z notation has been selected.
Formal definitions in the Z notation for RC/DC, as well as MC/DC and other criteria, are presented. Specific examples of using
these criteria for specification-based testing are considered and some features are formally proved. This characterization
is helpful in the understanding of different types of testing and also the correct application of a desired testing regime.
Received July 2004
Revised November 2005
Accepted November 2005 by J. Derrick, M. Harman and R.M. Herons |
| |
Keywords: | Software testing criteria MC/DC RC/DC Formal methods Z notation |
本文献已被 SpringerLink 等数据库收录! |
|