Analysis of Input Variable's Influence on Control Condition in Automatic Test

In the process of automatic test case generation in the function call path test, it is important to analysis information of control flow in program, draw the function call graph, and extract control conditions and variables in conditions. However variables in conditions are always not the same as variables in test cases, so it ca't generate accurate and effective test cases for just extracting function call diagram and control conditions. This algorithm can analyze the relationship between different variables, and then get the relationship between input variables and control conditions. The relationship can guide testers choose the suitable and accurate input data as test cases.