● 摘要
Web服务（Web Services）是一种新兴的分布式计算模型，随着Web服务技术的日益成熟和相关标准的逐渐完善，越来越多实用的Web服务被共享发布到网络上。单个Web服务能够提供的功能有限，但Web服务软件可以通过组合调用已有Web服务实现更为强大的业务功能，加快系统开发的速度。与此相对应的Web服务组合测试成为了研究的热点。本文以描述Web服务软件系统的OWL-S（Ontology Web Language for Service）需求模型为基础，提出了基于需求模型的Web服务软件变异测试方法。主要工作内容包括：（1） 提出了基于OWL-S需求模型的八类变异算子，并将变异算子作用于子Web服务接口方法调用之上，考察程序员对Web服务OWL-S需求模型可能出现的理解偏差，以及对被组合的子Web服务的误用所导致的软件错误，从而有效地减少了变异体的数量，提高了测试效率。（2） 采用AOP技术自动生成变异体。AOP中的pointcut可以很好的定位到子Web服务接口方法的调用处，三种advice方便快捷地生成含有变异信息以及追踪子服务接口方法运行流程的逻辑功能代码，然后与被测目标系统进行编织生成变异体。（3） 扩展FIT（Framework for Integration Testing）集成测试框架作为变异体自动运行框架。将OWL-S需求模型中的子服务组合流程信息作为规则库融入到该框架之中，辅助决定被测试程序是否运行失败。（4） 运用两类测试充分性度量准则评估测试过程。其中子服务接口方法覆盖准则考察某子服务的被测试程度，是对变异体充分度的补充。（5） 在上述四部分内容的基础上，实现一个Web服务软件变异测试原型系统。同时构建相应的Web服务软件实例，应用本文所实现的原型系统进行测试，通过分析测试结果验证本文所述方法的有效性。关键词：Web服务软件, 变异测试, OWL-S需求模型, AOP