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

李秋英; 姜梦岑

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

北京航空航天大学工程系统工程系, 北京 100191

详细信息

作者简介:
李秋英(1973－),女,黑龙江大庆人,讲师,li_qiuying@buaa.edu.cn.

中图分类号: TP 311
计量
- 文章访问数: 3619
- HTML全文浏览量: 248
- PDF下载量: 1545
- 被引次数: 0
出版历程
- 收稿日期: 2009-05-22
- 网络出版日期: 2010-02-28

Analysis of necessary condition for minimal software reliability demonstration test suite

Dept. of System Engineering of Engineering Technology, Beijing University of Aeronautics and Astronautics, Beijing 100191, China

摘要

摘要: 将统计学中样本容量的确定方法引入软件可靠性验证测试中,提出了软件可靠性验证测试最小测试量的必要条件的概念.推荐最小测试量的参考值,使其在满足第一类风险的情况下,第二类风险也不超过某一定值.分析了最小测试量的影响因素,对现有的软件可靠性验证测试方案进行了修正,给出在最小测试量指导下的软件可靠性验证测试流程,弥补了现有方法的判定结论并非在任何情况下都可信的不足.
- 软件可靠性 /
- 软件测试 /
- 验证 /
- 统计测试
Abstract: 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.
- software reliability /
- software testing /
- demonstrations /
- statistical testing

HTML全文

参考文献(1)

[1] MIL-HDBK-781A Handbook for reliability test methods,plans and environments for engineering,development,qualification,and production-revision A(1996)[S] [2] Sandoh H.Reliability demonstration testing for software[J].IEEE Transactions on Reliability,1991,40 (1):117-119 [3] Feller W.An introduction to probability theory and its applications (Vol.1) [M].New York:Wiley,1968 [4] Thayer T A,Lipow M,Nelson E C.Software reliability[M].Amsterdam:North-Holland,1978 [5] Mann N R,Schafer R E,Singpurwalla N D.Methods for statistical analysis of reliability and life data[M].New York:Wiley,1974 [6] Martz H F,Waller R A.A Bayesian zero-failure (BAZE) reliability demonstration testing procedure[J].Journal of Quality Technology,1979,11:128-138 [7] Tal O,McCollin C,Bendell A.Reliability demonstration for safety-critical systems[J].IEEE Transactions on Reliability,2001,50(2):194-203 [8] Lakey P,Neufelder A.System and software reliability assurance notebook[M].New York:Rome Laboratory,1996 [9] GJB 899-1990 可靠性鉴定和验收试验[S] GJB 899-1990 Reliability testing for qualification and production acceptance[S](in Chinese) [10] GB5080.5-1985 设备可靠性试验成功率的验证试验方案[S] GB5080.5-1985 Equipment reliability testing compliance test plans for success ratio[S](in Chinese) [11] 何国伟.软件可靠性[M].北京:国防工业出版社,1998 He Guowei.Software reliability[M].Beijing:Defense Industry Publisher,1998 (in Chinese) [12] 李秋英,陆民燕,阮镰.软件可靠性测试充分性问题的理论研究[J].北京航空航天大学学报,2003,29(4),312-316 Li Qiuying,Lu Minyan,Ruan Lian.Theoretical research on software reliability testing adequacy[J].Journal of Beijing University of Aeronautics and Astronautics,2003,29(4),312-316(in Chinese) [13] Li Qiuying,Liu Bin,Lu Minyan.The theory system of STA and the axiom system of SRTAC //Guedes S C,Zio E.Proceedings of 16th European Safety and Reliability Proceedings for Managing Risk.London:Taylor and Francis,2006:1425-1434 [14] Musa J D.Software reliability engineering[M].2nd ed.New York:McGraw-Hill Book Company,1996 [15] 韩於羹.应用数理统计[M].北京:北京航空航天大学出版社,1993 Han Yugeng.Applied statistics[M].Beijing:Beihang University Publisher,1993(in Chinese) [16] 朱广萍.应用统计学中样本容量的确定方法[J].宁夏大学学报:自然科学版,2002,23(2):141-143 Zhu Guangping.A way of location of sample capacity in applied statistics[J].Journal of Ningxia University:Natural Science Edition,2002,23(2):141-143(in Chinese) [17] 颜炯,王戟,陈火旺.基于重要抽样的软件统计测试加速[J].计算机工程与科学,2005,27(3):64-66 Yan Jiong,Wang Ji,Chen Huowang.Software statistical test acceleration based on importance sampling[J].Computer Engineering and Science,2005,27(3):64-66(in Chinese) [18] 覃志东,雷航,桑楠,等.安全关键软件可靠性验证测试方法研究[J].航空学报,2005,26(3):334-339 Qin Zhidong,Lei Hang,Sang Nan,et al.Study on the reliability demonstration testing method for safety critical software[J].Acta Aeronautica et Astronautica Sinica,2005,26(3):334-339(in Chinese)

施引文献

资源附件(0)

访问统计