论文部分内容阅读
解析Web服务的WSDL文件，提取出相互独立的功能场景，以及各场景的条件-事件组合。对该条件-事件组合首先进行一致性分析，如果分析得到错误则返回错误信息，如果分析正确则继续对条件-事件组合进行完整性分析。根据完整性分析补充缺少的条件-事件组合，利用覆盖场景算法对补充的条件-事件组合进行合并，最终形成所有有效的场景。根据该场景的各个条件-事件组合生成测试用例。