基于约束的服务化软件测试系统

A Constraint-based Service Oriented Software Testing System

面向服务的软件体系结构近年来不仅在民用领域得到广泛应用,也越来越多地应用于军用装备软件系统研制。服务化软件的测试技术得到了越来越多的关注。传统的服务化软件测试工具大多关注于测试流程的自动化,在测试用例的自动生成等方面,还远不够成熟。现有测试技术和工具尤其难以表达真实应用中的业务逻辑规则,给生成高质量的测试带来许多困难。鉴于此,研发了一款针对服务化系统的软件测试原型工具。该工具运用一阶逻辑公式表达业务逻辑约束,基于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.