Theoretical Research on Software Reliability Testing Adequacy

[1] Gardiner S. Testing safety-related software:A practical handbook . New York:Springer Verlag, 1999.143~154 [2] Goodenough J B, Gerhert S L. Toward a theory of test data selection[J]. IEEE Transactions on Software Engineering, 1975, SE-3:156~173 [3] Zhu Hong, Hall P A V. Test data adequacy measurement[J]. Software Engineering Journal, 1993, 8(1):21~29 [4] 朱 鸿,金凌紫. 软件质量保障与测试[M]. 北京:科学出版社, 1997.81~86 Zhu Hong, Jin Lingzi. Software quality assurance and testing[M]. Beijing:Science Press,1997. 81~86(in Chinese) [5] Michael R Lyu. 软件可靠性工程手册[M]. 刘喜成译.北京:电子工业出版社,1996. 110~112 Michael R Lyu. Handbook of software reliability engineering[M]. Liu Xicheng Tr. Beijing:Publishing House of Electronics Industry, 1996. 110~112(in Chinese) [6] Weiss S N. Methods of comparing test data adequacy criteria . Computer Software and Applications Conference 1990 Proceedings . 1990. 1~6 [7] Parnas D L, van Schouwen A J, Kwan S P. Evaluation of safety-critical software[J]. Communications of ACM, 1990, 6(33):636~648 [8] 郑人杰. 计算机软件测试技术[M]. 北京:清华大学出版社,1992. 79~80 Zheng Renjie. Computer software testing technique[M]. Beijing:Tsinghua University Press, 1992. 79~80(in Chinese) [9] 王福保. 概率论及数理统计[M]. 上海:同济大学出版社, 1984. 88~90 Wang Fubao. Probability theory and mathematical statistics[M]. Shanghai:Tongji University Press,1984. 88~90(in Chinese) [10] Howden W E. Functional program testing and analysis[M]. New York:McGraw-Hill, 1987. 51~55