面向Web服务测试的单线执行序列生成方法

测试用例自动生成是实现Web服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性,但第三方Web服务并不支持这些操作,无法将测试用例转换成可执行操作序列。一种可行的解决方案是将测试用例转换成只包含一个被测服务实例、不包括实例初始化、只对实例进行状态修改和检查的线性执行序列。改进已有工作,提出包含逆项的测试执行图TEG-I来描述测试用例执行过程中的状态变化,设计TEG-I构造算法和单线执行序列生成算法并实现相应原型工具。实验结果表明,提出的方法能够有效地自动完成测试用例生成,提高Web服务的可测试性。

基于代数规约的Web服务自动测试执行引擎

随着面向服务计算的迅速发展,Web服务测试扮演着越来越重要的角色,尤其是在Web服务动态发现和组合的过程中,通过对第三方提供的服务进行自动测试已成为一个研究热点。近年来,从Web服务的形式化代数规约自动生成测试用例和自动检验测试结果的正确性等方面的研究都取得了实质性进展。但是,由于Web服务接口的多样性,服务调用方式不一致,如何将测试用例自动地转换成对第三方Web服务的测试性调用请求是一个尚未解决的技术难点,已成为完成Web服务自动测试的主要障碍之一。以现有的研究工作为基础,在分析主流Web服务接口的基础上定义了通用的服务调用机制,提出一个通用的面向Web服务的测试执行引擎框架,以支持包括WSDL/SOAP为基础的Web服务和RESTful Web服务的自动测试执行过程,并将线性测试调用序列并行化,自动生成并发测试脚本,以提高测试执行效率。实验结果表明提出的测试执行引擎框架是可行的,且可高效地自动完成并行化的测试序列。