论文部分内容阅读
模型检测技术与Web服务测试相结合，已逐渐成为Web服务领域的热点话题。为了保障Web服务的可信性，提出一种基于模型检测结果的Web服务测试方法。采用模型检测工具EVALUATOR的输出结果作为测试用例选择的依据，并给出具体的测试用例选择方案和实现算法。给出Web服务的WSDL描述到TTCN-3抽象测试套的自动转换流程及转换算法。最后，结合一个简单的WebService测试实例，验证此方法的可行性，并进一步说明了基于TTCN-3的Web服务测试流程。