【毕业论文】基于编排场景的web服务相符性测试.pptVIP

因为我们定义的场景中包含了所有交互的类型信息，可以为所以的交互提供确定类型的数据，但在测试中，基于测试策略，只为被测服务作为交互接收方时才生成数据。 * 工具实现过程 * 测试数据生成 Input：精化后的场景 Output：一组测试数据 目的：为场景中被测服务的每一个交互，提供满足约束的数据 * 约束类型 Guard 约束 类型约束 值约束 Facet 约束 Enumeration Pattern maxLength minLength maxInclusive minInclusive * Guard约束 Guard::=guard{R.x operator v} | guard{R.x instanceof I} | guard^guard V::=R.x | expression operator ::= ≠ | = | ≤ | ≥ | | 获得R.x的方式 根据xpath查询语句以及XML Schema定义在xml文档中获得 编排中的XPath 1.0 extension functions * { poVar instanceof purchaseOrderType }; { goodsVar instanceof goodsType }; { supplyVar instanceof supplyType }; {WebShop.sup