论文部分内容阅读
随着面向服务计算的迅速发展, Web服务测试扮演着越来越重要的角色, 尤其是在Web服务动态发现和组合的过程中, 通过对第三方提供的服务进行自动测试已成为一个研究热点.近年来, 从Web 服务的形式化代数规约自动生成测试用例和自动检验测试结果的正确性等方面的研究都取得了实质性进展.但是, 由于Web服务接口的多样性, 服务调用方式不一致, 如何将测试用例自动地转换成对第三方Web服务的测试性调用请求是一个尚未解决的技术难点, 已成为完成Web服务自动测试的主要障碍之一.以现有的研究工作为基础, 在分析主流