Petri Nets Based Test Case Selection Model for Service Composition in Cloud

Author

Xiaoyun Zhang ; Chanle Wu ; Su Xue

Author_Institution

Sch. of Comput., Wuhan Univ., Wuhan, China

fYear

2013

fDate

29-30 June 2013

Firstpage

914

Lastpage

917

Abstract

Cloud computing has attracted much interest recently from both industry and academic. More and more Internet applications are moving to the cloud environment. This paper proposes a Petri nets based test case selection model for service composition in cloud, Petri nets are used to establish testing model for basic services, components, test cases and other components. Aspect-orientation is used to weave testing crosscutting concerns of cloud application, which includes component testing concern and testing concern of service composition. Based on this, the test cases selection model for service composition is given, and the operation semantics and related theories of Petri nets help prove its effectiveness and feasibility.

Keywords

Petri nets; cloud computing; program testing; Internet applications; Petri nets based test case selection model; aspect-orientation; cloud application; cloud computing; cloud service composition; component testing concern; weave testing crosscutting concerns; Automation; Manufacturing; Petri nets; Service composition; aspect orientation; test case; testing model;

fLanguage

English

Publisher

ieee

Conference_Titel

Digital Manufacturing and Automation (ICDMA), 2013 Fourth International Conference on

Conference_Location

Qingdao

Type

conf

DOI

10.1109/ICDMA.2013.215

Filename

6598138