An evaluation of Boolean expression testing techniques
ACM SIGSOFT Software Engineering Notes
On Comparing Testing Criteria for Logical Decisions
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Certified development tools implementation in objective Caml
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
Error detection rate of MC/DC for a case study from the automotive domain
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Hi-index | 0.00 |
Given a test criterion, the number of test-sets satisfyingthe criterion may be very large, with varying fault detectioneffectiveness. This paper presents an experimentalevaluation of the variation in fault detection effectivenessof all the test-sets for a given control-flow test criterionand a Boolean specification. The exhaustive experimentalapproach complements the earlier empirical studiesthat adopted analysis of some test-sets using random selectiontechniques. Three industrially used control-flow testingcriteria, Decision Coverage (DC), Full Predicate Coverage(FPC) and Modified Condition/Decision Coverage(MC/DC) have been analysed against four types of faults.The Boolean specifications used were taken from a past researchpaper and also generated randomly. To ensure thatit is the test-set property that influences the effectivenessand not the test-set size, a variation of DC, Decision Coverage/Random (DC/R), has also been considered againstFPC and MC/DC criteria. In addition, a further analysisof variation in average effectiveness with respect to numberof conditions in the decision has been done. The empiricalresults show that the MC/DC criterion is more reliable andstable in comparison to DC, DC/R and FPC.