期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种基于路径的测试数据自动生成算法
被引量:
5
1
作者
陈继锋
朱利
+1 位作者
沈钧毅
陈玲
《控制与决策》
EI
CSCD
北大核心
2005年第9期1065-1068,共4页
提出了一种新的基于路径测试数据自动生成的算法.该算法将路径中的线性谓词函数直接作为线性算术表示来构造谓词函数关于输入变量的线性约束,仅当谓词函数是输入变量的非线性函数时,才计算其线性算术表示.因而不必计算所有谓词函数的线...
提出了一种新的基于路径测试数据自动生成的算法.该算法将路径中的线性谓词函数直接作为线性算术表示来构造谓词函数关于输入变量的线性约束,仅当谓词函数是输入变量的非线性函数时,才计算其线性算术表示.因而不必计算所有谓词函数的线性算术表示,也不必计算谓词片和确定输入依赖集,以及构造谓词函数关于输入变量的增量的线性约束.理论分析和实例证明,该算法具有简单、容易、有效且计算量小等特点.
展开更多
关键词
谓词函数
线性约束
线性算术表示
输入变量
下载PDF
职称材料
题名
一种基于路径的测试数据自动生成算法
被引量:
5
1
作者
陈继锋
朱利
沈钧毅
陈玲
机构
西安交通大学计算机软件研究所
西安交通大学软件学院
长安大学信息工程学院
出处
《控制与决策》
EI
CSCD
北大核心
2005年第9期1065-1068,共4页
基金
国家863高技术研究发展计划基金项目(2003AA1Z2610)
文摘
提出了一种新的基于路径测试数据自动生成的算法.该算法将路径中的线性谓词函数直接作为线性算术表示来构造谓词函数关于输入变量的线性约束,仅当谓词函数是输入变量的非线性函数时,才计算其线性算术表示.因而不必计算所有谓词函数的线性算术表示,也不必计算谓词片和确定输入依赖集,以及构造谓词函数关于输入变量的增量的线性约束.理论分析和实例证明,该算法具有简单、容易、有效且计算量小等特点.
关键词
谓词函数
线性约束
线性算术表示
输入变量
Keywords
Predicate function t
linear
constrain
linear arithmetic representation
,
input variable
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种基于路径的测试数据自动生成算法
陈继锋
朱利
沈钧毅
陈玲
《控制与决策》
EI
CSCD
北大核心
2005
5
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部