软件可靠性验证测试最小测试量的必要条件  

Analysis of necessary condition for minimal software reliability demonstration test suite

作　　者：李秋英[1] 姜梦岑[1] 

机构地区：[1]北京航空航天大学工程系统工程系,北京100191

出　　处：《北京航空航天大学学报》2010年第2期239-243,247,共6页Journal of Beijing University of Aeronautics and Astronautics

摘　　要：将统计学中样本容量的确定方法引入软件可靠性验证测试中,提出了软件可靠性验证测试最小测试量的必要条件的概念.推荐最小测试量的参考值,使其在满足第一类风险的情况下,第二类风险也不超过某一定值.分析了最小测试量的影响因素,对现有的软件可靠性验证测试方案进行了修正,给出在最小测试量指导下的软件可靠性验证测试流程,弥补了现有方法的判定结论并非在任何情况下都可信的不足.The sample size determination method in statistics was adopted in the software reliability demonstration testing（SRDT）. The conception of the necessary condition for minimal software reliability demonstration test suite was proposed. The recommended test case number for the minimal test suite was suggested, which guaranteed satisfaction to both the first hazard and the second hazard. The influencing factors to the minimal value were analyzed and the existing software reliability demonstration plan was revised. Accordingly the process of SRDT was put forward under the direction of the minimal test suite. The method remedies the existing methods＇ defects that the reliability estimation value may depart far from the actual value in some situations.

关 键 词：软件可靠性 软件测试 验证 统计测试 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]