期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种新的基于模拟退火的测试用例生成与约简算法
被引量：
8
1
作者
王博
王曙燕
《计算机应用与软件》
CSCD
北大核心
2013年第2期78-81,共4页
测试数据生成是组合测试的一个关键问题。提出一种基于贪心算法和模拟退火的组合测试用例约简算法,可以大幅约简成对组合测试用例的生成。分别采用爬山法、一般模拟退火算法和约简模拟退火算法对成对组合测试用例生成进行比较,实验表明...
测试数据生成是组合测试的一个关键问题。提出一种基于贪心算法和模拟退火的组合测试用例约简算法,可以大幅约简成对组合测试用例的生成。分别采用爬山法、一般模拟退火算法和约简模拟退火算法对成对组合测试用例生成进行比较,实验表明所提出的模拟退火算法有较好的运行效率和约简效果。
展开更多
关键词
组合测试
测试用例生成
成对测试
模拟退火
在线阅读
下载PDF
职称材料
基于程序变异的Simulink模型测试方法
被引量：
2
2
作者
周艺斌
殷永峰
+1 位作者
李骁丹
王明威
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2015年第3期391-397,共7页
为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的...
为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的情况下,该组变异算子集能够有效减少变异模型的生成数量,从而降低测试开销.其次,设计了一种基于搜索的Simulink模型变异测试用例生成方法,该方法将变异模型的测试用例生成问题转换为目标函数极小化问题,通过模拟退火算法对目标函数寻优,最终搜索出能够杀死该变异模型的测试用例.最后,将该方法应用于典型案例,验证了方法的正确性和有效性.
展开更多
关键词
软件测试
程序变异
Simulink模型测试
测试用例生成
模拟退火算法
在线阅读
下载PDF
职称材料
题名
一种新的基于模拟退火的测试用例生成与约简算法
被引量：
8
1
作者
王博
王曙燕
机构
西安邮电学院计算机学院
出处
《计算机应用与软件》
CSCD
北大核心
2013年第2期78-81,共4页
基金
国家自然科学基金项目(61050 003)
陕西省教育厅自然科学基金项目(09JK727
11JK1037)
文摘
测试数据生成是组合测试的一个关键问题。提出一种基于贪心算法和模拟退火的组合测试用例约简算法,可以大幅约简成对组合测试用例的生成。分别采用爬山法、一般模拟退火算法和约简模拟退火算法对成对组合测试用例生成进行比较,实验表明所提出的模拟退火算法有较好的运行效率和约简效果。
关键词
组合测试
测试用例生成
成对测试
模拟退火
Keywords
software testing test case generation pairwise testing simulated annealing
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于程序变异的Simulink模型测试方法
被引量：
2
2
作者
周艺斌
殷永峰
李骁丹
王明威
机构
北京航空航天大学可靠性与系统工程学院
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2015年第3期391-397,共7页
基金
航空科学基金资助项目(20095551025)
中央高校基本科研业务费专项资金资助项目(YWF-11-03-Q-114)
文摘
为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的情况下,该组变异算子集能够有效减少变异模型的生成数量,从而降低测试开销.其次,设计了一种基于搜索的Simulink模型变异测试用例生成方法,该方法将变异模型的测试用例生成问题转换为目标函数极小化问题,通过模拟退火算法对目标函数寻优,最终搜索出能够杀死该变异模型的测试用例.最后,将该方法应用于典型案例,验证了方法的正确性和有效性.
关键词
软件测试
程序变异
Simulink模型测试
测试用例生成
模拟退火算法
Keywords
software
testing
program mutation
Simulink model
testing
test
case
generation
algorithmof
simulated
annealing
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种新的基于模拟退火的测试用例生成与约简算法
王博
王曙燕
《计算机应用与软件》
CSCD
北大核心
2013
8
在线阅读
下载PDF
职称材料
2
基于程序变异的Simulink模型测试方法
周艺斌
殷永峰
李骁丹
王明威
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2015
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
