期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于逐幸存路径处理的测试用例集约简技术
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 下一页 到第
使用帮助 返回顶部