| 组合服务控制流测试 |
| |
| 引用本文： | 余莹,金茂忠,黄宁.组合服务控制流测试[J].北京航空航天大学学报,2009,35(1):117-121. |
| |
| 作者姓名： | 余莹 金茂忠 黄宁 |
| |
| 作者单位： | 北京航空航天大学计算机学院,北京,100191;北京航空航天大学工程系统工程系,北京,100191 |
| |
| 基金项目： | 国家十一五国防预研资助项目 |
| |
| 摘 要： | 结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.
|
| 关 键 词： | 软件测试 组合服务 控制流 Web服务本体语言 线性时态逻辑 |
| 收稿时间： | 2008-03-11 |
Testing control flow of composite service |
| |
| Yu Ying,Jin Maozhong,Huang Ning.Testing control flow of composite service[J].Journal of Beijing University of Aeronautics and Astronautics,2009,35(1):117-121. |
| |
| Authors: | Yu Ying Jin Maozhong Huang Ning |
| |
| Institution: | 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 |
| |
| 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 ... |
| |
| Keywords: | software testing composite service control flow OWL-S(Web ontology language for services) linear temporal logic |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《北京航空航天大学学报》浏览原始摘要信息 |
| 点击此处可从《北京航空航天大学学报》下载免费的PDF全文 |
|
