基于交互行为规约的Web服务测试

摘要

作为一种实现面向服务体系架构(SOA)典型的应用实例，Web服务采用和支持国际公开的开放技术标准规范以保证分布式的端到端的交互。目前虽然Web服务已经在电子商务、金融等许多领域得到广泛应用，但是由于Web服务本身的源码不可知和行为的不可预知等特性使得测试工作面临很大的问题。本文采用一种基于交互行为规约的方法测试Web服务。由于WSDL文档中并未提供Web服务的动态行为信息，服务提供者将额外提供以UML2.0序列图和OCL描述的服务交互行为规约，该规约描述了用户在使用服务的外部接口所提供的功能时必须遵循的规则。本文采用扩展标号变迁系统(ExtendedLabeled Transition System,ELTS)对服务行为进行形式化建模，ELTS是在标号变迁系统(LabeledTransition System，LTS)基础上添加语义约束信息而得到的，弥补了LTS描述数据流方面的不足。文章首先给出从序列图综合服务行为模型ELTS的算法，接着讨论了基于ELTS的形式化测试的相关理论：本文对传统的基于LITS的测试用例生成算法加以改进，提出一种新的基于ELTS生成具有良好测试覆盖的测试用例的算法，用于测试服务的实现是否与交互行为规约相一致。