基于统计覆盖测试技术的软件测试充分性研究  

Research of software testing adequacy based on statistical coverage testing technology

作　　者：沈升源[1] 陈丽容[1] 汤铭端[1] 

机构地区：[1]中国航天科工集团二院706所,北京100854

出　　处：《系统工程与电子技术》2004年第6期821-824,共4页Systems Engineering and Electronics

基　　金：总装"十五"预研基金资助课题(413150601)

摘　　要：研究了基于可信度的统计覆盖测试技术,以及基于统计覆盖测试技术的测试充分性,指出"以至少C的可信度确信,下一次软件测试出现新的覆盖项(如语句,分支,路径等)的概率小于或等于一个给定的正数B",是一种测试充分性的标准。在此基础上,进一步研究了统计测试技术与软件可靠性技术指标中的软件失效率之间的联系,给出了基于统计测试技术的软件失效率的度量方法。The confidence-based statistical coverage testing technology is studied, and testing adequacy is discussed based on statistical coverage testing technology, described as 'it can be at least C confident that the probability of finding a new coverage item (such as statement, branche, path etc.) in the next test is less than or equal to a required positive number B'. Furthermore, the relationship between statistical testing technology and failure rate of software reliability is researched. Based on statistical testing technology, the method for measuring failure rate of the software is presented.

关 键 词：软件测试 统计覆盖测试 测试充分性 可靠性 

分 类 号：U675.65[交通运输工程—船舶及航道工程]