期刊文献+

基于约束的服务化软件测试系统 被引量:4

A Constraint-based Service Oriented Software Testing System
下载PDF
导出
摘要 面向服务的软件体系结构近年来不仅在民用领域得到广泛应用,也越来越多地应用于军用装备软件系统研制。服务化软件的测试技术得到了越来越多的关注。传统的服务化软件测试工具大多关注于测试流程的自动化,在测试用例的自动生成等方面,还远不够成熟。现有测试技术和工具尤其难以表达真实应用中的业务逻辑规则,给生成高质量的测试带来许多困难。鉴于此,研发了一款针对服务化系统的软件测试原型工具。该工具运用一阶逻辑公式表达业务逻辑约束,基于Z3SMT约束求解器生成测试用例、进行故障注入等,使得测试数据的生成更契合待测软件业务特征,为服务化软件的测试实践提供了更有力支持。 Service-oriented software architecture has been widely used in civil domain in recent years,and has been widely used in military equipment software system. The testing technology of Web service software has received more and more attention. Most of the traditional service-oriented software testing tools focus on automation of the testing process,the automatic test case generation and other respects are far from mature. The existing testing techniques and tools are particularly difficult to express the business logic rules in real applications,which brings many difficulties to the production of high quality testing. In view of this,a prototype tool for software testing services is developed. The tool uses a formula of first-order logic to express business logic constraints,generates test cases and performs fault injection based on Z3 SMT constraint solver,which makes test data generation more agree with software business characteristics and provides more powerful support for the testing practice of service-oriented software.
作者 李昌建 钱巨 程浩 周辉 LI Chang-jian;QIAN Ju;CHENG Hao;ZHOU Hui(College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing,Jiangsu 211106,China;Collaborative Innovation Center of Novel Software Technology and Industrialization,Nanjing,Jiangsu 210023,China)
出处 《计算技术与自动化》 2019年第1期108-113,共6页 Computing Technology and Automation
基金 国防基础科研计划资助项目(JCKY2016206B001,JCKY2014206C002) 江苏省政策引导类计划(产学研合作)资助项目(BY2016003-02)
关键词 WEB服务 软件测试 测试用例生成 故障注入 SMT Web service software test test case generation fault inject SMT
  • 相关文献

参考文献4

二级参考文献32

共引文献68

同被引文献25

引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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