论文部分内容阅读
Web服务是松散耦合的，可复用的软件模块，是一种在XML基础上发展起来的分布式计算技术，是一种新的网络服务，其目的是为在Internet上不同操作系统、硬件平台和编程语言间集成应用软件提供支持，方便应用的实现和发布。随着Web服务的发展和广泛应用，人们发现Web服务的真正价值在于通过服务组合(Composition)使业务合作伙伴之间可以进行电子商务对话，提供增值服务的能力。在Web服务组合中的基本Web服务可能由不同的组织提供，为确保多个Web服务能成功地协作完成一项复杂的业务，基于编排(Choreography)的Web服务组合受到广泛关注。编排是从全局的观点描述一个业务流程(BusinessProcess)的多个参与方(Participant)的行为，描述它们之间如何协作配合，从而实现某个共同业务目标的过程。Web服务编排描述语言(Web ServiceChoreography Description Language，简称WS-CDL)是W3C提出的，基于XML的描述语言，可以定义编排中的参与方、变量、变量类型以及编排流程等。 随着人们对编排的关注，基于编排规范的Web服务(组合)开发方法和服务质量(Quality of Service，简称QoS)成为了研究热点，其中如何测试已实现的Web服务与编排规范的相符性(Conformance)以及对编排规范进行QoS分析是值得研究的问题。本文针对这些问题，开展了对编排场景(Scenario)的研究。编排场景定义为各个服务角色的交互序列，描述了各个角色期望的交互行为。通过编排场景，可以生成测试桩和测试数据，从而为最终实现基于编排规范的Web服务相符性测试做准备。 本文的主要贡献： (1)提出了编排路径和场景的形式定义，在形式定义的基础上给出了从WS-CDL编排规范抽取路径的算法，以及从路径转化为场景的算法。 (2)对抽出的场景集合，依据XML-Schema定义的变量类型，对场景中变量的类型进行细化，即去掉由于XML-Schema中指示器(Indicator)造成的变量类型不确定性。然后应用组合测试方法对多个变量的子类型依据强度进行组合，以减少组合后的场景个数，降低最终的测试成本。 (3)在场景的基础上，利用概率模型检查器PRISM对编排的QoS进行分析，主要分析编排场景的执行时间、成功概率和执行代价三方面的QoS属性。