Many software testing criteria are proposed. They demonstrate different testing capacities. However, there is still less research explore what is the quantitative difference among different testing criteria. It is clear that a quantitative difference among different criteria is a good guideline for selecting appropriate testing methodologies. All-Statements and All-Branches testing criteria are two famous testing criteria, and both of them have been widely applied in software testing. This research conducts a quantitative analysis to measure the difference between All-Statements criterion and All-Branches criterion. The quantitative analysis provides a theoretical basis for measuring testing efforts between different testing methodologies. An testing metric is proposed to compare All- Statements and All-Branches criteria. Also, an algorithm for this metric is presented.
Relation:
中華民國八十年全國計算機會議論文集(一)=Proceedings of National Computer Symposium 1991, Republic of China, Vol 1,頁287-293