Skip to Main Content
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.