Coverage Criteria for Logical Expressions.

2003 International Symposium on Software Reliability Engineering (ISSRE '03). pages 99-107, Denver, CO, November 2003

Paul Ammann, Jeff Offutt and Hong Huang

Abstract

A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation of the criteria and the original source of the expressions, many of these criteria are fundamentally the same. The most commonly known and widely used criterion is that of Modified Condition Decision Coverage (MCDC), but some articulations of MCDC have had some ambiguities. This has led to confusion on the part of testers, students, and tool developers on how best to implement these test criteria. This paper presents a complete comprehensive set of criteria that incorporate all the existing criteria, and eliminates the ambiguities by introducing precise definitions of the various possibilities.



Back to my home page.