Analysis of necessary condition for minimal software reliability demonstration test suite

[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)