期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到8篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
微处理器体系结构级测试程序自动生成技术 被引量：7
1
作者 朱丹 李暾 +1 位作者 郭阳 李思昆 《软件学报》 EI CSCD 北大核心 2005年第12期2172-2180,共9页
提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统——MA2TG(microprocessorarchitecturalautomatictestprogramgenerator).该系统不仅可以随机生成测试程序,最主要的... 提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统——MA2TG(microprocessorarchitecturalautomatictestprogramgenerator).该系统不仅可以随机生成测试程序,最主要的是可以产生针对特定要求的测试程序.其优点在于:首先,通过体系结构语言描述简化了体系结构建模,方便了对目标处理器体系结构的探索;第二,利用比较成熟的约束求解技术来生成满足需求的测试程序;第三,极大地缩减了测试程序的大小以及微处理器的验证时间.MA2TG已应用于DLX处理器和自主开发的EStar嵌入式微处理器的验证.实验结果表明了此方法的有效性. 展开更多
关键词 体系结构描述语言 约束满足问题 指令模板库 测试程序生成
下载PDF
深度学习框架模糊测试研究综述
2
作者 张子涵 赖清楠 周昌令 《信息网络安全》 CSCD 北大核心 2024年第10期1528-1536,共9页
随着深度学习技术在多个领域的广泛应用,其框架的安全性和稳定性也变得尤为重要。文章从用户角度出发,分析了不同用户群体可能遇到的漏洞类型及相应的模糊测试方法。首先介绍了深度学习框架的发展背景及其重要性;然后详细讨论了针对模... 随着深度学习技术在多个领域的广泛应用,其框架的安全性和稳定性也变得尤为重要。文章从用户角度出发,分析了不同用户群体可能遇到的漏洞类型及相应的模糊测试方法。首先介绍了深度学习框架的发展背景及其重要性;然后详细讨论了针对模型库、深度学习框架及编译器的模糊测试研究现状,梳理了如模型变异、权重生成、样例构造和模型测试等关键技术,并以PyTorch和MLIR的漏洞为例分析了漏洞形成的原因;最后展望了未来的研究方向,包括错误定位与自动修复技术、大语言模型增强的模糊测试。 展开更多
关键词 深度学习 模糊测试 测试程序生成 机器学习
下载PDF
使用局部建模的微处理器测试程序自动生成方法 被引量：3
3
作者 张良 易江芳 +2 位作者 佟冬 程旭 王克义 《电子学报》 EI CAS CSCD 北大核心 2011年第7期1639-1644,共6页
模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模... 模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模策略为处理器构建抽象设计模型,然后使用模型检验引擎读入该模型并产生测试生成指导规则,最后,随机测试生成器依据指导规则产生大量测试程序作为模拟器输入,完成功能验证工作.以北大众志UniCore32定点处理器核的功能验证为例评估本文方法,结果表明,使用该方法可以快速完成对未覆盖功能点的验证,加速验证收敛. 展开更多
关键词 功能验证 模型检验 局部建模 测试程序生成
下载PDF
可重构媒体处理器测试程序生成技术 被引量：2
4
作者 尹首一 王晨阳 魏少军 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2009年第4期1030-1034,共5页
可重构计算是媒体处理器的发展方向,功能测试是可重构媒体处理器设计中的一个难点。本文针对可重构媒体处理器的功能测试问题,提出了一套完整的测试程序生成方法,本方法采用遗传算法以提高测试程序覆盖率。本文所提出的方法已被应用到... 可重构计算是媒体处理器的发展方向,功能测试是可重构媒体处理器设计中的一个难点。本文针对可重构媒体处理器的功能测试问题,提出了一套完整的测试程序生成方法,本方法采用遗传算法以提高测试程序覆盖率。本文所提出的方法已被应用到可重构媒体处理器的设计实践中。实验结果表明:本方法能够有效地生成测试程序,所生成的测试程序的覆盖率明显高于传统方法生成的随机测试程序的覆盖率。 展开更多
关键词 可重构计算 媒体处理器 测试程序生成 遗传算法
下载PDF
覆盖矩阵反馈的演化测试程序生成方法
5
作者 张良 佟冬 +1 位作者 程旭 王克义 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2011年第3期456-464,共9页
覆盖率驱动的测试程序生成是目前微处理器功能验证的研究热点之一,现有的演化测试程序生成方法应用到大规模复杂功能覆盖率模型时效果不佳.针对该问题,首先使用分组策略将全局功能覆盖率模型划分为若干覆盖率子模型,然后为每个覆盖率子... 覆盖率驱动的测试程序生成是目前微处理器功能验证的研究热点之一,现有的演化测试程序生成方法应用到大规模复杂功能覆盖率模型时效果不佳.针对该问题,首先使用分组策略将全局功能覆盖率模型划分为若干覆盖率子模型,然后为每个覆盖率子模型独立运行基于覆盖矩阵反馈的演化测试程序生成进程.将文中方法应用到北大众志UniCore32定点处理器核的流水线控制相关机制的功能验证中,可以取得95.11%的功能覆盖率;与现有演化测试生成方法相比,在算法运行时间节省60.4%的情况下功能覆盖率提高了31.03%. 展开更多
关键词 功能验证 演化算法 分组 测试程序生成
下载PDF
基于验证库的微处理器指令集验证方法 被引量：1
6
作者 龚令侃 王玉艳 章建雄 《计算机工程》 CAS CSCD 北大核心 2009年第3期86-88,共3页
指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位。测试程序自动生成(RTPG)是微处理器指令集验证的主要方法之一。该文比较目前主流的RTPG技术和验证策略,提出基于验证库的随机测试程序生成工具。使用通用脚本语... 指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位。测试程序自动生成(RTPG)是微处理器指令集验证的主要方法之一。该文比较目前主流的RTPG技术和验证策略,提出基于验证库的随机测试程序生成工具。使用通用脚本语言开发验证库和测试程序模板,针对不同验证阶段生成高质量的测试程序。测试结果表明,该方法实现简单,能达到较好的验证效果。 展开更多
关键词 微处理器 指令集验证 随机测试程序生成 验证库
下载PDF
基于IEEE1232的模拟电路TPS自动生成系统开发 被引量：2
7
作者 王月海 徐梦寒 +2 位作者 张宏斌 冯建呈 潘国庆 《计算机测量与控制》 2015年第5期1762-1764,共3页
目前在模拟电路故障诊断及测试过程中存在两个问题:测试信号的连续性及容差特性造成的测试信号数量巨大,故障知识表示复杂,测试程序(Test Program,简称TP)的编写多用基于决策知识的人工生成方法;通过对IEEE1232标准的体系结构和诊断推... 目前在模拟电路故障诊断及测试过程中存在两个问题:测试信号的连续性及容差特性造成的测试信号数量巨大,故障知识表示复杂,测试程序(Test Program,简称TP)的编写多用基于决策知识的人工生成方法;通过对IEEE1232标准的体系结构和诊断推理机要求的分析,论文对IEEEE1232模型体系进行扩充,提出一种包含特征提取技术和多种AI诊断方法的诊断知识库生成协议,设计并实现了符合1232标准知识库的TPS自动生成测试系统;提高了诊断知识的移植性,实现了TPS的自动生成;仿真结果证明了该方案的可行性。 展开更多
关键词 模拟电路故障诊断 IEEE1232 测试程序集生成
下载PDF
面向服务的测试程序自动生成技术研究
8
作者 王成 杨森 孟晨 《价值工程》 2012年第28期36-37,共2页
测试程序自动生成技术是新一代自动测试系统(ATS)关键技术之一。文中从面向服务的角度出发,首先建立了面向服务的测试程序自动生成总体框架;然后介绍了测试流程描述语言(Test Flow Description Language,TFDL),并通过XSLT模板将测试描述... 测试程序自动生成技术是新一代自动测试系统(ATS)关键技术之一。文中从面向服务的角度出发,首先建立了面向服务的测试程序自动生成总体框架;然后介绍了测试流程描述语言(Test Flow Description Language,TFDL),并通过XSLT模板将测试描述XML转化为测试流程描述语言,利用TFDL编译器将测试流程描述语言转化为C语言中间程序;最后通过商业编译器自动生成测试程序。 展开更多
关键词 面向服务 测试流程描述语言 测试程序自动生成
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部