测试程序生成

作品数：9被引量：16H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张良王克义程旭佟冬徐拾义更多>>
相关机构：北京大学上海大学华为技术有限公司国防科学技术大学更多>>
相关期刊：《软件学报》《计算机工程》《信息网络安全》《电子学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
深度学习框架模糊测试研究综述被引量：1
《信息网络安全》2024年第10期1528-1536,共9页张子涵 赖清楠 周昌令 
国家自然科学基金[62173004]。
随着深度学习技术在多个领域的广泛应用,其框架的安全性和稳定性也变得尤为重要。文章从用户角度出发,分析了不同用户群体可能遇到的漏洞类型及相应的模糊测试方法。首先介绍了深度学习框架的发展背景及其重要性;然后详细讨论了针对模...
关键词：深度学习 模糊测试 测试程序生成 机器学习 
使用局部建模的微处理器测试程序自动生成方法被引量：3
《电子学报》2011年第7期1639-1644,共6页张良 易江芳 佟冬 程旭 王克义 
国家"863"高技术研究发展计划重点项目(No.2006AA010202)
模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢.针对该问题,本文在覆盖率增长缓慢时,引入结合模型检验引擎的测试程序生成方法.该方法首先采用局部建模...
关键词：功能验证 模型检验 局部建模 测试程序生成 
覆盖矩阵反馈的演化测试程序生成方法
《计算机辅助设计与图形学学报》2011年第3期456-464,共9页张良 佟冬 程旭 王克义 
国家"八六三"高技术研究发展计划(2006AA010202)
覆盖率驱动的测试程序生成是目前微处理器功能验证的研究热点之一,现有的演化测试程序生成方法应用到大规模复杂功能覆盖率模型时效果不佳.针对该问题,首先使用分组策略将全局功能覆盖率模型划分为若干覆盖率子模型,然后为每个覆盖率子...
关键词：功能验证 演化算法 分组 测试程序生成 
基于多目标演化算法的测试程序生成被引量：3
《计算机辅助设计与图形学学报》2010年第8期1382-1389,共8页张良 佟冬 林桦 程旭 王克义 
国家"八六三"高技术研究发展计划(2006AA010202)
针对现有的演化测试程序方法只以覆盖率为优化目标的问题,提出一种使用多目标演化算法的测试程序生成方法.该方法把测试程序生成归结为多目标优化问题,以提高覆盖率和减少模拟执行周期作为优化目标;根据模拟器反馈回的信息,使用多目标...
关键词：功能验证 覆盖率准则 多目标演化算法 测试生成 
可重构媒体处理器测试程序生成技术被引量：2
《吉林大学学报（工学版）》2009年第4期1030-1034,共5页尹首一 王晨阳 魏少军 
'863'国家高技术研究发展计划项目(2009AA011700);国家自然科学基金项目(60676012)
可重构计算是媒体处理器的发展方向,功能测试是可重构媒体处理器设计中的一个难点。本文针对可重构媒体处理器的功能测试问题,提出了一套完整的测试程序生成方法,本方法采用遗传算法以提高测试程序覆盖率。本文所提出的方法已被应用到...
关键词：可重构计算 媒体处理器 测试程序生成 遗传算法 
微处理器体系结构级测试程序自动生成技术被引量：7
《软件学报》2005年第12期2172-2180,共9页朱丹 李暾 郭阳 李思昆 
国家自然科学基金~~
提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统——MA2TG(microprocessorarchitecturalautomatictestprogramgenerator).该系统不仅可以随机生成测试程序,最主要的...
关键词：体系结构描述语言 约束满足问题 指令模板库 测试程序生成 
基于模块关系图的测试程序生成被引量：1
《计算机工程》2004年第19期68-69,167,共3页王晓宇 徐拾义 
国家自然科学基金资助项目(69873030; 60173029)
分析了科学计算软件测试和度量的特点并结合程序的性质提出了描述模块之间关系的模块关系图(MRD)模型,然后研究了这一模型在软件自动测试程序生成中的具体应用。在此基础上,对回归测试中重测试模块进行了探索,提出了相应的算法。将以上...
关键词：软件测试 模块关系图 回归测试 静态分析 
总线周期的仿真加速测试程序生成并加强故障诊断能力
《微电子测试》1991年第3期35-42,34,共9页Mccr.,AC 刘家松 
关键词：总线 微机 测试程序 诊断 仿真 
测试程序生成
《LSI制造与测试》1991年第3期37-42,共6页时万春 
关键词：测试程序 模拟文件 转换 集成电路 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部