Necessary test cases for Decision Coverage and Modied Condition / Decision Coverage ?
Eotvos Lor · 2002
Test coverage refers to the extent to which a given software verication activity has satised its objectives. There are several type of coverage analysis exists to check the code correctness. Usually the less strict analysis methods require fewer test cases to satisfy their require- ments and it consumes less resources. Chosing test methods is a compro- mise between the code correctness and the available resources. However this selection should based on quantitative consideration. In this paper we concern to the Decision Coverage and the more strict Modied Con- dition / Decision Coverage. We examined several projects written in Ada programming language. Some of them are developed in the industry and the others are open source. We analyzed them in several aspects: Mc- Cabe metric, nesting and maximal argument number in decisions. We discuss how these aspects are aected the dierence of the necessary test cases for these testing methods.