期刊文献+

软件运行时错误测试工具评析

Evaluation of Run-Time Errors Testing Tools
下载PDF
导出
摘要 从减少软件开发成本和缩短软件开发周期的角度考虑,尽可能的在软件编码时期发现软件缺陷无疑是最佳选择,但软件运行时错误是所有的软件缺陷中最具风险的,发现该类错误最有效的手段就是专用测试工具。通过对几种主流的软件运行时错误测试工具的对比分析,探讨了各个工具的优缺点及选择的诸多因素,对于软件测试人员如何选择合适的该类测试工具,具有实际参考价值。 Finding software defects as many as possible can largely diminish the software cost and developmental cycle of the code period in software life cycle,while the run-time error is the riskiest of all the software defects.The most effective means of find ing this kind of error is a special testing tool.Through comparatively analyzing several mainstream testing tools for software runtime errors,this paper discusses advantages and disadvantages of these tools and the various factors of the option.It has practical and referenced value for testing personnel about how to choose appropriate testing tools.
作者 赵伟 ZHAO Wei(Software Test Center of CSBI,Lianyungang 222006,China)
出处 《电脑知识与技术》 2013年第3期1575-1577,共3页 Computer Knowledge and Technology
关键词 软件测试 运行时错误 语义分析技术 software testing run-time error semantic analysis technique
  • 相关文献

参考文献7

二级参考文献26

  • 1[1]Brooks F P Jr.The Mythical Man-Month: Essays on Software Engineering,Anniversary Edition,(2nd ed.)Addison-Wesley 1995 被引量:1
  • 2[2]Fewster M,Graham D.Software Test Automation.Addison -Wesley,1999 被引量:1
  • 3[3]PurifyPlus.http://www.rational.com/products/pqc/index.jsp 被引量:1
  • 4[4]Bush W,Pincus J,Sielaff D.A static analyzer for finding dynamic programming errors.Software - Practice and Experience,2000,30(7):755~802 被引量:1
  • 5[5]Engler D,Chelf B,Chou A,Hallem S.Checking system rules using system-specific programmer-written compiler extensions.In:Proc.of the Fourth Symposium on Operating System Design and Implementation,San Diego,Oct.2000 被引量:1
  • 6[6]Detlefs D L,Leino K R M,Nelson G,Saxe J B.Extended static checking:[SRC Research Report 159].Compaq System Research Center,1998 被引量:1
  • 7[7]LDRA.http://www.ldra.co.uk 被引量:1
  • 8[8]Parasoft.http://www.parasoft.com 被引量:1
  • 9[9]King J C.Symbolic execution and testing.Comm.of the ACM,1976,19:385~394 被引量:1
  • 10[10]Nelson G,Oppen D.Simplification by cooperating decision procedures.ACM TOPLAS,1979,1(2):245~257 被引量:1

共引文献36

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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