摘要
选择测试充分性准则对软件的测试是至关重要的。本文对范畴划分(Category-Partition)测试中的All-Combination、Each-Choice-Used和base-Choice-Coverage这三个充分性准则在揭错能力、软件可靠性、测试开销这几个方面进行分析和比较,并给出一个量化的比较结果,帮助测试员选择测试充分性准则。最后对基于票据计算的形式规格说明的例子进行了分析。
It is very important choose the testing adequacy criteria in software testing. There exist three testing adequacy criteria in category-partition testing: All-Combination, Each-Choice-Used and base-Choice-Coverage. This paper gives an analysis and comparison among these three criteria. Moreover,a quantitative result of comparison on fault-detecting ability, software reliability and test cost is produced to assist the test engineer in choosing testing adequacy criteria. Finally, this paper gives an analysis by an example of a formal specification based on invoice computing.
出处
《计算机科学》
CSCD
北大核心
2004年第1期180-184,共5页
Computer Science
基金
国家自然基金(编号60173030)
上海市教委青年基金(编号02AQ85)
关键词
范畴划分测试
充分性准则
揭错能力
可靠性
软件开发
Category-partition testing,Testing adequacy criteria .Fault-detecting ability,Software reliability .Test cost
