中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [2]
新疆理化技术研究所 [1]
采集方式
OAI收割 [3]
_filter
_filter
_filter
筛选
浏览/检索结果:
共3条,第1-3条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
面向路径的测试数据生成框架及应用
期刊论文
OAI收割
微计算机信息, 2010, 期号: 6, 页码: 190-192
作者:
贾松涛
;
张红卫
收藏
|
浏览/下载:15/0
|
提交时间:2012/11/29
软件测试
测试数据自动生成
面向路径的测试
迭代松弛法
基于搜索的面向路径字符串测试数据自动生成方法
期刊论文
OAI收割
计算机辅助设计与图形学学报, 2008, 卷号: 20, 期号: 5, 页码: 671-677
赵瑞莲
收藏
|
浏览/下载:69/4
|
提交时间:2011/06/10
路径测试数据生成
字符串数据
字符串间距离
快速下降搜索算法
搜索算法
面向路径
字符串
测试数据
生成方法
数据自动生成
目标函数
遗传算法
路径处理
经济有效
极小化
成效率
输入
实验
距离
词表Character recognition
Critical path analysis
Data processing
Functions
Genetic algorithms
Theorem proving
软件测试的自动分析工具
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001
王晓旭
收藏
|
浏览/下载:24/0
|
提交时间:2011/03/17
静态分析
路径覆盖
前置条件
不可行路径
测试数据生成
约束求解
扩展的有限状态自动机
首页
上一页
1
下一页
末页