闫明
- 作品数：11 被引量：107H指数：3
- 供职机构：天津大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信政治法律机械工程更多>>
- 智能化芯片设计程序测试研究综述被引量：1
- 2025年
- 在当今智能化的时代背景下,芯片作为智能电子设备的核心组件,在人工智能、物联网、5G通信等诸多领域发挥着关键作用,保障芯片的正确性、安全性和可靠性至关重要.在芯片的开发流程中,开发人员首先需要利用硬件描述语言,将芯片设计实现成软件形式(即芯片设计程序),然后再进行物理设计并最终流片(即生产制造).作为芯片设计制造的基础,芯片设计程序的质量直接影响了芯片的质量.因此,针对芯片设计程序的测试具有重要研究意义.早期的芯片设计程序测试方法主要依赖开发人员人工设计测试用例来测试芯片设计程序,往往需要大量的人工成本和时间代价.随着芯片设计程序复杂度的日益增长,诸多基于仿真的自动化芯片设计程序测试方法被提出,提升了芯片设计程序测试效率及有效性.近年来,越来越多的研究者致力于将机器学习、深度学习和大语言模型(LLM)等智能化方法应用于芯片设计程序测试领域.调研88篇智能化芯片设计程序测试相关的学术论文,从测试输入生成、测试预言构造及测试执行优化这3个角度对智能化芯片设计程序测试已有成果进行整理归纳,重点梳理芯片设计程序测试方法从机器学习阶段、深度学习阶段到大语言模型阶段的演化,探讨不同阶段方法在提高测试效率和覆盖率、降低测试成本等方面的潜力.同时,介绍芯片设计程序测试领域的研究数据集和工具,并展望未来的发展方向和挑战.
- 李晓鹏闫明樊兴宇唐振韬开昰雄郝建业袁明轩陈俊洁
- 关键词：测试用例生成
- 深度神经网络测试研究综述被引量：41
- 2020年
- 随着深度神经网络技术的快速发展、大数据的涌现和计算能力的显著提升,深度神经网络被越来越多地应用到各个安全攸关领域,例如自动驾驶、人脸识别、飞机碰撞检测等.传统的软件系统通常由开发人员手工编写代码实现其内部的决策逻辑,并依据相应的测试覆盖准则设计测试用例来测试系统代码.与传统的软件系统不同,深度学习定义了一种新的数据驱动的编程范式,开发人员仅编写代码来规定深度学习系统的网络结构,其内部逻辑则由训练过程获得的神经元连接权值所决定.因此,针对传统软件的测试方法及度量指标无法直接被移植到深度神经网络系统上.近年来,越来越多的研究致力于解决深度神经网络的测试问题,例如提出新的测试评估标准、测试用例生成方法等.调研了92篇相关领域的学术论文,从深度神经网络测试度量指标、测试输入生成、测试预言这3个角度对目前已有的研究成果进行了系统梳理.同时,分析了深度神经网络测试在图像处理、语音处理以及自然语言处理上的已有成果,并介绍了深度神经网络测试中应用到的数据集及工具.最后,对深度神经网络测试的未来工作进行了展望,以期为该领域的研究人员提供参考.
- 王赞闫明刘爽陈俊洁张栋迪吴卓陈翔
- 关键词：测试用例生成
- 基于有导向模型变异的深度学习库测试方法
- 本发明公开了一种基于有导向模型变异的深度学习库测试方法，该方法的技术方案包括三点：(1)模型变异规则；(2)基于启发式搜索策略的变异模型生成；(3)基于差异测试的深度学习库测试预言进行不一致性缺陷计算、缺陷定位。本发明首...
- 陈俊洁闫明王赞刘爽张栋迪
- 基于有导向模型变异的深度学习库测试方法
- 本发明公开了一种基于有导向模型变异的深度学习库测试方法，该方法的技术方案包括三点：(1)模型变异规则；(2)基于启发式搜索策略的变异模型生成；(3)基于差异测试的深度学习库测试预言进行不一致性缺陷计算、缺陷定位。本发明首...
- 陈俊洁闫明王赞刘爽张栋迪
- 文献传递
- 基于梯度搜索的深度学习程序数值缺陷检测技术研究
- 近年来,随着深度学习技术在人工智能领域的广泛应用,深度学习系统的质量保障问题也逐渐受到研究人员的共同关注。数值计算在深度学习程序中占主导地位,与之相关的数值型缺陷是深度学习程序最突出的缺陷之一。数值型缺陷会导致程序中出现...
- 闫明
- 关键词：梯度搜索
- 逆向工程技术三维激光扫描测量被引量：61
- 2001年
- 适应现今少量多样产品新时代的需求 ,如何运用新的测量技术 ,快速将产品的 3- D外形数字化 ,建立 3- D CAD图档 ,是逆向工程的关键技术之一 .利用非接触式 3- D测量探头 ,采用线激光及双 CCD采集技术 ,建立一套逆向工程测量系统 ,快速将样品的 3- D外形数字化 ,并利用边缘检测、滤波技术和曲线、曲面处理建模重构技术 ,建立 3- D曲面模型 ,可大大缩短产品的设计时间 .
- 许智钦闫明张宝峰王宇华郑义忠叶声华
- 关键词：逆向工程CCD边缘检测数据处理
- 我国有限公司最低资本额制度改革研究
- 公司资本在公司存在和运转的过程中无疑是扮演着极为重要的角色。因为历来我们认为：来源于全体股东的公司资本是公司获得独立人格的必备法律要件,因此它不仅体现了股东对公司的义务,也是股东对公司承担有限责任的物质前提;公司资本是公...
- 闫明
- 文献传递
- 基于数据变异的神经网络测试用例选择方法
- 2024年
- 深度神经网络目前已被广泛应用于自动驾驶、医疗诊断、语音识别、人脸识别等安全攸关领域,因此深度神经网络测试对于保证其质量非常关键.然而,为判断DNN模型预测是否正确而对测试用例进行标注的成本很高.因此,筛选出能够揭示DNN模型错误行为的测试用例并优先对其进行标注,能够尽快修复模型缺陷,从而提升DNN测试的效率、保证DNN模型质量.提出一种基于数据变异的测试用例选择方法DMS.该方法设计并实现数据变异算子生成变异模型,以模拟模型缺陷并捕获测试用例揭错时的动态模式,从而评估测试用例的揭错能力.在25个深度学习测试集和模型的组合上进行实验,结果表明,无论是筛选出的样本中揭错用例的比例还是揭错方向的多样性,DMS都要显著优于现有的测试用例选择方法.具体来说,以原始测试集作为候选集时,在选择10%的测试用例时,DMS能够筛选出候选集中53.85%–99.22%的揭错用例,在选择5%的测试用例时,DMS筛选出的测试用例已经几乎能覆盖所有的揭错方向.相较于8种对比方法,DMS平均多找出12.38%–71.81%的揭错用例,证明了DMS在测试用例选择任务中的显著有效性.
- 曹雪洁陈俊洁闫明尤翰墨吴卓王赞
- 关键词：软件测试测试用例选择
- 一种面向深度学习框架的程序切片的缺陷定位方法
- 本发明公开了一种面向深度学习框架的程序切片的缺陷定位方法，包括输入导致缺陷发生的原始失败测试用例，提取目标变异点；设计面向深度学习框架的变异规则；生成与原始失败测试用例变异执行路径高度相似且剔除了错误语句的突变测试用例；...
- 姜天杰王赞闫明陈俊洁
- 人民币纸币识别系统研究与设计实现
- 目前，中小型自动售货及服务系统在国内得到了迅速发展。人民币纸币识别系统是自助售货及服务系统的重要组成部分之一，其主要作用是对所接收的人民币纸币面值以及真伪进行辨别，并将相关信息传递给主控制系统，然后根据主控制系统命令来接...
- 闫明
- 关键词：自动售货机纸币识别图像处理
- 文献传递
