基于模型检测反例的Web服务测试例自动生成算法
模型检测技术与Web服务测试相结合，已逐渐成为Web服务领域的热点话题。为了保障Web服务的可信性，提出一种基于模型检测结果的Web服务测试方法。采用模型检测工具EVALUATOR的输出结果作为测试用例选择的依据，并给出具体的测试用例选择方案和实现算法。给出Web服务的WSDL描述到TTCN-3抽象测试套的自动转换流程及转换算法。最后，结合一个简单的WebService测试实例，验证此方法的可行性，并进一步说明了基于TTCN-3的Web服务测试流程。
Web服务测试 黑盒测试语言 模型检测 抽象测试套 自动生成算法
魏莹 赵会群 王文文
北方工业大学信息工程学院 北京 100041
国内会议
长春
中文
101-106
2011-10-28（万方平台首次上网日期，不代表论文的发表时间）