基于区间算法的软件测试数据生成方法

软件测试过程中经常需要对大量的数值计算模块进行穷举测试，传统的软件测试方法就显露出了不足与局限。该文采用区间算法生成测试数据，比较了采用区间算法的软件测试方法和传统的软件测试方法，结果表明，区间代数方法很好地解决了传统测试方法不能解决的问题，发现程序代码中可能的计算异常，判断能否给出程序代码输出变量的上限范围和是否存在不可能达到的分支。

Software Test Data Generation Method Based on Interval Algorithm

The massive values computation module needs exhaustion tests in the software test. Insufficiency and limitation exist in traditional software test method. This paper produces test data by using interval algorithm and comparison is presented between interval algorithm test method and the traditional software test method. Conclusion indicates the interval algorithm can solve the problem that the traditional one can not, such as finding possible computation exception of program and judging whether it can present the upper limit scope of output variable or whether it has any branch hard to achieve.