期刊文献+

软件测试技术的研究进展 被引量:6

Software testing technology research progress
下载PDF
导出
摘要 软件测试是保障软件质量的重要手段,是软件工程的重要组成部分。本文回顾和总结了软件测试技术的发展历史,讨论了软件测试技术的研究成果,包括软件测试的充分性准则、静态分析与度量技术以及黑盒与白盒动态测试技术,可为软件测试学科建设及其研究方向提供参考。 Software testing is an important way to ensure software quality, and a significant component part of software engineering. This paper reviews and summarizes the development of software test technology, and analyzes the research achievements of the soft- ware testing technology, such as software testing criteria, static analysis and measurement technology as well as the black-box and white-box dynamic test technology, discipline construction and research direction of reference.
作者 刘继华 陈策
出处 《微计算机信息》 2012年第10期494-496,共3页 Control & Automation
基金 吕梁学院2012年校级自然科学校内基金项目名称:基于移动Agent和BP神经网络的分布式入侵检测系统研究
关键词 软件测试 充分性准则 静态分析 动态测试 software testing adequacy criteria static analysis dynamic testing
  • 相关文献

参考文献6

二级参考文献12

  • 1单锦辉,姜瑛,孙萍.软件测试研究进展[J].北京大学学报(自然科学版),2005,41(1):134-145. 被引量:138
  • 2张道德.基于Access数据库的集散式温度控制系统[J].微计算机信息,2005,21(1):41-42. 被引量:9
  • 3E J Weyuker. Can we measure software testing effectiveness?[C]. In: Proc of the 1st Int'l Software Metrics Symposium.Los Alamitos, CA: IEEE Computer Society Press, 1993. 100-107
  • 4P G Frankl, O Iakounenko. Further empirical studies of test effectiveness [C]. In: Proc of the 6th SIGSOFT' 98/ FSE-6.New York: ACM Press, 1998. 153-162
  • 5M Hutchins, H Foster, et al. Experiments on the effectiveness of dataflow-and controlflow-based test adequacy criteria [C].In: Proc of the 16th Int'l Conf on Software Engineering. New York: IEEE Press, 1994. 191-200
  • 6P G Frankl, S N Weiss. An experimental comparison of the effectiveness of branch testing and data flow testing [J ]. IEEE Trans on Software Engineering, 1993, 19(8) : 774-787
  • 7D J Richardson, M C Thompson. An analysis of test data selection criteria using the relay model of fault detection [J ].IEEE Trans on Software Engineering, 1993, 19(6) : 533-553
  • 8A J Offutt, J H Hayers. A semantic model of program faults[C]. In: Proc of the Int'l Symp on Software Testing and Analysis. New York: ACM Press, 1996. 195-200
  • 9Aristotle Reaearch Group [OL]. http://www. cc. gatech. edu/aristotle/Tools/dost/ html, 2003
  • 10朱鸿,软件质量保障与测试,1997年

共引文献23

同被引文献31

  • 1Rapps S, Weyuker E J. Selecting software test data u- sing data flow information [J]. IEEE Transactions on Software Engineering, 1985 (4) : 367-375.
  • 2Chen M H, Mathur A P, Rego V J. Effect of testing techniques on software reliability estimates obtained u- sing a time-domain model[J]. IEEE Transactions on Re- liability, 1995, 44(1): 97-103.
  • 3Hangal S, Lam M S. Tracking down software bugs u- sing automatic anomaly detection[C]//Proceedings of the 24th International Conference on Software Engineer- ing. ACM, 2002: 291-301.
  • 4Sahoo S K, Li M L, Ramachandran P, et al. Using likely program invariants to detect hardware errors [C]//Dependable Systems and Networks with FTCS and DCC. IEEE, 2008: 70-79.
  • 5Ernst M D, Cockrell J, Griswold W G, et al. Dynami- cally discovering likely program invariantts to support program evolution[J]. IEEE Transactions on Software Engineering, 2001, 27(2): 99-123.
  • 6Pietrantuono R, Russo S, Trivedi K S. Online monito- ring of software system reliability [ C]//Dependable Computing Conference (EDCC). IEEE, 2010: 209-218.
  • 7Ernst M D, Perkins J H, Guo P J, et al. The Daikon sys- tem for dynamic detection of likely invariants[J]. Science of Computer Programming, 2007, 69(1): 35-45.
  • 8Ding Zuo-hua, Zhang Kao, Hu Jue-liang. A rigorous approach towards test case generation[J]. Information Sciences, 2008, 178(21): 4057-4079.
  • 9Gupta N. Generating test data for dynamically discovering likely program invariants[C]//Proceedings of ICSE 2003 Workshop on Dynamic Analysis. 2003: 21-24.
  • 10Do H, Elbaum S, Rothermel G. Supporting controlled experimentation with testing techniques: an infrastruc- ture and its potential impact[J]. Empirical Software Engineering, 2005, 10(4): 405-435.

引证文献6

二级引证文献14

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部