Towards Conformance Testing of Choreography Based on Scenario

Abstract

Web service choreography specifies the interaction among multiple participant, aiming to achieve common business goals. An issue is to check for the conformance of the implementation with reference to the choreography specification. To achieve that, we seek to develop software tools and a methodology to enable conformance testing of choreography. In this paper, we present our first step in that direction. Particularly, we reduce choreography scenario in order to obtain effective testing scenarios, which will greatly decrease the cost of testing. Concretely, based on XML Schema type definition of a choreography scenario, we partition XML Schema type into subtypes, which will be transformed into the input model of combinatorial tool Cascade for generating a set of combinations of variable values. The output of Cascade will be transformed to generate reduced scenarios for testing. Moreover, a purchase order choreography example is presented to demonstrate the reduction process of choreography scenarios, and a tool has been developed for supporting automatic implementation of the testing scenarios reduction.

Choreography Scenario-Based Test Data Generation

“…In the previous studies [1], we have introduced an example of purchase order choreography scenario and XML Schema type definition for purchase order, which will be used again for demonstrating the process of generation test data.…”

“…For each test case, we finally combine the data value with corresponding modified tree, and get a set of XML instances. The following is one of XML instance for purchaseOrder type defined in [1]. <?xml version="1.0" encoding="UTF-8"?> <purchaseOrder> <coupon> <cashback>1</cashback> <cashback>1</cashback> </coupon> <address>bjut001</address> <goods> <goodsName>aabbc</goodsName> <goodsNum>1</goodsNum> <goodsPrice>99</goodsPrice> </goods> <goods> <goodsName>aabbccdd</goodsName> <goodsNum>1</goodsNum> <goodsPrice>50</goodsPrice> </goods> </purchaseOrder>…”

“…In a previous preliminary exploration [1], we partitioned XML Schema type into subtypes, and presented the definition of XML Schema type tree. Moreover, we use combinatorial tool Cascade [2] …”