检索结果-维普期刊中文期刊服务平台

基于遗传算法的覆盖率驱动测试产生器被引量：1: 1; 作者王树朋黄凯严晓浪《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2016年第3期580-588,共9页; 为了更好地建立覆盖率和测试产生器之间的联系,产生高质量的测试,提出基于遗传算法的覆盖率驱动测试产生器.该测试产生器利用一种简单、准确的测试编码方法对测试进行编码,并利用基于功能覆盖率的适应度函数评估测试的优劣.通过遗传算法... 展开更多; 关键词覆盖率测试产生器遗传算法(GA) 覆盖率驱动测试产生器适应度函数; 在线阅读下载PDF 职称材料

覆盖率驱动的随机测试生成技术综述被引量：22: 2; 作者沈海华卫文丽陈云霁《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第4期419-431,441,共14页; 随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度... 展开更多; 关键词验证 VLSI 随机测试生成覆盖率驱动的测试生成; 在线阅读下载PDF 职称材料

基于遗传算法的全芯片级覆盖率驱动随机验证技术被引量：5: 3; 作者沈海华王朋宇 +1 位作者卫文丽郭崎《计算机研究与发展》 EI CSCD 北大核心 2009年第10期1612-1625,共14页; 随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法... 展开更多; 关键词验证大规模集成电路随机测试生成覆盖率驱动的测试生成遗传算法; 在线阅读下载PDF 职称材料

基于覆盖率驱动的高性能DSP指令集验证方法被引量：6: 4; 作者刘畅郭阳《计算机工程》 CAS CSCD 2014年第6期317-320,F0003,共5页; 针对传统定向测试效率较低且容易遗漏边界条件,以及测试平台扩展性、移植性差等问题,利用SystemVerilog的面向对象特性、随机约束求解机制以及覆盖率统计机制,提出一种快速搭建覆盖率驱动的随机测试平台的方法。采用面向对象方法对指令... 展开更多; 关键词 SystemVerilog语言随机测试覆盖率驱动约束描述面向对象编程验证平台; 在线阅读下载PDF 职称材料

规则驱动的Android应用DFS测试技术被引量：3: 5; 作者叶佳葛红军 +2 位作者曹春朱晋张营《计算机科学》 CSCD 北大核心 2018年第9期99-103,118,共6页; GUI自动化测试是Android应用研究领域的重要组成部分,针对Android应用的GUI测试技术得到了广泛的研究。其中,基于DFS算法的GUI遍历测试技术得到了广泛的应用。然而,现有的DFS测试技术却仍然具有效率低下、覆盖率较低的问题。文中提出了... 展开更多; 关键词 Android测试 DFS 规则驱动测试效率覆盖率; 在线阅读下载PDF 职称材料

面向嵌入式CGI的内存破坏漏洞挖掘研究被引量：1: 6; 作者王东张小松陈厅《电子科技大学学报》 EI CAS CSCD 北大核心 2020年第5期745-750,共6页; AFL-CGI-wrapper(ACW)是桌面CGI程序的漏洞自动挖掘方法,其利用QEMU仿真器执行二进制CGI来实施模糊测试。但在嵌入式设备中直接应用ACW进行CGI漏洞挖掘会面临两个难题:1)固定输入模型难以应对嵌入式设备的多样性;2)主模块跟踪难以覆盖... 展开更多; 关键词覆盖率驱动嵌入式设备模糊测试漏洞挖掘; 在线阅读下载PDF 职称材料

Mentor Graphics新产品Questa突破设计验证障碍: 7; 《半导体技术》 CAS CSCD 北大核心 2005年第6期83-83,共1页; Mentor Graphics宣布将推出Questa验证产品系列，这些新型验证工具支持测试平台自动化、覆盖率驱动式验证、以断言为基础的验证和事务级建模。新产品线目前包含两套产品，分别是Questa System Verilog以及Questa Advanced Functional Ve... 展开更多; 关键词 GRAPHICS MENTOR 设计验证 Advanced VERILOG System 硬件描述语言产品系列测试平台验证工具验证技术约束条件自动化驱动式覆盖率产品线仿真器解算器使用者基础引擎事务内核; 在线阅读下载PDF 职称材料

题名基于遗传算法的覆盖率驱动测试产生器被引量：1: 1; 作者王树朋黄凯严晓浪; 机构浙江大学信息与电子工程学系浙江大学超大规模集成电路研究所; 出处《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2016年第3期580-588,共9页; 基金国家自然科学基金资助项目(61100074) 核高基国家科技重大专项资助项目(2012ZX01039-004) 中央高校基础研究基金资助项目(2013QNA5008); 文摘为了更好地建立覆盖率和测试产生器之间的联系,产生高质量的测试,提出基于遗传算法的覆盖率驱动测试产生器.该测试产生器利用一种简单、准确的测试编码方法对测试进行编码,并利用基于功能覆盖率的适应度函数评估测试的优劣.通过遗传算法(GA)建立覆盖率与测试产生器之间的联系,分析覆盖率和测试之间的关系,根据分析结果改变测试产生器的约束和限制,驱动测试产生器生成新一代的测试,新一代的测试可以覆盖到上一代的测试无法覆盖的功能点.实验结果表明:在2个高性能的32位多核处理器的验证环境中,该测试产生器可以明显减少仿真时间,提高验证效率.; 关键词覆盖率测试产生器遗传算法(GA) 覆盖率驱动测试产生器适应度函数; Keywords coverage test generation genetic algorithm（GA） coverage directed test generation fitness function; 分类号 TN47 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名覆盖率驱动的随机测试生成技术综述被引量：22: 2; 作者沈海华卫文丽陈云霁; 机构中国科学院计算技术研究所微处理器技术研究中心中国科学院研究生院; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第4期419-431,441,共14页; 基金国家“八六三”高技术研究发展计划(2008AA110901,2007AA01Z112) 国家自然科学基金(60603049) 北京市自然科学基金(4072024); 文摘随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度和效率.文中全面综述了覆盖率驱动的随机测试生成技术的发展历程、研究现状和技术分类,并结合具体实例对各种方法及其面临的主要问题进行了讨论、评价和总结.; 关键词验证 VLSI 随机测试生成覆盖率驱动的测试生成; Keywords verification VLSI random test generation coverage directed test generation; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于遗传算法的全芯片级覆盖率驱动随机验证技术被引量：5: 3; 作者沈海华王朋宇卫文丽郭崎; 机构中国科学院计算机系统结构重点实验室中国科学院计算技术研究所微处理器技术研究中心中国科学院研究生院; 出处《计算机研究与发展》 EI CSCD 北大核心 2009年第10期1612-1625,共14页; 基金国家"九七三"重点基础研究发展计划基金项目(2005CB321600) 国家"八六三"高技术研究发展计划基金项目(2008AA110901 +3 种基金 2007AA01Z112) 国家自然科学基金项目(60603049 60803029) 北京市自然科学基金项目(4072024)~~; 文摘随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法应用在覆盖率反馈驱动随机测试生成时,不需要复杂的领域先验知识,节约了大量的专家时间,提高了验证的自动化程度.分析了各种基于遗传算法的覆盖率驱动的随机测试生成方法,并在此基础上设计和实现了基于遗传算法的全芯片级覆盖率驱动随机验证平台.该平台被实际应用在龙芯处理器的验证中,实验结果表明,平台有效提高了验证效率.; 关键词验证大规模集成电路随机测试生成覆盖率驱动的测试生成遗传算法; Keywords verification VI.SI random test generation coverage directed test generation genetic algorithm; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于覆盖率驱动的高性能DSP指令集验证方法被引量：6: 4; 作者刘畅郭阳; 机构国防科学技术大学计算机学院; 出处《计算机工程》 CAS CSCD 2014年第6期317-320,F0003,共5页; 基金国家自然科学基金资助项目(61133007); 文摘针对传统定向测试效率较低且容易遗漏边界条件,以及测试平台扩展性、移植性差等问题,利用SystemVerilog的面向对象特性、随机约束求解机制以及覆盖率统计机制,提出一种快速搭建覆盖率驱动的随机测试平台的方法。采用面向对象方法对指令集建模,同时定义功能覆盖点和交叉覆盖率,并对随机约束规则进行描述,利用SystemVerilog的约束求解机制在覆盖率驱动下生成大量的测试指令码。对"银河飞腾"高性能DSP芯片指令集进行验证,结果表明,与定向测试相比,随机测试的寄存器和数据通路覆盖率提高50%,操作数覆盖率提高90%以上,交叉覆盖率提高75%以上,同时功能覆盖率能在较短的时间内达到预期值,从而缩短验证周期。; 关键词 SystemVerilog语言随机测试覆盖率驱动约束描述面向对象编程验证平台; Keywords SystemVerilog language random test coverage-driven constraint description object-oriented programming verification platform; 分类号 TP391.4 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名规则驱动的Android应用DFS测试技术被引量：3: 5; 作者叶佳葛红军曹春朱晋张营; 机构中兴通讯股份有限公司终端事业部南京大学计算机科学与技术系; 出处《计算机科学》 CSCD 北大核心 2018年第9期99-103,118,共6页; 基金中兴通讯研究基金资助; 文摘 GUI自动化测试是Android应用研究领域的重要组成部分,针对Android应用的GUI测试技术得到了广泛的研究。其中,基于DFS算法的GUI遍历测试技术得到了广泛的应用。然而,现有的DFS测试技术却仍然具有效率低下、覆盖率较低的问题。文中提出了结合外部预定义规则来驱动DFS自动化遍历的改进方法,以提高DFS自动化遍历的效率和覆盖率;基于规则驱动的改进方法实现了RDTA测试工具,进行了与Monkey以及无规则驱动下的DFS的对比实验,验证了该方法的有效性。; 关键词 Android测试 DFS 规则驱动测试效率覆盖率; Keywords Android testing DFS Rule-driven Test efficiency Coverage; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向嵌入式CGI的内存破坏漏洞挖掘研究被引量：1: 6; 作者王东张小松陈厅; 机构电子科技大学网络空间安全研究院鹏城实验室网络安全研究中心; 出处《电子科技大学学报》 EI CAS CSCD 北大核心 2020年第5期745-750,共6页; 基金国家自然科学基金面上项目(61572115,61872057) 国家重点研发计划项目(2017YFB0802903)。; 文摘 AFL-CGI-wrapper(ACW)是桌面CGI程序的漏洞自动挖掘方法,其利用QEMU仿真器执行二进制CGI来实施模糊测试。但在嵌入式设备中直接应用ACW进行CGI漏洞挖掘会面临两个难题:1)固定输入模型难以应对嵌入式设备的多样性;2)主模块跟踪难以覆盖依赖外部调用的分支路径,导致漏洞挖掘效率低下。针对这两个问题,一种基于反馈的惰性输入模型和选择性外部函数跟踪被提出,并在原型系统BCFuzzer中实现。最后使用实际的嵌入式CGI程序集进行了实验,结果表明相比现有方法,其能自动探索更多的代码路径,也能更快地发现更多未知漏洞。; 关键词覆盖率驱动嵌入式设备模糊测试漏洞挖掘; Keywords coverage guided embedded device fuzzing vulnerability discovering; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名Mentor Graphics新产品Questa突破设计验证障碍: 7; 出处《半导体技术》 CAS CSCD 北大核心 2005年第6期83-83,共1页; 文摘 Mentor Graphics宣布将推出Questa验证产品系列，这些新型验证工具支持测试平台自动化、覆盖率驱动式验证、以断言为基础的验证和事务级建模。新产品线目前包含两套产品，分别是Questa System Verilog以及Questa Advanced Functional Verification(AFV)，它们都采用最新的QuestaSim验证技术。QuestaSim是第一个以标准为基础的单内核验证引擎，内建硬件描述语言(HDL)仿真器、约束条件解算器、assertion引擎、功能涵盖率分析和一组共同的使用者界面。; 关键词 GRAPHICS MENTOR 设计验证 Advanced VERILOG System 硬件描述语言产品系列测试平台验证工具验证技术约束条件自动化驱动式覆盖率产品线仿真器解算器使用者基础引擎事务内核; 分类号 TP311.13 [自动化与计算机技术—计算机软件与理论] TP316 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于遗传算法的覆盖率驱动测试产生器	王树朋黄凯严晓浪	《浙江大学学报（工学版）》 EI CAS CSCD 北大核心	2016	1	在线阅读下载PDF 职称材料
2	覆盖率驱动的随机测试生成技术综述	沈海华卫文丽陈云霁	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2009	22	在线阅读下载PDF 职称材料
3	基于遗传算法的全芯片级覆盖率驱动随机验证技术	沈海华王朋宇卫文丽郭崎	《计算机研究与发展》 EI CSCD 北大核心	2009	5	在线阅读下载PDF 职称材料
4	基于覆盖率驱动的高性能DSP指令集验证方法	刘畅郭阳	《计算机工程》 CAS CSCD	2014	6	在线阅读下载PDF 职称材料
5	规则驱动的Android应用DFS测试技术	叶佳葛红军曹春朱晋张营	《计算机科学》 CSCD 北大核心	2018	3	在线阅读下载PDF 职称材料
6	面向嵌入式CGI的内存破坏漏洞挖掘研究	王东张小松陈厅	《电子科技大学学报》 EI CAS CSCD 北大核心	2020	1	在线阅读下载PDF 职称材料
7	Mentor Graphics新产品Questa突破设计验证障碍		《半导体技术》 CAS CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料