Tolerance of Control-Flow Testing Criteria

Authors:
Sergiy A. Vilkomir;Kalpesh Kapoor;Jonathan P. Bowen
Affiliations:
-;-;-
Venue:
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Year:
2003

Citing 0
Cited 3

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
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria

Formal methods and testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Effectiveness of testing criteria is the ability to detect failuresin a software program. We consider not only effectivenessof some testing criterion in itself but a variance ofeffectiveness of different test sets satisfied the same testingcriterion. We name this property 'tolerance' of a testingcriterion and show that, for practical using a criterion, ahigh tolerance is as well important as high effectiveness.The results of empirical evaluation of tolerance for differentcriteria, types of faults and decisions are presented. Aswell as quite simple and well-known control-flow criteria,we study more complicated criteria: Full Predicate Coverage,Modified Condition/Decision Coverage and ReinforcedCondition/Decision Coverage criteria.