期刊文献+

基于多Agent的软件测试系统设计 被引量:3

Design of Software Testing System Based on Multi-Agent
下载PDF
导出
摘要 随着软件系统变得越来越复杂和庞大,如何对它进行快速有效的测试已经成为现在的一大热点。通过将Agent技术引入软件测试过程,设计了一种基于多Agent的软件测试系统。该系统由界面Agent模块、预处理Agent模块、程序插桩Agent模块和动态测试信息分析Agent模块组成,实现了软件语句和分支覆盖率的测试及查询覆盖率不满足要求时未覆盖目标的情况。有效地解决了传统手工测试程序运行效率低、繁琐等一些问题,保证了软件系统高效稳定的运行。 It is a hot topic to test software quickly and effectively as software systems become increasingly complex.Design an intelligent software testing system which brings Agent technology into software testing process.The system consists of interface Agent module,pretreatment Agent module,program Agent instrumentation module and active testing information analysis Agent module,it mainly realized the testing of the code coverage and branch coverage of the software,besides,it can also inquire the condition of uncoveraged target when the coveragement cannot satisfy the requirement.This method has effectively solved the problems of the traditional manual testing program operation inefficient and verbose and ensured the software system of highly efficient and stable operation.
出处 《计算机技术与发展》 2011年第4期37-39,43,共4页 Computer Technology and Development
基金 国家自然科学基金(60674100)
关键词 软件测试 Agent模块 词法语法分析 程序插桩 覆盖测试 software testing agent modules iexical and grammar analysis program instrumentation coverage test
  • 相关文献

参考文献11

二级参考文献53

共引文献61

同被引文献29

  • 1程绍银,蒋凡,林锦滨,唐艳武.基于有限回溯符号执行的软件疑似缺陷的自动验证[J].清华大学学报(自然科学版),2009(S2):2222-2227. 被引量:1
  • 2刘文伟,刘坚.一个重建GCC抽象语法树的方法[J].计算机工程与应用,2004,40(18):125-128. 被引量:7
  • 3刘树锟,阳小华.动态不变量检测工具Daikon的分析及运用[J].电脑开发与应用,2006,19(1):6-8. 被引量:2
  • 4姬孟洛,王怀民,李梦君,董威,齐治昌.一种基于抽象解释和通用单调数据流框架的值范围分析方法[J].计算机研究与发展,2006,43(11):2020-2026. 被引量:10
  • 5Hangal S,Lam M S.Tracking down software bugs using automatic detection[C]//Proceedings of the 24th international conference on software engineering.[s.l.]:[s.n.],2002:291-301.
  • 6Cousot P,Cousot R.Abstract interpretation:a unified lattice model for static analysis of programs by construction or approximation of fixpoints[C]//Proc of the 4th POPL.Los Angeles:ACM Press,1977:238-252.
  • 7Cousot P,Cousot R.Abstract interpretation frameworks[J].Journal of Logic and Computer,1992,2 (4):511-547.
  • 8Coen-Porisini A, de Paoli F..Software specialization via sym- bolic execution[ J ]. IEEE Transactions on Software Engineer- ing, 1991,17 ( 9 ) :884-899.
  • 9Coen- Porisini A, Denaro G, Ghezzi C, et al. Using symbolic execution for verifying safety-critical systems [ C ]//Proc. of 8th European Software Engineering Conf. and 9th ACM SIG-soFr Int. Symp. on Foundations of Software Engineering (ESEC/FSE). [s. 1. ] :Is. n. ] ,2001:142-151.
  • 10Koutsikas C, Malevris N. A unified symbolic execution system [ C]//ACS/IEEE International Conference on Computer Sys- tems and Applications. [s. 1. ] : [s. n. ] ,2001:466-469.

引证文献3

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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