基于约束的服务化软件测试系统
    点此下载全文
引用本文:李昌建1?覮,钱巨1,2,程 浩1,周 辉1.基于约束的服务化软件测试系统[J].计算技术与自动化,2019,(1):108-113
摘要点击次数: 1075
全文下载次数: 0
作者单位
李昌建1?覮,钱巨1,2,程 浩1,周 辉1 (1. 南京航空航天大学 计算机科学与技术学院江苏 南京 210016) (2. 软件新技术与产业协同创新中心江苏 南京 210023) 
中文摘要:面向服务的软件体系结构近年来不仅在民用领域得到广泛应用,也越来越多地应用于军用装备软件系统研制。服务化软件的测试技术得到了越来越多的关注。传统的服务化软件测试工具大多关注于测试流程的自动化,在测试用例的自动生成等方面,还远不够成熟。现有测试技术和工具尤其难以表达真实应用中的业务逻辑规则,给生成高质量的测试带来许多困难。鉴于此,研发了一款针对服务化系统的软件测试原型工具。该工具运用一阶逻辑公式表达业务逻辑约束,基于Z3 SMT约束求解器生成测试用例、进行故障注入等,使得测试数据的生成更契合待测软件业务特征,为服务化软件的测试实践提供了更有力支持。
中文关键词:Web服务  软件测试  测试用例生成  故障注入  SMT
 
A Constraint-based Service Oriented Software Testing System
Abstract: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.
keywords:Web service  software test  test case generation  fault inject  SMT
查看全文   查看/发表评论   下载pdf阅读器