A QUANTITATIVE-ANALYSIS FOR DIFFERENT TESTING CRITERIA THROUGH PROGRAM DECOMPOSITION

We present a quantitative comparison among different testing criteria. Testing criteria are methodologies that serve as the guidance for sof tware testing. First, we survey various software testing criteria. We find that the quantitative difference among different criteria is a go od guideline for selecting appropriate testing methodologies. Also, Al l-Statements and Al-Branches testing criteria are two famous testing c riteria that are widely applied in software testing. This paper infers a quantitative analysis to measure the difference between the All-Sta tements criterion and the All-Branches criterion. The quantitative ana lysis provides a theoretical basis for measuring testing efforts betwe en different testing methodologies. A testing metric based on our anal ysis is then proposed to compare All-Statements and All-Branches crite ria. An algorithm for this metric is also presented.