基于编排场景的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.supplyVar = true ∧ [bankRequsetInfoVar instanceof requestBankInforType] }; { bankIDRequestVar instanceof requestBankInforType ∧ “hasDeadLinePassed(deadLineTime,Bank) == false”}; Facet约束 限定（restriction）用于为 XML 元素或者属性定义可接受的值。对 XML 元素的限定被称为 facet 。 故我们考虑为类型树的每一个叶子节点增加限定的信息 Enumeration 枚举 Pattern 模式 maxLength minLength 字符串长度 maxInclusive minInclusive 数值型元素的值 xs:element name=purchaseOrder xs:complexType xs:sequence xs:element name=goods minOccurs=“2 maxOccurs=“2 xs:complexType xs:sequence …… xs:element name=price xs:simpleType xs:restriction base=xs:integer xs:minInclusive value=0/ xs:maxInclusive value=1000/ /xs:restriction /xs:simpleType /xs:element /xs:sequence /xs:complexType /xs:element …… xs:element name= address xs:simpleType xs:restriction base=xs:string xs:pattern value=CN([a-z])*/ /xs:restriction /xs:simpleType /xs:element /xs:sequence /xs:complexType /xs:element 测试数据实例 bankInfo xmlns:xsi=/2001/XMLSchema-instance xsi:noNamespaceSchemaLocation= bankInfo.xsd ICBC / bankInfo purchaseOrder xmlns:xsi=/2001/XMLSchema-instance xsi:noNamespaceSchemaLocation= purchaseOrder.xsd goods goodsName AABB goodsName / goodsNum 1 goodsNum / price 1 price / /goods goods goodsName BBCC goodsName / goodsNum 1 goodsNum / price 45 price / /goods a