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

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.