期刊文献+

一种基于故障模型的代码静态测试方法研究

Static Detecting Method for Fault Model
下载PDF
导出
摘要 软件测试是排除软件故障,提高软件质量和可靠性的重要手段。基于故障模型的软件测试是软件编码阶段的主流测试方法之一。基于故障模型的代码静态测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点。鉴于此,本文采取一种特殊的静态分析技术来实现对代码的测试。首先讨论传统软件测试方法的缺点和局限性,给出基于故障模型的静态测试方法的优越性;然后在分析过程中,综合应用抽象语法树和控制流图,提出一种基于故障模型的软件测试方法。依据该算法开发自动化测试工具,给出实验结果和对比分析,并指出下一步的研究方向。 Software testing is an important means to eliminate software faults and enhance software quality and reliability.Software testing based on testing model is the important testing method in code phase during the software development life cycle.This testing method has sound characteristics,such as testing source code fast and peering into more of a program's dark corners with less fuss than dynamic analysis.Therefore,a special static analysis method is taken to implement code testing.The paper discusses the disadvantage and limitation of the traditional software testing method,builds software's fault models,on the basis of the defect-oriented testing strategy,it adopts synthetically syntax tree and controlling stream graph and puts forward a static testing method,and presents an automatic fault detection algorithm.Based on this method,a software testing system is designed and developed,experiment results are obtained and comparison analysis is made,providing a direction for further study.
出处 《计算机与现代化》 2011年第2期77-80,共4页 Computer and Modernization
关键词 故障模型 软件测试 语法树 控制流图 静态测试 fault model software testing syntax tree controlling stream graph static testing
  • 相关文献

参考文献13

二级参考文献49

  • 1Eichin M W,Rochlis J A.With Microscope and Tweezers:An Analysis of the Internet Virus of Nov.1988[C].IEEE Symp.Security and Privacy,1989.
  • 2Austin T M,Breach S E,Sohi G S.Efficient Detection of All Pointer and Array Access Errors[C].PLDI'94,ACM,1994.
  • 3Markstein V,Cocke J,Markstein P.Optimization of Range Checking[C].Proceedings of the 1982 ACM SIGPLAN Conference on Compiler Construction,SIGPLAN Notices,1982:114-119.
  • 4Dor N,Rodeh M,Sagiv M.Cssv:Towards a Realistic Tool for Statically Detecting All Buffer Overflows inc[C].Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation,2003:155-167.
  • 5Wagner D,Foster J,Brewer E,et al.A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities[C].Proceedings of the Network and Distributed Systems Security Symposium,2000:3-7.
  • 6[1]Musa J D, Iannino A, Okumoto K. Software reliability measurement prediction application [M]. New York McGrawHill, 1987.
  • 7[2]VoasJ. PIE: A dynamic failure-based technique [J]. IEEE Transactions on software Engineering, 1992,18 (8): 717~727.
  • 8[3]Voas J, Morell L J. Applying sensitivity analysis estimates to a minimum failure probability for software testing [C]. In Proceedings of the 8th Pacific Northwest Software Quality Conference. Portland, OR, 1990.362~371.
  • 9[4]Gutjahr W J. Partition testing vs. random testing: The influence of uncertainty [J]. Software Engineering , 1999,25(5): 661~674.
  • 10[5]Lipow M. Number of fault per line of code [J]. IEEE Transactions on software Engineering, 1982, 8 (4): 437~ 439.

共引文献82

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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