留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

软件可靠性测试充分性问题的理论研究

李秋英 陆民燕 阮镰

李秋英, 陆民燕, 阮镰等 . 软件可靠性测试充分性问题的理论研究[J]. 北京航空航天大学学报, 2003, 29(4): 312-316.
引用本文: 李秋英, 陆民燕, 阮镰等 . 软件可靠性测试充分性问题的理论研究[J]. 北京航空航天大学学报, 2003, 29(4): 312-316.
Li Qiuying, Lu Minyan, Ruan Lianet al. Theoretical Research on Software Reliability Testing Adequacy[J]. Journal of Beijing University of Aeronautics and Astronautics, 2003, 29(4): 312-316. (in Chinese)
Citation: Li Qiuying, Lu Minyan, Ruan Lianet al. Theoretical Research on Software Reliability Testing Adequacy[J]. Journal of Beijing University of Aeronautics and Astronautics, 2003, 29(4): 312-316. (in Chinese)

软件可靠性测试充分性问题的理论研究

详细信息
    作者简介:

    李秋英(1973-),女,黑龙江大庆人,博士生,100083,北京.

  • 中图分类号: TP 311

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
  • 加载中
计量
  • 文章访问数:  2693
  • HTML全文浏览量:  43
  • PDF下载量:  1854
  • 被引次数: 0
出版历程
  • 收稿日期:  2002-01-08
  • 网络出版日期:  2003-04-30

目录

    /

    返回文章
    返回
    常见问答