Path-based approach to integration testing

In this paper, we focus on the matching of parameter type and order for integration testing. From the unit testing, we can obtain two outputs: 1)Interface Net that describes ports to receive parameters and to send parameters; 2) Mapping Table that describes the mappings between parameters coming in and parameters going out. To analyze the Interface Net and mappings precisely, we propose a forward slicing technique with symbolic execution to obtain the dependency relation for inputs and outputs. The Interface Net together with Mapping Table will create a Directed Graph, which can be used to generate integration test cases and to check parameter type. Furthermore, a formula is given to calculate the number of test cases. At the same time, the concept called Complexity Degree, is introduced to describe how hard the test going to be.