Theoretical Research on Software Reliability Testing Adequacy
-
摘要: 在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.Abstract: Based on the significance of research on software reliability testing adequacy,the concept, the classification and the relationship of software reliability testing adequacy criterion with the whole software testing adequacy criteria system are presented. A method of how to use the relationship in software reliability testing practice is proposed. An initial research on software reliability testing adequacy based on previous theories about software testing adequacy is conducted.
-
[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 -
点击查看大图
计量
- 文章访问数: 2590
- HTML全文浏览量: 32
- PDF下载量: 1849
- 被引次数: 0
下载:
