北京航空航天大学学报 ›› 2009, Vol. 35 ›› Issue (1): 117-121.

• 论文 • 上一篇    下一篇

组合服务控制流测试

余 莹1, 金茂忠1, 黄 宁2   

  1. 1. 北京航空航天大学 计算机学院, 北京 100191;
    2. 北京航空航天大学 工程系统工程系, 北京 100191
  • 收稿日期:2008-03-11 出版日期:2009-01-31 发布日期:2010-09-16
  • 作者简介:余 莹(1976-),女,吉林长岭人,博士生,fennyyu@126.com.
  • 基金资助:

    国家十一五国防预研资助项目

Testing control flow of composite service

Yu Ying1, Jin Maozhong1, Huang Ning2   

  1. 1. School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100191, China;
    2. Dept. of System Engineering of Engineering Technology, Beijing University of Aeronautics and Astronautics, Beijing 100191, China
  • Received:2008-03-11 Online:2009-01-31 Published:2010-09-16

摘要: 结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.

Abstract: OWL-S (Web ontology language for services) and linear temporal logic were used to investigate formal method of describing composite service flow for testing and analyzing dynamic testing information. OWL-S was used as requirements reference model of composite service. Combination of composite service standard and formal method was adopted. Linear temporal logic was used to describe dynamic semantics of control constructs in OWL-S. Accordingly control flow requirements of composite service was described by a set of linear temporal logic formulae. Besides the existing advantage of OWL-S, the describing method can explicitly express atomic services interaction pattern and the describing result can be used as reference model of testing composite service implementation. Based on the explicit expression and semantic model of linear temporal logic on finite execution traces, dynamic testing information captured during composiste service execution was analyzed to test the correspondence between composite service execution and composite service control flow requirements.

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发