期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于多样性SAT求解器和新颖性搜索的软件产品线测试
1
作者
向毅
黄翰
+1 位作者
罗川
杨晓伟
《软件学报》
EI
CSCD
北大核心
2024年第6期2821-2843,共23页
软件产品线测试是一项非常具有挑战性的工作.基于相似性的测试方法通过提升测试集的多样性以达到提高测试覆盖率和缺陷检测率的目的.因其具有良好的可拓展性和较好的测试效果,目前已成为软件产品线测试的重要手段之一.在该测试方法中,...
软件产品线测试是一项非常具有挑战性的工作.基于相似性的测试方法通过提升测试集的多样性以达到提高测试覆盖率和缺陷检测率的目的.因其具有良好的可拓展性和较好的测试效果,目前已成为软件产品线测试的重要手段之一.在该测试方法中,如何产生多样化的测试用例和如何维护测试集的多样性是两个关键问题.针对以上问题,提出一种基于多样性可满足性(SAT)求解器和新颖性搜索(novelty search,NS)的软件产品线测试算法.具体地,所提算法同时采用两类多样性SAT求解器产生多样化的测试用例.特别地,为了改善随机局部搜索SAT求解器的多样性,提出一种基于概率向量的通用策略产生候选解.此外,为同时维护测试集的全局和局部多样性,设计并运用两种基于NS算法思想的归档策略.在50个真实软件产品线上的消融和对比实验验证多样性SAT求解器和两种归档策略的有效性,以及所提算法较其他主流算法的优越性.
展开更多
关键词
软件产品
线
测试
可满足性求解器
新颖性搜索
下载PDF
职称材料
基于框架的软件产品线测试方法研究
2
作者
李琼
王志刚
袁敏
《计算机时代》
2007年第9期8-9,16,共3页
分析了基于框架的软件产品线测试方法、当前的状况以及相关的自动化测试工具,为确保软件产品线的可靠性以及促使软件生产在时间、成本和质量方面获得显著的改善提供了有力支持。
关键词
软件产品
线
测试
面向对象的
软件
测试
V模型
自动化工具支持
下载PDF
职称材料
题名
基于多样性SAT求解器和新颖性搜索的软件产品线测试
1
作者
向毅
黄翰
罗川
杨晓伟
机构
华南理工大学软件学院
北京航空航天大学软件学院
出处
《软件学报》
EI
CSCD
北大核心
2024年第6期2821-2843,共23页
基金
广东省科技攻关重点项目(2020B0303300001)
2018–2019年度广东省“新一代人工智能”重大项目(2020AAA0108404)
+3 种基金
国家自然科学基金(61906069,62276103,62202025,61876207)
广东省基础与应用基础研究基金(2019A1515011700,2020A1515010696,2022A1515011491)
中央高校基本科研业务费专项资金(2020ZYGXZR014)
广东省财税大数据重点实验室开放基金(2022kyc021)。
文摘
软件产品线测试是一项非常具有挑战性的工作.基于相似性的测试方法通过提升测试集的多样性以达到提高测试覆盖率和缺陷检测率的目的.因其具有良好的可拓展性和较好的测试效果,目前已成为软件产品线测试的重要手段之一.在该测试方法中,如何产生多样化的测试用例和如何维护测试集的多样性是两个关键问题.针对以上问题,提出一种基于多样性可满足性(SAT)求解器和新颖性搜索(novelty search,NS)的软件产品线测试算法.具体地,所提算法同时采用两类多样性SAT求解器产生多样化的测试用例.特别地,为了改善随机局部搜索SAT求解器的多样性,提出一种基于概率向量的通用策略产生候选解.此外,为同时维护测试集的全局和局部多样性,设计并运用两种基于NS算法思想的归档策略.在50个真实软件产品线上的消融和对比实验验证多样性SAT求解器和两种归档策略的有效性,以及所提算法较其他主流算法的优越性.
关键词
软件产品
线
测试
可满足性求解器
新颖性搜索
Keywords
software product line testing
satisfiability solver
novelty search
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于框架的软件产品线测试方法研究
2
作者
李琼
王志刚
袁敏
机构
湖南师范大学数学与计算机科学学院
出处
《计算机时代》
2007年第9期8-9,16,共3页
文摘
分析了基于框架的软件产品线测试方法、当前的状况以及相关的自动化测试工具,为确保软件产品线的可靠性以及促使软件生产在时间、成本和质量方面获得显著的改善提供了有力支持。
关键词
软件产品
线
测试
面向对象的
软件
测试
V模型
自动化工具支持
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于多样性SAT求解器和新颖性搜索的软件产品线测试
向毅
黄翰
罗川
杨晓伟
《软件学报》
EI
CSCD
北大核心
2024
0
下载PDF
职称材料
2
基于框架的软件产品线测试方法研究
李琼
王志刚
袁敏
《计算机时代》
2007
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
