基于区间相容技术与GA的测试数据自动生成方法

针对测试数据自动生成完全依赖约束集求解问题（Constraint Solving Problem，CSP）进行求解会导致耗时较大甚至求解不出最终测试用例，以及采用动态GA算法又无法确定变量的最初论域空阃，首次将基于CSP求解与GA的动态算法进行了有机结合，摒弃了二者固有的缺陷，吸取了静态算法对变量论域空间削减速度快的优点。采用eBox区间相容削减标准，过滤变量的论域空间，并在经过削减的空间上采用GA搜索算法自动产生测试数据，应用常变量的逆向推导技术、表达式直接遗传等技术，大幅度地提高了测试数据的生成速度。

An Arithmetic for Automated Test Data Generation Based on Consistency Techniques & GA

With an aim at the constraint solving problem(CSP) of the automated test data generation(ATDA),seeking for solution could result in the fact that the final test case can not be derived with much time consumption, and also,using dynamic GA can not determine the initial domain of variables.Accordingly,the organic combination is first made of the solution based on CSP with GA in such a way that the inhereted defects of the both are discarded and that the advantages of the static algorithm to eliminating the domain of variable at a fast speed can be absorbed.eBox-consistency domain eliminating standared is used to filter the domain of variables,and then GA searching algorithm via the eliminated space is adopted to generate automated test data.Also,the constant variable backward derivation tech and the expression direct genetic tech are used to improve the speed of ATDG by a wide margin.