Model-based generation of testbeds for Web Services

被引:0
作者
Bertolino, Antonia [1 ]
De Angelis, Guglielmo [1 ]
Frantzen, Lars [1 ]
Polini, Andrea [1 ]
机构
[1] CNR, Ist Sci & Tecnol Informaz Alessandro Faedo, Pisa, Italy
来源
TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS | 2008年 / 5047卷
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
A Web Service is commonly not an independent software entity, but plays a role in some business process. Hence, it depends on the services provided by external Web Services, to provide its own service. While developing and testing a Web Service, such external services are not always available, or their usage comes along with unwanted side effects like, e.g., utilization fees or database modifications. We present a model-based approach to generate stubs for Web Services which respect both an extra-functional contract expressed via a Service Level Agreement (SLA), and a functional contract modeled via a state machine. These stubs allow a developer to set up a testbed over the target platform, in which the extra-functional and functional behavior of a Web Service under development can be tested before its publication.
引用
收藏
页码:266 / 282
页数:17
相关论文
共 24 条
[1]  
Alur R., 1999, Computer Aided Verification. 11th International Conference, CAV'99. Proceedings (Lecture Notes in Computer Science Vol.1633), P8
[2]  
[Anonymous], WEB SERVICES CONCEPT
[3]  
[Anonymous], WEB SERVICE DEFINITI
[4]  
[Anonymous], P INT WORKSH SOFTW P
[5]  
BASHA SJ, 2002, AXIS NEXT GENERATION
[6]  
BERTOLINO A, 2007, LNCS, V4607
[7]  
BRIONES LB, 2005, LNCS, V3395
[8]  
CLARKE D, 2002, LNCS, V2280
[9]  
DENARO G, 2004, P 4 INT WORKSH SOFTW, P94, DOI DOI 10.1145/974044.974059
[10]  
Frantzen L, 2006, LECT NOTES COMPUT SC, V4262, P40