期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于逐幸存路径处理的测试用例集约简技术
1
作者
霍婷婷
孙强
+1 位作者
丁蕊
夏春艳
《计算机应用研究》
CSCD
北大核心
2023年第1期229-233,共5页
针对基于智能算法的测试用例集约简技术存在的容易陷入局部收敛、过早熟等问题,提出一种基于逐幸存路径处理的测试用例集约简算法,该算法运用逐幸存路径处理算法的顺序网格搜索思路,将测试用例集进行二进制编码,使其构成顺序网格搜索的...
针对基于智能算法的测试用例集约简技术存在的容易陷入局部收敛、过早熟等问题,提出一种基于逐幸存路径处理的测试用例集约简算法,该算法运用逐幸存路径处理算法的顺序网格搜索思路,将测试用例集进行二进制编码,使其构成顺序网格搜索的状态空间,在状态转移阶段将代码覆盖率和测试用例有效执行时间作为分支度量,进而选择分支重量最大的路径作为幸存路径,从而剔除冗余状态,完成测试用例集的约简。实验结果表明,在相同的实验环境下,与其他算法相比,该算法在具有较高冗余率的同时也保证了较高的检错率,在一定程度上降低了软件测试的复杂度,从而提高了软件测试的效率。
展开更多
关键词
测试用例集约简
逐幸存路径处理
分支重量
代码覆盖
率
冗余
率
检错
率
下载PDF
职称材料
基于二分K-means的测试用例集约简方法
被引量:
4
2
作者
汪文靖
冯瑞
《计算机工程》
CAS
CSCD
北大核心
2016年第12期73-77,83,共6页
测试用例集约简是软件测试中的重要研究问题之一,目的是以尽量少的测试用例达到测试目标。为此,提出一种新的测试用例集约简方法。应用二分K-means聚类算法对回归测试的测试用例集进行约简,以白盒测试的路径覆盖为准则,对每个测试用例...
测试用例集约简是软件测试中的重要研究问题之一,目的是以尽量少的测试用例达到测试目标。为此,提出一种新的测试用例集约简方法。应用二分K-means聚类算法对回归测试的测试用例集进行约简,以白盒测试的路径覆盖为准则,对每个测试用例进行量化,使每个用例变成一个点。以黑盒测试的功能需求数作为聚类数,在聚类结果的每一簇中,按照离中心点的距离进行排序,依次从每一簇中选择测试用例,直至满足所有测试需求,得到约简的测试用例集。实验结果表明,该方法能有效地减小测试用例集的规模,降低用例集检错率。
展开更多
关键词
测试用例集约简
软件测试
二分K-means聚类算法
黑盒测试
白盒测试
检错
率
下载PDF
职称材料
汉语文本的电脑校对与人工校对之比较
被引量:
2
3
作者
马敏峰
《中国科技期刊研究》
CSSCI
北大核心
2004年第2期175-178,共4页
简述汉语文本电脑校对的产生与发展,以及校对工作的一般过程与方法。分别从校对的主体和客体、判别依据、工作方式及校对结果等方面对人工校对和电脑校对的特点进行分析。结果表明,对于字和词的校对,电脑校对具有优势;在辨别语法、逻辑...
简述汉语文本电脑校对的产生与发展,以及校对工作的一般过程与方法。分别从校对的主体和客体、判别依据、工作方式及校对结果等方面对人工校对和电脑校对的特点进行分析。结果表明,对于字和词的校对,电脑校对具有优势;在辨别语法、逻辑、知识性错误方面,电脑校对不如人工校对;对于科技文稿、古籍、版面格式错误等,电脑校对结果还不尽如人意。只有电脑校对与人工校对有效地结合,发挥各自的校对优势,才能最大限度地降低差错率,提高出版质量。
展开更多
关键词
汉语文本
电脑校对
人工校对
检错
率
计算机软件
原文传递
随机法和Hensel Lifting联合的浮点乘测试用例生成方法
被引量:
1
4
作者
冯春阳
杨靓
黄士坦
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2014年第9期1509-1521,共13页
针对浮点乘仿真验证时覆盖率不全面和边界角用例定位难的问题,提出一种随机法和Hensel lifting理论联合的浮点乘测试用例生成方法.首先通过分析测试用例生成域设计了一个浮点乘测试用例产生及功能仿真平台;然后利用Hensel lifting理论...
针对浮点乘仿真验证时覆盖率不全面和边界角用例定位难的问题,提出一种随机法和Hensel lifting理论联合的浮点乘测试用例生成方法.首先通过分析测试用例生成域设计了一个浮点乘测试用例产生及功能仿真平台;然后利用Hensel lifting理论提出一种统一的边界角浮点乘测试用例生成模型.将所提方法用于文中设计的功能仿真平台中,并将该平台与典型浮点测试工具集进行浮点乘性能比较的实验结果表明,该方法可使浮点乘检错率随浮点数位宽的增加而提升,最高增幅可达9.77%,比随机法检错率平均提高15.98%,比典型浮点测试工具集检错率平均提高1.9%.
展开更多
关键词
浮点乘
仿真验证
边界角用例
Hensel
LIFTING
随机法
检错
率
下载PDF
职称材料
基于Hensel引理的规格化边界角浮点乘测试用例生成模型
5
作者
冯春阳
闫鑫
+1 位作者
杨靓
黄士坦
《华南理工大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2014年第5期128-134,共7页
针对浮点乘仿真验证中测试用例空间大、覆盖不全面和边界角用例定位困难等问题,提出了一种基于Hensel引理的规格化边界角浮点乘测试用例生成模型,并从正规格化和负规格化边界角浮点数两方面对测试用例及乘积结果进行了分类讨论.结果表明...
针对浮点乘仿真验证中测试用例空间大、覆盖不全面和边界角用例定位困难等问题,提出了一种基于Hensel引理的规格化边界角浮点乘测试用例生成模型,并从正规格化和负规格化边界角浮点数两方面对测试用例及乘积结果进行了分类讨论.结果表明,与传统的边界角验证法相比,文中模型的平均检错率提高了约7.39%,不同浮点数位宽下的浮点乘检错率最高可增加9.77%,有效提高了浮点乘功能验证的覆盖率和设计可靠性.
展开更多
关键词
浮点乘
边界角用例
Hensel引理
检错
率
仿真验证
下载PDF
职称材料
关于“数据库索引文件的压缩”一文检错概率的计算
6
作者
陶国龙
《计算机世界月刊》
1989年第7期33-33,26,共2页
关键词
数据库
索引文件
数据压缩
检错
率
全文增补中
题名
基于逐幸存路径处理的测试用例集约简技术
1
作者
霍婷婷
孙强
丁蕊
夏春艳
机构
牡丹江师范学院计算机与信息技术学院
出处
《计算机应用研究》
CSCD
北大核心
2023年第1期229-233,共5页
基金
黑龙江省自然科学基金资助项目(LH2020F038)
黑龙江省省属高等学校基本科研业务费资助项目(1353ZD004)
牡丹江师范学院科研项目(1451TD003)。
文摘
针对基于智能算法的测试用例集约简技术存在的容易陷入局部收敛、过早熟等问题,提出一种基于逐幸存路径处理的测试用例集约简算法,该算法运用逐幸存路径处理算法的顺序网格搜索思路,将测试用例集进行二进制编码,使其构成顺序网格搜索的状态空间,在状态转移阶段将代码覆盖率和测试用例有效执行时间作为分支度量,进而选择分支重量最大的路径作为幸存路径,从而剔除冗余状态,完成测试用例集的约简。实验结果表明,在相同的实验环境下,与其他算法相比,该算法在具有较高冗余率的同时也保证了较高的检错率,在一定程度上降低了软件测试的复杂度,从而提高了软件测试的效率。
关键词
测试用例集约简
逐幸存路径处理
分支重量
代码覆盖
率
冗余
率
检错
率
Keywords
test case reduction
per-survivor processing
branch weight
code coverage
redundancy rate
error detection rate
分类号
TP311.56 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于二分K-means的测试用例集约简方法
被引量:
4
2
作者
汪文靖
冯瑞
机构
复旦大学计算机科学技术学院
上海视频技术与系统工程研究中心
出处
《计算机工程》
CAS
CSCD
北大核心
2016年第12期73-77,83,共6页
基金
国家科技支撑计划项目(2013BAH09F01)
上海市科委科技创新行动计划项目(14511106900)
文摘
测试用例集约简是软件测试中的重要研究问题之一,目的是以尽量少的测试用例达到测试目标。为此,提出一种新的测试用例集约简方法。应用二分K-means聚类算法对回归测试的测试用例集进行约简,以白盒测试的路径覆盖为准则,对每个测试用例进行量化,使每个用例变成一个点。以黑盒测试的功能需求数作为聚类数,在聚类结果的每一簇中,按照离中心点的距离进行排序,依次从每一簇中选择测试用例,直至满足所有测试需求,得到约简的测试用例集。实验结果表明,该方法能有效地减小测试用例集的规模,降低用例集检错率。
关键词
测试用例集约简
软件测试
二分K-means聚类算法
黑盒测试
白盒测试
检错
率
Keywords
test suite reduction
software test
bisecting K-means clustering algorithm
black box testing
white boxtesting
error detection rate
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
汉语文本的电脑校对与人工校对之比较
被引量:
2
3
作者
马敏峰
机构
<水利水电科技进展>编辑部
出处
《中国科技期刊研究》
CSSCI
北大核心
2004年第2期175-178,共4页
文摘
简述汉语文本电脑校对的产生与发展,以及校对工作的一般过程与方法。分别从校对的主体和客体、判别依据、工作方式及校对结果等方面对人工校对和电脑校对的特点进行分析。结果表明,对于字和词的校对,电脑校对具有优势;在辨别语法、逻辑、知识性错误方面,电脑校对不如人工校对;对于科技文稿、古籍、版面格式错误等,电脑校对结果还不尽如人意。只有电脑校对与人工校对有效地结合,发挥各自的校对优势,才能最大限度地降低差错率,提高出版质量。
关键词
汉语文本
电脑校对
人工校对
检错
率
计算机软件
分类号
G232.2 [文化科学]
G230.7
原文传递
题名
随机法和Hensel Lifting联合的浮点乘测试用例生成方法
被引量:
1
4
作者
冯春阳
杨靓
黄士坦
机构
西安微电子技术研究所集成电路设计中心
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2014年第9期1509-1521,共13页
基金
国家航天科技重点攻关项目(617010707)
国家核高基重大专项(2012ZX01021-001-A1
2014ZX01020-301)
文摘
针对浮点乘仿真验证时覆盖率不全面和边界角用例定位难的问题,提出一种随机法和Hensel lifting理论联合的浮点乘测试用例生成方法.首先通过分析测试用例生成域设计了一个浮点乘测试用例产生及功能仿真平台;然后利用Hensel lifting理论提出一种统一的边界角浮点乘测试用例生成模型.将所提方法用于文中设计的功能仿真平台中,并将该平台与典型浮点测试工具集进行浮点乘性能比较的实验结果表明,该方法可使浮点乘检错率随浮点数位宽的增加而提升,最高增幅可达9.77%,比随机法检错率平均提高15.98%,比典型浮点测试工具集检错率平均提高1.9%.
关键词
浮点乘
仿真验证
边界角用例
Hensel
LIFTING
随机法
检错
率
Keywords
floating-point multiplication
simulation-based verification
corner case
Hensel lifting
random test
error-detecting rate
分类号
TN407 [电子电信—微电子学与固体电子学]
下载PDF
职称材料
题名
基于Hensel引理的规格化边界角浮点乘测试用例生成模型
5
作者
冯春阳
闫鑫
杨靓
黄士坦
机构
西安微电子技术研究所
出处
《华南理工大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2014年第5期128-134,共7页
基金
国家航天科技重点攻关项目(617010707)
国家核高基专项(2012ZX01021-001-A1
+1 种基金
208ZX01020-301)
国家某武器系统信息化项目(02-03-FJ1010)
文摘
针对浮点乘仿真验证中测试用例空间大、覆盖不全面和边界角用例定位困难等问题,提出了一种基于Hensel引理的规格化边界角浮点乘测试用例生成模型,并从正规格化和负规格化边界角浮点数两方面对测试用例及乘积结果进行了分类讨论.结果表明,与传统的边界角验证法相比,文中模型的平均检错率提高了约7.39%,不同浮点数位宽下的浮点乘检错率最高可增加9.77%,有效提高了浮点乘功能验证的覆盖率和设计可靠性.
关键词
浮点乘
边界角用例
Hensel引理
检错
率
仿真验证
Keywords
floating-point multiplication
comer case
Hensel lemma
error-detecting rate
simulation-based verification
分类号
TN407 [电子电信—微电子学与固体电子学]
下载PDF
职称材料
题名
关于“数据库索引文件的压缩”一文检错概率的计算
6
作者
陶国龙
出处
《计算机世界月刊》
1989年第7期33-33,26,共2页
关键词
数据库
索引文件
数据压缩
检错
率
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
全文增补中
题名
作者
出处
发文年
被引量
操作
1
基于逐幸存路径处理的测试用例集约简技术
霍婷婷
孙强
丁蕊
夏春艳
《计算机应用研究》
CSCD
北大核心
2023
0
下载PDF
职称材料
2
基于二分K-means的测试用例集约简方法
汪文靖
冯瑞
《计算机工程》
CAS
CSCD
北大核心
2016
4
下载PDF
职称材料
3
汉语文本的电脑校对与人工校对之比较
马敏峰
《中国科技期刊研究》
CSSCI
北大核心
2004
2
原文传递
4
随机法和Hensel Lifting联合的浮点乘测试用例生成方法
冯春阳
杨靓
黄士坦
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2014
1
下载PDF
职称材料
5
基于Hensel引理的规格化边界角浮点乘测试用例生成模型
冯春阳
闫鑫
杨靓
黄士坦
《华南理工大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2014
0
下载PDF
职称材料
6
关于“数据库索引文件的压缩”一文检错概率的计算
陶国龙
《计算机世界月刊》
1989
0
全文增补中
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部