期刊文献+

软件自动化测试中热点路径的研究 被引量:4

Research of the Hot Paths in Software Automation Testing
下载PDF
导出
摘要 在面向路径的软件测试中,对于大型系统将会产生海量的静态路径,测试人员很难对所有路径进行完全测试。本文提出热点路径的思想,运用该思想可以在繁多的静态路径中迅速找到容易引起程序缺陷的路径,通过热点函数树形化可以对热点进行快速定位显示,给软件测试人员带来更多的便捷,提高测试效率,降低测试成本。 In path-oriented software testing,large systems generate vast amounts of static paths so that it is difficult to test all the paths for testers.This paper proposes the idea of hot path,by using this idea,it can quickly find the paths which easily generate flaws in many static paths.The tree structure of Hot Function can quickly locate Hot Spots and show them.It can bring more convenience to software testers,to improve the testing efficiency and to reduce the cost of testing.
出处 《计算机工程与科学》 CSCD 北大核心 2011年第6期79-83,共5页 Computer Engineering & Science
基金 北京市属市管高等学校人才强教计划资助项目(PHR201007131) 北京市教委科技计划资助项目(KM201010772014)
关键词 静态路径 热点路径 软件测试 static path hot path software testing
  • 相关文献

参考文献8

二级参考文献38

  • 1程诺,万琳,张威.基于量化指标分析的软件质量度量方法[J].北京化工大学学报(自然科学版),2007,34(A01):126-129. 被引量:10
  • 2[1]Cowan C. Buffer Overflow and OS/390. http : //cert. unistuttgart. de/archive/bugtraq/1999/02/msg00081. html
  • 3[2]CERT, the Computer Emergency Response Team Coordination Center. http://www. cert. org/advisories/
  • 4[3]Executable and Linkable Format (ELF). Portable Formats Specification,Version 1.1
  • 5[4]Fayolle P A,Glaume V. A Buffer Overflow Study Attacks & Defenses. ENSEIRB,Networks and Distributed Systems,2002
  • 6[5]Wilander J,Kamkar M. Dept. of Computer and Information Science, Link opings universitet. A Comparison of Publicly Available Tools for Dynamic Buffer Overflow Prevention. 2002
  • 7[6]Chiueh T,Hsu F H. Computer Science Department,State University of New York at Stony Brook. RAD : A Compile-Time Solution to Buffer Overflow Attacks. In:Proc. of The 21 st IEEE Intl. Conf.on DISTRIBUTED COMPUTING SYSTEM, 2001. 409
  • 8[7]Conover M. w00w00 Security Team. w00w00 on heap overflows.http://www. w00w00. org/files/articles/heaptut. txt, Jan. 1999
  • 9[8]Cowan C,et al. StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks. In: 7th USENIX Security Conf. San Antonio,Texas, USA, 1998
  • 10[9]GrSecurity. http://www. grsecurity. net/

共引文献19

同被引文献37

  • 1单锦辉,姜瑛,孙萍.软件测试研究进展[J].北京大学学报(自然科学版),2005,41(1):134-145. 被引量:138
  • 2宋波,张忠能.基于系统功能测试的软件自动化测试可行性分析[J].计算机应用与软件,2005,22(12):31-33. 被引量:22
  • 3赖利锋,刘强.Web应用程序的一种功能自动化测试模型与实现[J].计算机工程,2006,32(17):123-125. 被引量:18
  • 4EinarssoAB,Nelision JD.A Survivor's Guide to Java Pro- gram Analysis with Soot.2008,<http://www.brics.dk/Soot- Guide/sootsurvivorsguide.pdf>.
  • 5蒋冰.面向路径的回归测试用例优化算法研究[D].北京:北京信息科技大学.2010.
  • 6Myers G J, Sandler C, Badgett T. The Art of Software Tes- ting[ M]. John Wiley & Sons, 2011.
  • 7Eckel B. Thinking in Java [ M ]. 3rd Edition. Prentice Hall, 2013.
  • 8Chen Zhe, Gu Yi, Huang Zhiqiu, et al. Model Checking Aircraft Controller Software : A Case Study [ DB/OL ]. http ://onlinelibrary. wiley, com/doi/10. 1002/spe. 2242/ab- stract,2013-11-21.
  • 9Chen Zhe. Control Systems on Automata and Grammars [ J/ OL]. http://comjnl, oxfordjournals, org/content/early/ 2013/10/25/comjnl. bxt125, 2013-10-25.
  • 10Chen Zhe, Zhang Daqiang, Zhu Rongbo, et al. A review of automated formal verification of Ad Hoc routing protocols for wireless sensor networks [ J ]. Sensor Letters, 2013,11 (5) :752-764.

引证文献4

二级引证文献16

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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