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

覆盖矩阵反馈的演化测试程序生成方法: 1; 作者张良佟冬 +1 位作者程旭王克义《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2011年第3期456-464,共9页; 覆盖率驱动的测试程序生成是目前微处理器功能验证的研究热点之一,现有的演化测试程序生成方法应用到大规模复杂功能覆盖率模型时效果不佳.针对该问题,首先使用分组策略将全局功能覆盖率模型划分为若干覆盖率子模型,然后为每个覆盖率子... 展开更多; 关键词功能验证演化算法分组测试程序生成; 在线阅读下载PDF 职称材料

微处理器体系结构级测试程序自动生成技术被引量：7: 2; 作者朱丹李暾 +1 位作者郭阳李思昆《软件学报》 EI CSCD 北大核心 2005年第12期2172-2180,共9页; 提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统——MA2TG(microprocessorarchitecturalautomatictestprogramgenerator).该系统不仅可以随机生成测试程序,最主要的... 展开更多; 关键词体系结构描述语言约束满足问题指令模板库测试程序生成; 在线阅读下载PDF 职称材料

使用局部建模的微处理器测试程序自动生成方法被引量：3: 3; 作者张良易江芳 +2 位作者佟冬程旭王克义《电子学报》 EI CAS CSCD 北大核心 2011年第7期1639-1644,共6页; 模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模... 展开更多; 关键词功能验证模型检验局部建模测试程序生成; 在线阅读下载PDF 职称材料

深度学习框架模糊测试研究综述被引量：2: 4; 作者张子涵赖清楠周昌令《信息网络安全》 CSCD 北大核心 2024年第10期1528-1536,共9页; 随着深度学习技术在多个领域的广泛应用,其框架的安全性和稳定性也变得尤为重要。文章从用户角度出发,分析了不同用户群体可能遇到的漏洞类型及相应的模糊测试方法。首先介绍了深度学习框架的发展背景及其重要性;然后详细讨论了针对模... 展开更多; 关键词深度学习模糊测试测试程序生成机器学习; 在线阅读下载PDF 职称材料

基于验证库的微处理器指令集验证方法被引量：1: 5; 作者龚令侃王玉艳章建雄《计算机工程》 CAS CSCD 北大核心 2009年第3期86-88,共3页; 指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位。测试程序自动生成(RTPG)是微处理器指令集验证的主要方法之一。该文比较目前主流的RTPG技术和验证策略,提出基于验证库的随机测试程序生成工具。使用通用脚本语... 展开更多; 关键词微处理器指令集验证随机测试程序生成验证库; 在线阅读下载PDF 职称材料

题名覆盖矩阵反馈的演化测试程序生成方法: 1; 作者张良佟冬程旭王克义; 机构北京大学深圳研究生院北京大学微处理器研发中心; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2011年第3期456-464,共9页; 基金国家"八六三"高技术研究发展计划(2006AA010202); 文摘覆盖率驱动的测试程序生成是目前微处理器功能验证的研究热点之一,现有的演化测试程序生成方法应用到大规模复杂功能覆盖率模型时效果不佳.针对该问题,首先使用分组策略将全局功能覆盖率模型划分为若干覆盖率子模型,然后为每个覆盖率子模型独立运行基于覆盖矩阵反馈的演化测试程序生成进程.将文中方法应用到北大众志UniCore32定点处理器核的流水线控制相关机制的功能验证中,可以取得95.11%的功能覆盖率;与现有演化测试生成方法相比,在算法运行时间节省60.4%的情况下功能覆盖率提高了31.03%.; 关键词功能验证演化算法分组测试程序生成; Keywords functional verification evolutionary algorithm grouping test program generation; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名微处理器体系结构级测试程序自动生成技术被引量：7: 2; 作者朱丹李暾郭阳李思昆; 机构国防科学技术大学计算机学院; 出处《软件学报》 EI CSCD 北大核心 2005年第12期2172-2180,共9页; 基金国家自然科学基金~~; 文摘提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统——MA2TG(microprocessorarchitecturalautomatictestprogramgenerator).该系统不仅可以随机生成测试程序,最主要的是可以产生针对特定要求的测试程序.其优点在于:首先,通过体系结构语言描述简化了体系结构建模,方便了对目标处理器体系结构的探索;第二,利用比较成熟的约束求解技术来生成满足需求的测试程序;第三,极大地缩减了测试程序的大小以及微处理器的验证时间.MA2TG已应用于DLX处理器和自主开发的EStar嵌入式微处理器的验证.实验结果表明了此方法的有效性.; 关键词体系结构描述语言约束满足问题指令模板库测试程序生成; Keywords architecture description language CSP ITL test program generation; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名使用局部建模的微处理器测试程序自动生成方法被引量：3: 3; 作者张良易江芳佟冬程旭王克义; 机构北京大学深圳研究生院北京大学微处理器研究开发中心; 出处《电子学报》 EI CAS CSCD 北大核心 2011年第7期1639-1644,共6页; 基金国家"863"高技术研究发展计划重点项目(No.2006AA010202); 文摘模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模策略为处理器构建抽象设计模型,然后使用模型检验引擎读入该模型并产生测试生成指导规则,最后,随机测试生成器依据指导规则产生大量测试程序作为模拟器输入,完成功能验证工作.以北大众志UniCore32定点处理器核的功能验证为例评估本文方法,结果表明,使用该方法可以快速完成对未覆盖功能点的验证,加速验证收敛.; 关键词功能验证模型检验局部建模测试程序生成; Keywords functional verification model checking local modeling test program generation; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名深度学习框架模糊测试研究综述被引量：2: 4; 作者张子涵赖清楠周昌令; 机构北京大学计算机学院北京大学计算中心; 出处《信息网络安全》 CSCD 北大核心 2024年第10期1528-1536,共9页; 基金国家自然科学基金[62173004]。; 文摘随着深度学习技术在多个领域的广泛应用,其框架的安全性和稳定性也变得尤为重要。文章从用户角度出发,分析了不同用户群体可能遇到的漏洞类型及相应的模糊测试方法。首先介绍了深度学习框架的发展背景及其重要性;然后详细讨论了针对模型库、深度学习框架及编译器的模糊测试研究现状,梳理了如模型变异、权重生成、样例构造和模型测试等关键技术,并以PyTorch和MLIR的漏洞为例分析了漏洞形成的原因;最后展望了未来的研究方向,包括错误定位与自动修复技术、大语言模型增强的模糊测试。; 关键词深度学习模糊测试测试程序生成机器学习; Keywords deep learning fuzzing test test case generation machine learning; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于验证库的微处理器指令集验证方法被引量：1: 5; 作者龚令侃王玉艳章建雄; 机构华东计算技术研究所; 出处《计算机工程》 CAS CSCD 北大核心 2009年第3期86-88,共3页; 文摘指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位。测试程序自动生成(RTPG)是微处理器指令集验证的主要方法之一。该文比较目前主流的RTPG技术和验证策略,提出基于验证库的随机测试程序生成工具。使用通用脚本语言开发验证库和测试程序模板,针对不同验证阶段生成高质量的测试程序。测试结果表明,该方法实现简单,能达到较好的验证效果。; 关键词微处理器指令集验证随机测试程序生成验证库; Keywords microprocessor instruction set verification Random Test Program Generation（RTPG） library-based verification; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	覆盖矩阵反馈的演化测试程序生成方法	张良佟冬程旭王克义	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
2	微处理器体系结构级测试程序自动生成技术	朱丹李暾郭阳李思昆	《软件学报》 EI CSCD 北大核心	2005	7	在线阅读下载PDF 职称材料
3	使用局部建模的微处理器测试程序自动生成方法	张良易江芳佟冬程旭王克义	《电子学报》 EI CAS CSCD 北大核心	2011	3	在线阅读下载PDF 职称材料
4	深度学习框架模糊测试研究综述	张子涵赖清楠周昌令	《信息网络安全》 CSCD 北大核心	2024	2	在线阅读下载PDF 职称材料
5	基于验证库的微处理器指令集验证方法	龚令侃王玉艳章建雄	《计算机工程》 CAS CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料