M. Lallali, Fatiha Zaïdi, A. Cavalli, Iksoon Hwang
{"title":"Automatic Timed Test Case Generation for Web Services Composition","authors":"M. Lallali, Fatiha Zaïdi, A. Cavalli, Iksoon Hwang","doi":"10.1109/ECOWS.2008.14","DOIUrl":null,"url":null,"abstract":"In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method to test composite Web service described in BPEL. As a first step, the BPEL specification is transformed into an Intermediate Format (IF) model that is based on timed automata, which enables modeling of timing constraints.We defined a conformance relation between two timed automata(of implementation and specification) and then proposed an algorithm to generate test cases. Test case generation is based on simulation where the exploration is guided by test purposes. The proposed method was implemented in a set of tools which were applied to a common Web service as a case study.","PeriodicalId":227761,"journal":{"name":"2008 Sixth European Conference on Web Services","volume":"19 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"59","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 Sixth European Conference on Web Services","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ECOWS.2008.14","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 59
Abstract
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method to test composite Web service described in BPEL. As a first step, the BPEL specification is transformed into an Intermediate Format (IF) model that is based on timed automata, which enables modeling of timing constraints.We defined a conformance relation between two timed automata(of implementation and specification) and then proposed an algorithm to generate test cases. Test case generation is based on simulation where the exploration is guided by test purposes. The proposed method was implemented in a set of tools which were applied to a common Web service as a case study.
为了指定Web服务的组合，一个国际标准联盟将WSBPEL定义为一种编排语言。在本文中，我们提出了一种测试用BPEL描述的组合Web服务的方法。作为第一步，BPEL规范被转换为基于时间自动机的中间格式(Intermediate Format, IF)模型，该模型支持对时间约束进行建模。定义了两个时间自动机(实现自动机和规范自动机)的一致性关系，提出了一种生成测试用例的算法。测试用例的生成是基于模拟的，其中探索是由测试目的指导的。提出的方法在一组工具中实现，这些工具作为案例研究应用于一个公共Web服务。
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
