Automatic Timed Test Case Generation for Web Services Composition

Lallali, Mounir; Zaïdi, Fatiha; Cavalli, Ana; Hwang, In-Sun

doi:10.1109/ecows.2008.14

Cited by 33 publications

(20 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There is a particular effort on researching test case generation handling different aspects, such as WS-BPEL specific structures (Zheng et al, 2007;Liu et al, 2008;Hou et al, 2009;Bentakouk et al, 2009;Ni et al, 2011), concurrency (Yan et al, 2006;Li et al, 2008b), timing properties (Lallali et al, 2008;Cavalli et al, 2010;Gao and Li, 2011), run-time composition (Corradini et al, 2008), and testing architecture (Escobedo et al, 2010). Test generation has also been supported by using model checking (De Angelis et al, 2010;Dong et al, 2010).…”

Section: Classification Of Service Testing Approachesmentioning

confidence: 99%

“…These techniques are: Labeled Transition System (LTS) and extensions (Mei et al, 2009a;Bertolino et al, 2004Bertolino et al, , 2008Frantzen et al, 2008;Bentakouk et al, 2009;Wieczorek et al, 2009Wieczorek et al, , 2010Rabhi, 2012;Escobedo et al, 2010;De Angelis et al, 2010), timed automaton and extensions (Lallali et al, 2008;Morales et al, 2010;Cavalli et al, 2010;Gao and Li, 2011), Stream X-Machine (SXM) (Dranidis et al, 2007;Ramollari et al, 2009;Kourtesis et al, 2010;Dranidis et al, 2010), extensions of FSMs (Benharref et al, 2006;Keum et al, 2006;Dong et al, 2010), finite state automaton (Baldoni et al, 2005), and Web Service Automaton (WSA) (Zheng et al, 2007). The modeling techniques are used to describe the control flow, data flow, timing, and stochastic properties.…”

Section: Modeling Techniquesmentioning

confidence: 99%

See 1 more Smart Citation

Model based testing of service oriented applications

Endo¹

View full text Add to dashboard Cite

Section: Classification Of Service Testing Approachesmentioning

confidence: 99%

Section: Modeling Techniquesmentioning

confidence: 99%

Model based testing of service oriented applications

Endo¹

View full text Add to dashboard Cite

“…Different models have been proposed to support behavioural service discovery, verification, testing, composition or adaptation [4,9,10,11]. They mainly differ in their formal grounding (Petri nets, transition systems, or process algebra), and the subset of service languages being supported.…”

Section: O and Hd(e) = E For Any Other E In Evmentioning

confidence: 99%

A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems

Bentakouk

Poizat

Zaïdi

2009

Testing of Software and Communication Systems

View full text Add to dashboard Cite

Abstract. The pre-eminent role played by software composition, and more particularly service composition, in modern software development, together with the complexity of workflow languages such as WS-BPEL have made composite service testing a topical issue. In this article we contribute to this issue with an automatic testing approach for WS-BPEL orchestrations. Compared to related work, we support WS-BPEL data computations and exchanges, while overcoming the consequential state explosion problem. This is achieved through the use of symbolic transition system models and their symbolic execution. Throughout the article, we illustrate our approach on a realistic medium-size example.

show abstract

“…At this step, formal descriptions using finite state models can essentially help as there are many tools which allow automatic code generation (see, for example, Mtsweni, 2012). A developed implementation is then verified and tested for checking that the implementation conforms to its specification (TienDung, Felix, & Castanet, 2010;Lallali, et al, 2008;Honghao & Ying, 2011). Other properties of the implementation such as security and robustness can be also tested at this level.…”

Section: The Implementation Stepmentioning

confidence: 99%

Using Finite State Models for Quality Evaluation at Web Service Development Steps

Kondratyeva

Kushik

Cavalli

et al. 2013

STSC

Self Cite

View full text Add to dashboard Cite

This paper presents a short study on evaluating the web service quality based on finite state models using the wellknown metrics of Quality of Service (QoS) and Quality of Experience (QoE). These metrics represent objective and subjective assessments. The development of any web service involves several steps and the final values of the service QoS and QoE can be essentially improved/deteriorated based on the quality reached at each development step. In this paper, five service development steps are considered: those are requirements specification, provisioning, composition, implementation, and usage and management. At each step different finite state models for refining the service quality estimation are utilized. A running example of a vacation planner service illustrates the application of finite state models to improve the accuracy of the QoS and QoE evaluation. Keywords: web service; quality of service (QoS); quality of experience (QoE); finite state models; attribute/parameter; composite service quality.

show abstract

Automatic Timed Test Case Generation for Web Services Composition

Cited by 33 publications

References 5 publications

Model based testing of service oriented applications

Model based testing of service oriented applications

A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems

Using Finite State Models for Quality Evaluation at Web Service Development Steps

Contact Info

Product

Resources

About