2013/12/01 by Zalán Szűgyi, Zalán PORKOLÁB · 1 citation
Computer Science · Mathematics · Engineering · #Software Testing and Debugging Techniques #Software Reliability and Analysis Research #Software Engineering Research #Correctness #Computer science #Metric (unit) #Code (set theory) #Compromise #Programming language #Code coverage #Block (permutation group theory) #Test (biology) #Reliability engineering #Software #Set (abstract data type) #Mathematics #Operations management #Engineering
paper · pdf · doi:10.15546/aeei-2013-0050
openalex publication_date 2013/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In software development testing plays the most important role to discover bugs and to verify that the product meets its requirements. This paper focuses on programs written in C++ programming language and analyses two important testing methods, the Decision Coverage and the more strict Modified Condition / Decision Coverage. We examine how the program characteristics -lines of code, McCabe metric, the number of the arguments in the decisions, deepness of the nested block -affect the number of necessary test cases of these testing methods. Choosing test methods is always a compromise between the code correctness and the available resources. Less strict ones require fewer test cases and consume less resources, however, they may discover fewer errors. Our results may help to chose between Decision Coverage and Modified Condition / Decision coverage.