期刊文献+

黑盒测试技术在反鱼雷显控台软件测试中的应用 被引量:3

Black Box Besting Applied On Anti-torpedo Display Console Software Testing
下载PDF
导出
摘要 软件测试是软件产品开发过程中的重要环节,其中软件测试用例的设计是软件测试的关键。本文介绍了等价类划分法、边界条件法、决策表法及功能分解法这几种常见的黑盒测试技术,分析了其各自的特点及其适宜的应用范围。同时以反鱼雷显控台软件测试为例,详细叙述了如何在测试实践中应用这些黑盒测试方法。实践证明,使用黑盒测试技术进行功能测试,能科学快速的编写出测试用例,极大的提高测试效率,并取得好的测试效果。 Software testing is an important process of the software development, and designing the test cases is the key to the software testing. This essay describes some common black box software testing technology, like equivalence partition-ing method, boundary condition method, the decision-making table method and functional decomposition. And analyzes these own characteristics and suitable range of applications. In the case of anti-torpedo Display Console software testing, for example, it described in detail how to apply these methods in a black box testing practice. Practice has proved that the use of black-box testing techniques for functional testing, can quickly write a scientific test cases, greatly improving testing effi-ciency, and achieve good test results.
作者 李辰龙
出处 《软件》 2014年第12期8-11,共4页 Software
基金 国际自然科学基金资助项目(91118002)
关键词 黑盒测试 测试用例 软件测试 Black box testing Test cases Software testing
  • 相关文献

参考文献6

二级参考文献13

共引文献38

同被引文献24

  • 1苏亚丽.黑盒测试之等价类划分[J].玉溪师范学院学报,2009,25(8):49-52. 被引量:4
  • 2李忠.等价类划分算法[J].宜宾学院学报,2001,1(3):92-94. 被引量:1
  • 3唐稚松,赵琛.一种面向软件工程的时序逻辑语言[J].软件学报,1994,5(12):1-16. 被引量:15
  • 4邓小鹏,邢春晓,蔡莲红.Web应用测试技术进展[J].计算机研究与发展,2007,44(8):1273-1283. 被引量:44
  • 5冯玉芬,杨天栋.等价类划分测试用例设计[J].株洲师范高等专科学校学报,2007,12(5):43-45. 被引量:4
  • 6H Chen,,D Dean,D Wagner.Model checking one million lines of C code. Network and Distributed System Security Symposium . 2004
  • 7Steven P. Miller,Michael W. Whalen,Darren D. Cofer.??Software model checking takes off(J)Communications of the ACM . 2010 (2)
  • 8M.Hentschel,S.Kasdorf,R.Hahnle,et al.An interactive verification tool meets an IDE. IFM 2014 . 2014
  • 9Lucas Cordeiro,Bernd Fischer,Joao Marques-Silva.SMT-Based Bounded Model Checking for Embedded ANSI-C Software. IEEE Transactions on Software Engineering . 2012
  • 10Dill, D.L.,Clarke, E.M.Automatic verification of asynchronous circuits using temporal logic. Computers and Digital Techniques, IEE Proceedings E . 1986

引证文献3

二级引证文献13

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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