-
题名一种基于分支覆盖的测试数据自动生成算法
被引量：2
- 1
-
-
作者
陈继锋
朱利
沈钧毅
王志海
-
机构
西安交通大学计算机软件研究所
西安交通大学计算机软件学院
-
出处
《计算机科学》
CSCD
北大核心
2006年第12期261-264,273,共5页
-
基金
国家863高技术研究发展计划基金项目(2003AA1Z2610)。
-
文摘
通过构造新的程序流图,利用Fibonacci法优化选取路径,为指定的分支生成测试数据。提出了路径测试数据生成代价的概念,并给出了代价的计算方法。当所选路径的分支谓词均为线性表达式时,直接求解线性约束集即可生成测试数据,或判定路径不可行;当分支谓词含有非线性表达式时,利用均差近似导数将非线性函数线性化,通过简单的迭代,亦能容易生成测试数据或判定路径在很大程度上不可行。若所选路径不可行或在很大程度上不可行,则选取新的路径,重复以上过程,直至求出所期望的数据,或无新的路径被选取,给定分支不可达。实例和实验表明,算法可行、有效。
-
关键词
分支覆盖
谓词函数
线性算术表示
-
Keywords
Branch coverage,Predicate function,I,inear arithmetic representation
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名带数组和循环的路径测试数据自动生成技术研究
- 2
-
-
作者
陈继锋
-
机构
湖南涉外经济学院计算机学部
-
出处
《计算机科学》
CSCD
北大核心
2008年第7期274-276,共3页
-
基金
国家863高技术研究发展计划基金项目(2003AA1Z2610)
湖南省教育厅资助科研项目(07A034)
-
文摘
提出了一种新的带数组和循环的路径测试数据自动生成的方法。该方法只考虑数组中与路径中谓词函数有关的数组元素,将循环中的同一变量名在每一次执行时用不同的变量参数来替代,从而较好地解决了路径中数组循环有效处理的问题。为有效、简单地自动生成测试数据,建立了谓词函数关于输入变量的线性约束系统。当谓词函数为线性表达式时,不需要计算其线性算术表示,仅计算非线性函数谓词函数的线性算术表示,且不需计算路径中的谓词片和确定输入依赖集,以及构造谓词函数关于输入变量增量的线性约束系统。理论分析和实例验证该方法具有简单、直观、有效且计算量小等特点。
-
关键词
数组和循环
测试数据
谓词函数
线性算术表示
-
Keywords
Arrays and loops,Test data, Predicate function, Linear arithmetic representation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
TP311.51
[自动化与计算机技术—计算机软件与理论]
-
