WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition

Cavalli, Ana; Cao, Tien-Dung; Mallouli, Wissam; Martins, Eliane; Sadovykh, Andrey; Salva, Sébastien; Zaïdi, Fatiha

doi:10.1109/icws.2010.24

Cited by 18 publications

(17 citation statements)

References 11 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%

“…Regression testing is approached considering minimization (Li et al, 2008b) and prioritization (Mei et al, 2009c). Approaches have been proposed to support passive testing (Benharref et al, 2006;Morales et al, 2010;Cavalli et al, 2010). There is also an initial interest in testing dynamic orchestrations (Kattepur et al, 2011;Hummer et al, 2011Hummer et al, , 2013.…”

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 2 more Smart Citations

Model based testing of service oriented applications

Endo¹

View full text Add to dashboard Cite

Section: Classification Of Service Testing Approachesmentioning

confidence: 99%

Section: Classification Of Service Testing Approachesmentioning

confidence: 99%

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

“…Model-based testing approach is capable of generating suitable test specifications. It has also been used in other WS environments [16]. We describe the process of how the abstract transaction model can be used to generate test scenarios for WS transactions.…”

Section: Model-based Testingmentioning

confidence: 99%

Testing the reliability of web services transactions in cooperative applications

Casado

Tuya

Younas

2012

Proceedings of the 27th Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

Web services provide a distributed computing environment wherein service providers and consumers can dynamically interact and cooperate on various tasks in different domains such as ebusiness, education, government and healthcare. Transaction management technology is fundamental to building automated and reliable web services applications. Various models and protocols have been developed for web services transactions. However, they give no attention to the key issue of testing the web services transactions. We propose a novel abstract model for dynamically modeling distinct web services transaction standards and test their reliability in terms of failures. The proposed approach exploits model-based testing techniques in order to automatically generate test scenarios for web service transactions.

show abstract

“…We exploit the model-based testing approach that encodes the intended behaviour of a system and the behaviour of its environment. Model-based testing is capable of generating suitable test cases and it has also been successfully used in others WS domains [20]. In order to evaluate our approach we have designed a test process which comprises test design, test implementation, test execution and outcome evaluation.…”

Section: Test Design and Execution Processesmentioning

confidence: 99%

Evaluating the effectiveness of the abstract transaction model in testing Web services transactions

Casado

Tuya

Younas

2012

Concurrency and Computation

View full text Add to dashboard Cite

SUMMARYWeb services transactions are used to build efficient and reliable web applications which are distributed across the Internet and are accessed by multiple simultaneous users. Current research develops various models and protocols in order to improve the performance and reliability of web services transactions. However, there is little research on testing the different models and protocols of web services transactions. This paper presents an abstract transaction model that patterns different web services transactions standards. This model is capable of deriving concrete models in order to automatically generate test cases for different web services transactions standards. The proposed model is implemented as a prototype system and is evaluated using a case of the Jboss Transaction. The evaluation shows that the proposed system has the capability to automatically generate test cases and detect possible failures of transactions running under different web services transactions standards.KEY WORDS: transactions; web services; testing, failure detection, reliability; INTRODUCTIONWeb services (WS) are software applications which provide uniform interfaces for interaction and communication with other web applications in a dynamic manner. They also provide compositional facilities such that different web services can be composed to enact an integrated service that provides enhanced functionalities. Web services transactions (or WS Transactions) are defined as sequences of operations that are executed under certain constraints in order to maintain application correctness and data consistency. The fundamental principle of WS Transactions is to provide web services applications with reliability and efficiency. In order to ensure reliable execution of web services it is crucial that their activities are modelled as transactions such that they achieve an mutually agreed outcome [1]. In [6,7] we proposed the Abstract Transaction Model (AbTM) for testing the WS Transactions. AbTM serves as a template for modelling different WS Transactions standards. AbTM identifies the different roles involved in a WS Transaction, the relationship between them and also models the behaviour of each one during the transaction life cycle. In this paper we extend the AbTM in order to automatically generate test cases for WS Transactions. We also evaluate the AbTM through the development of a prototype system using a case study of the Jboss Transaction [8]. The novel features and contributions of the work presented in this paper are as follows:(i) To automatically generate the abstract test cases and map them to different WS Transactions standard (such as BTP, WS-BA, etc).(ii) To automatically compare the expected and actual outcomes in order to identify failures in WS Transactions running under different WS Transactions standards.(iii) To perform testing and evaluation using the standard case study of Night Out, which is provided by Jboss [8] in their implementation of the WS-BA standard.The rest of the paper is organized as follows. Secti...

show abstract

WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition

Cited by 18 publications

References 11 publications

Model based testing of service oriented applications

Model based testing of service oriented applications

Testing the reliability of web services transactions in cooperative applications

Evaluating the effectiveness of the abstract transaction model in testing Web services transactions

Contact Info

Product

Resources

About