导读:本文包含了代码验证论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:代码,建模,模型,测试,程序,向量,解调器。
代码验证论文文献综述
梁子财[1]（2019）在《数控加工G代码程序仿真验证软件开发》一文中研究指出利用Qt平台与OpenGL库开发了一款针对数控加工G代码程序的仿真验证软件,该软件能够根据加载的G代码程序自动绘制加工图像,同时可以检测G代码程序的错误并标记,方便用户提前验证G代码的可行性,减少资源浪费,缩短开发周期。(本文来源于《科技与创新》期刊2019年16期）
王丽娟,张荣,周昱,魏敬和[2]（2019）在《基于携带证明代码的IP核安全性验证方法》一文中研究指出针对集成电路在RTL代码级设计阶段由于使用第叁方IP软核引入的安全性问题,现有的功能测试方法较难实现全覆盖检测无法保障电路安全性。本文在已有基于携带证明代码思想的基础上改进提出一种安全性验证方法。该方法结合形式化验证平台coq,运用形式化逻辑描述电路代码和安全性假设,构造证明过程并采用系统的证明检查器验证证明过程。通过在DES电路代码的实验,说明了该验证方法能有效检测出电路中后门路径类型的硬件木马。相比较于测试类方法覆盖率不能达到100%而无法确定电路是非安全性,本文提出的方法可以确定电路是安全或非安全,能够保证电路代码级的安全可信性。(本文来源于《电子设计工程》期刊2019年05期）
鞠志敏[3]（2018）在《基于UVM的FPGA代码功能验证技术研究》一文中研究指出FPGA作为电子设计领域广泛使用的器件,其设计复杂性逐步提高。由于FPGA经常采用的基于Testbench功能验证方式,不能满足日渐复杂设计的稳定性和可靠性的需求。本文将集成电路验证中的通用验证方法学—UVM引入FPGA代码功能验证领域,对基于UVM的FPGA代码功能验证平台的设计方法以及关键技术进行研究。本文首先分析了基于UVM的验证平台的架构及主要运行机制,阐述了采用UVM实现FPGA代码功能验证的可行性与技术优势。UVM通过模块的可重用性以及并行开发特性,实现了快速搭建完整的验证平台。其中UVM模块化的设计使UVM验证平台具有高可重用性与开发的并行性;事务级数据传输保证了UVM验证模块间的高抽象级的数据传输;基于覆盖率驱动的验证使得UVM的验证具有完整性和高效性;phase机制保证UVM验证平台自动的有序的运行。UVM进行FPGA代码功能验证需要完成参考模型、测试向量、监视器、驱动器、计分板、环境、接口等模块设计,本文研究了参考模型、测试向量驱动器和监视器等关键模块的设计技术。其中参考模型设计中,包括参考模型数据传输接口的设计,参考模型的结构设计以及利用寄存器模型简化参考模型的设计;测试向量设计中,基于约束的随机保证测试向量的高效性,基于序列机制实现的测试向量有可重用性与层次性;驱动器和监视器的功能与数据传输接口的设计以及使用寄存器模型简化监视器和驱动器的设计。最后本文以CAN控制器逻辑的验证为例,研究搭建验证平台的方法。搭建的验证平台采用Modelsim进行仿真并分析结果,证明了利用UVM来搭建FPGA设计的验证平台是可行的,并且具有高效性,能够大大缩短FPGA设计的周期,快速定位出问题,保证设计的可靠性与稳定性。(本文来源于《哈尔滨工业大学》期刊2018-06-01）
陶虹平[4]（2018）在《多层可信软件代码中程序标注准确性验证仿真》一文中研究指出对多层可信软件代码中程序标注的准确性的验证,能够有效保证多层可信软件的正常运行。对程序标注准确性进行验证,需要建立软件不同程序行为切分的超平面,区分不同的标注错误类型,完成可信软件代码程序标注准确性的验证。传统方法结合机器学习算法,提取可以反映程序标注准确性行为的特征,但忽略了对标注错误类型的区分,导致验证精度偏低。提出基于支持向量机的多层可信软件代码中程序标注准确性验证方法。通过构建不准确标注的行为特征空间,建立不同程序行为切分的超平面,从而对不同的标注错误类型进行区分,对多层可信软件代码程序标注中所有权标注、效果标注、唯一性标注、恒定和只读标注、保护锁标注的内容准确性进行验证,从而实现程序标注准确性验证。实验结果表明,所提方法能够准确对多层可信软件代码中程序标注进行检测,保证了验证的准确性。(本文来源于《计算机仿真》期刊2018年04期）
黄涛[5]（2018）在《UVM验证平台自动生成及代码复用技术研究》一文中研究指出专用集成电路(ASIC)和片上系统(SoC)的复杂度和设计规模随着IC工艺的快速发展而日益增加。同时,复杂度和设计规模的增加势必会造成验证工作也变得日趋繁杂,验证的难度越来越大。数据显示,在IC研制的整个过程中,验证所花费的时间约占整个研制周期的60%至80%。所以,在芯片验证上所消耗的时间很大程度影响着SoC芯片上市的时间。可见,提高验证效率显得尤为重要。提高验证效率的途径较多,如使用先进的EDA工具或新的验证方法学。而作为最近被广泛推崇的新一代通用验证方法学,UVM(Universal Verification Methodology)验证方法学在大规模IC设计和FPGA测试中被越来越广泛地使用。然而,随着设计规模的不断增大,基于UVM的验证平台搭建代码工作量成倍增大,代码调试变得困难,验证平台的代码管理也越来越重要和复杂。本文从缩短验证平台搭建的时间和提高代码后期的复用性这两个角度出发,以市场占有率更高的AMBA构架SoC做为研究对象,提出一种为AMBA接口协议的IP核自动生成UVM验证平台或验证组件的代码产生器,且保证所生成的验证组件能够被纵向复用到后期的更高层次的验证工作中,以提高验证效率。Doulos公司的easier_uvm_code_generator代码生成器提供了一种基于Perl的UVM验证平台自动生成的解决方法。该代码生成器能较快速高效搭建UVM验证平台,在大幅提高验证工作效率的同时保证了UVM代码设计的一致性。但是,在使用该代码生成器前,需要大量的配置工作,还需要用户自己提供一些和协议相关的底层驱动代码。考虑到AMBA接口的IP在SoC系统中使用较多,同时为保证新开发的代码生成器的成熟性,本文在Doulos公司的easier_uvm_code_generator的基础上,设计了大量的适用于AMBA接口IP的底层UVM组件模板,在设计模板时,全方面多方位地融入了可复用的技巧和编码方式,使得组件具有较高的复用性。随后,将其融入代码生成器中,并对easier_uvm_code_generator的用户接口进行重新设计,使得新的代码生成器在生成AMBA接口IP的验证环境时,简单易用。实验结果表明,本文所设计的代码生成器能够极大的缩短搭建验证平台的时间,比如,以一个AHB接口从设备DUT为对象,自动生成验证平台只需要1秒钟,但是手动编写验证平台,最少需要3900秒。不仅如此,代码生成器生成的代码还能够很好的被复用。说明该代码生成器能够缩短验证周期,提高验证效率。(本文来源于《西安电子科技大学》期刊2018-04-01）
李凯宁,武淑红,王耀力[6]（2017）在《由MDA/PIM到Java代码的转换及验证》一文中研究指出在基于模型驱动架构(MDA)的软件开发设计过程中,为简化平台无关模型(PIM)到平台相关模型(PSM)以及PSM到可执行代码的多步转换问题,减少转换所花费的时间和精力,提出基于MDA规则及MOF建模体系的PIM到代码的间接转换方法。采用EMF建模框架建立业务流程建模符号(BPMN)与Java语言之间的联系,直接对其中间模型XML(PSM)完成面向对象建模,将模型检测算法加入模型转换规则,实现对如死锁、活锁等结构问题的检测。通过BPMN的典型实例验证了间接转换方法和模型检测算法的可行性和有效性。(本文来源于《计算机工程与设计》期刊2017年06期）
张焕国,吴福生,王后珍,王张宜[7]（2018）在《密码协议代码执行的安全验证分析综述》一文中研究指出密码协议安全验证分析是信息安全重点研究之一.常用的密码协议安全分析(例如,形式化分析、计算模型分析、计算可靠的形式化分析)只能从理论上验证或证明密码协议的安全,无法确保密码协议代码实际执行的安全.只有当密码协议在代码执行时被验证或证明安全,才能保障密码协议在实现中是安全的.因此,代码级的密码协议安全验证分析是值得关注的方向.文中分别从自动模型提取、代码自动生成、操作语义及程序精化4个方面,综述代码级的密码协议安全验证分析,并对当前代码级的密码协议安全验证分析领域中的最新成果进行详细比较、分析、总结和评论.文中以常用程序语言(C、Java、F#等)编写的密码协议为例,重点阐述密码协议代码执行的安全验证分析,并展望代码级的密码协议安全验证分析的研究方向.(本文来源于《计算机学报》期刊2018年02期）
[8]（2016）在《Simulink验证和代码生成工具通过IEC 62304标准验证》一文中研究指出MathWorks已获得TüV SüD认证的Simulink Verification and Validation、Simulink Design Verifier、Simulink Test、Embedded Coder和Polyspace,经过相关专业验证,现可应用于符合IEC 62304标准的开发流程。这次独立评估使医疗设备设计工程师将MathWorks基于模型的设计工具应用于符合IEC 62304标准和FDA认证的开发流(本文来源于《单片机与嵌入式系统应用》期刊2016年07期）
陈俊辑[9]（2015）在《基于SSH的代码验证管理平台的设计与实现》一文中研究指出为了最大限度的提升硬件的利用率,虚拟化技术在今天得到了长足的发展,大量成熟的虚拟化产品在各行各业中得到广泛的应用。每一款虚拟化产品在发布前都会经过大量的测试,例如对虚拟存储模块进行测试。虚拟化产品有着比普通软件产品更加复杂的结构,伴随着的是虚拟化产品测试难度和复杂度的上升。为了加强对虚拟化产品质量的掌控和减轻测试人员的负担,自动化的回归测试被引入并在整个测试过程中占有重要地位。自动化的回归测试通常使用测试人员开发的多组测试用例,对多个模块进行反复的测试,随着虚拟化产品更迭速度不断加快,测试用例也需要根据新的产品特性进行变更或新增此时用例。为了避免多名测试人员在更改同一组测试用例时由于个人疏忽,导致同组的其他测试用例失效,以至于在后续工作中无法使用测试用例对产品进行定期的回归测试,测试团队提出了对虚拟化产品回归测试中使用的测试用例进行定期回归测试的解决方案。本文主要研究了虚拟化产品回归测试的过程,对回归测试用例的选择进行了分析,并提出了一套解决方案,实现对测试用例的定期回归测试,这就是代码验证管理平台。该平台采用MVC架构,使用当前流行的SSH开发框架进行实现。该平台定时的对测试人员提交的测试用例代码进行验证。同时详细的记录下每个版本的测试用例代码的修改位置和每次验证的详细结果。该平台增强了测试用例代码的健壮性,避免了多次人为失误导致的测试用例失效的严重后果。本文在软件工程思想的指导下,按照软件开发的流程,逐步实现了代码验证管理平台。首先,本人调研了虚拟化产品的回归测试流程,对测试用例的修改和选择有了深入的了解,并对代码验证管理平台进行了详细的需求分析。其次,在需求分析的指导下,本人对代码验证管理平台进行了整体的架构设计和各个模块的详细设计。再次,本人依据系统设计,采用SSH开发框架,对各个模块进行代码实现。最后,本人对代码验证管理平台进行了系统化的测试,并根据测试结果进一步完善了平台的可用性和安全性。(本文来源于《北京邮电大学》期刊2015-06-17）
张鸣芸,王薇,王立民[10]（2015）在《星载解调器代码的验证》一文中研究指出专用集成电路(ASIC)在卫星通信系统的应用使得设计开发周期变短,为了保证可靠性则需要对代码进行充分的测试验证,这将耗用较多时间。为了解决这个问题,在有限的时间内对星上代码进行快速有效的验证,介绍了一种覆盖率引导的功能验证方法。采用该方法对星上解调器代码进行了验证,详细介绍了验证过程。测试结果表明,该方法可有效加速代码验证过程,保证可靠性。(本文来源于《无线电工程》期刊2015年07期）
代码验证论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对集成电路在RTL代码级设计阶段由于使用第叁方IP软核引入的安全性问题,现有的功能测试方法较难实现全覆盖检测无法保障电路安全性。本文在已有基于携带证明代码思想的基础上改进提出一种安全性验证方法。该方法结合形式化验证平台coq,运用形式化逻辑描述电路代码和安全性假设,构造证明过程并采用系统的证明检查器验证证明过程。通过在DES电路代码的实验,说明了该验证方法能有效检测出电路中后门路径类型的硬件木马。相比较于测试类方法覆盖率不能达到100%而无法确定电路是非安全性,本文提出的方法可以确定电路是安全或非安全,能够保证电路代码级的安全可信性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
代码验证论文参考文献
[1].梁子财.数控加工G代码程序仿真验证软件开发[J].科技与创新.2019
[2].王丽娟,张荣,周昱,魏敬和.基于携带证明代码的IP核安全性验证方法[J].电子设计工程.2019
[3].鞠志敏.基于UVM的FPGA代码功能验证技术研究[D].哈尔滨工业大学.2018
[4].陶虹平.多层可信软件代码中程序标注准确性验证仿真[J].计算机仿真.2018
[5].黄涛.UVM验证平台自动生成及代码复用技术研究[D].西安电子科技大学.2018
[6].李凯宁,武淑红,王耀力.由MDA/PIM到Java代码的转换及验证[J].计算机工程与设计.2017
[7].张焕国,吴福生,王后珍,王张宜.密码协议代码执行的安全验证分析综述[J].计算机学报.2018
[8]..Simulink验证和代码生成工具通过IEC62304标准验证[J].单片机与嵌入式系统应用.2016
[9].陈俊辑.基于SSH的代码验证管理平台的设计与实现[D].北京邮电大学.2015
[10].张鸣芸,王薇,王立民.星载解调器代码的验证[J].无线电工程.2015
论文知识图
