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: l)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.