摘要
软件测试充分性判别准则是决定一个软件系统是否已经被充分测试的停止准则,而充分性判别准则的关键是它的揭错能力。对充分性判别准则进行了形式化描述,并且讨论了充分性判别准则的性质及准则之间的比较方法。为了给保障软件测试充分性提供理论依据,提出了一个软件测试充分性的度量准则。
Software testing adequacy criteria are rules to determine whether a piece of software has been adequately tested, and the key of the software testing adequacy criteria is the fault-detecting ability. The formal description of software test adequacy criteria is presented, and the properties of adequacy criteria and the comparing methods between adequacy criteria are discussed. Inder to supply the theoretic proof for the software testing adequacy, a measure criteria of software testing adequacy was given.
出处
《计算机工程与设计》
CSCD
北大核心
2005年第12期3338-3340,共3页
Computer Engineering and Design
关键词
软件测试
充分性准则
线性独立路径覆盖率
圈复杂度
software test
adequacy criteria
coverage ratio of linerly independent path
cyclomatic complexity
