首页|Generating test case specifications of web service composition using model checking

Generating test case specifications of web service composition using model checking

扫码查看
原文链接
  • NETL
  • NSTL
  • 万方数据
  • 维普
Model checking techniques have been widely used in verifying web service compositions to ensure the trustworthiness.However,little research has focused on testing web services.Based on the research of model checking techniques,we propose a model checking based approach for testing web service composition which is described by using the web services choreography description language(WS-CDL).According to worldwide web consortium(W3C)candidate recommendation,the WS-CDL specification provides a language for characterizing interactions between distinct web services using XML.Since the behaviors of web service composition are asynchronous,distributed,low-coupled and platform independent,we employ the guarded automata(GA)model for specifying the composition described in WS-CDL and using the simple promela interpreter (SPIN)model checker for detecting the collaborations of web services.Test cases can be transformed from counterexamples generated by SPIN using adequacy criteria.In this paper we apply the transition coverage criterion for generating counterexamples.To illustrate our approach,we set “E-commerce service system” as an example for demonstrating how test cases can be generated using SPIN for compositions specified in WS-CDL.

model-based testingweb services choregraphy description language(WS-CDL)model checkingsimple promela interpreter(SPIN)test cases

QIAN Ling-li、CHEN Yi-hai

展开 >

School of Computer Engineering and Science, Shanghai University, Shanghai 200072, P.R.China

State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, P.R.China

Open Foundation of State Key Laboratory of Software Engineering国家自然科学基金国家重点基础研究发展规划(973计划)Shanghai Leading Academic Discipline ProjectScience and Technology Commission of Shanghai Municipality

SKLSE20080712609700072007CB310800J5010309DZ2272600

2011

10.1007/s11741-011-0760-3

上海大学学报(英文版)
上海大学

上海大学学报(英文版)

影响因子：0.196
ISSN：1007-6417
年,卷(期)：2011.15(5)
  • 22