带数组和循环的路径测试数据自动生成技术研究

计算机科学 ›› 2008, Vol. 35 ›› Issue (7): 274-276.

带数组和循环的路径测试数据自动生成技术研究

陈继锋

湖南涉外经济学院计算机学部,长沙410205

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
国家863高技术研究发展计划基金项目（2003AA1Z2610）,湖南省教育厅资助科研项目（07A034）.

CHEN Ji-feng （Department of Computer, Hunan International Economics University, Changsha 410205, China）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 提出了一种新的带数组和循环的路径测试数据自动生成的方法。该方法只考虑数组中与路径中谓词函数有关的数组元素，将循环中的同一变量名在每一次执行时用不同的变量参数来替代，从而较好地解决了路径中数组循环有效处理的问题。为有效、简单地自动生成测试数据，建立了谓词函数关于输入变量的线性约束系统。当谓词函数为线性表达式时，不需要计算其线性算术表示，仅计算非线性函数谓词函数的线性算术表示，且不需计算路径中的谓词片和确定输入依赖集，以及构造谓词函数关于输入变量增量的线性约束系统。理论分析和实例验证该方法具有简单、直观、有效

关键词: 数组和循环测试数据谓词函数线性算术表示

Abstract: A new approach is proposed for path-based automatic test data generation with arrays and Imps. The approach, in which only the array elements related to the branch predicates on the path is selected and all branch predicates on the path are simutaneously

Key words: Arrays and loops,Test data, Predicate function, Linear arithmetic representation

陈继锋. 带数组和循环的路径测试数据自动生成技术研究[J]. 计算机科学, 2008, 35(7): 274-276. https://doi.org/

CHEN Ji-feng （Department of Computer, Hunan International Economics University, Changsha 410205, China）. [J]. Computer Science, 2008, 35(7): 274-276. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed