作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2007, Vol. 33 ›› Issue (23): 57-59,6. doi: 10.3969/j.issn.1000-3428.2007.23.020

• 软件技术与数据库 • 上一篇    下一篇

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

高 月,邵培南,邢洁雯   

  1. (华东计算技术研究所,上海 200233)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-12-05 发布日期:2007-12-05

Software Test Data Generation Method Based on Interval Algorithm

GAO Yue, SHAO Pei-nan, XING Jie-wen   

  1. (East-China Institute of Computer Technology, Shanghai 200233)
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-12-05 Published:2007-12-05

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

关键词: 区间算法, 测试数据, 软件测试

Abstract: 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.

Key words: interval algorithm, test data, software test

中图分类号: