导读:本文包含了代码检验论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:代码,错误,国家外汇管理局,数控,模型,国际收支,气囊。
代码检验论文文献综述
张宇宽[1]（2019）在《车辆识别代码真伪检验研究》一文中研究指出车辆识别代码(VIN)是车辆的"身份证",是车辆身份认定的重要标识,交警可以通过查询车架号跟踪车辆,比对车架号与车牌号码登记是否一致,从而确定车辆是否可疑,近年来,通过篡改、销毁车架号进行的走私、盗窃车辆贩卖现象严重影响了车辆登记管理及交通安全,对交通运输及生产造成了不可小觑的影响,本文主要根据实践经验,结合案例介绍可疑车架号特征的识别方式,并对方法进行归类,并总结出相应检验步骤、原则。(本文来源于《法制博览》期刊2019年22期）
郭心睿[2]（2017）在《基于“生成—检验”框架的软件代码错误自动修复技术研究》一文中研究指出错误修复耗时耗力,且在软件开发过程中不可避免,因此研究代码错误自动修复技术对提高软件开发效率具有重要意义。近年来基于“生成-检验”框架的自动修复技术得到了研究界的广泛关注。“生成-检验”系统以程序源代码和测试集为输入,生成可能的代码修改方案,使得修改后程序能够通过测试集。现有系统在公开测试集上的实验效果表明“生成-检验”系统具有修复代码错误的能力,但在执行效率、修复正确率上仍有较大优化空间。基于此,本文提出在系统模块优化(错误定位、搜索引擎)与框架扩展两个方面对基于“生成-检验”框架的代码错误自动修复技术展开研究,提高系统的执行效率和修复正确率。本文的主要工作有:·针对错误定位模块,本文首次提出测试期望错误对SFL算法定位精度产生负面影响这一问题,并给出实验数据支持。在此基础上,本文提出一种测试期望纠错算法,通过计算测试用例执行路径之间的相似度找出不合理的测试期望判断结果,即识别测试期望对测试结果的错误判断并将其修复。实验表明,使用纠错后的测试期望能够使SFL定位精度明显提高。·针对搜索引擎模块,本文提出一种“预过滤”算法,针对与表达式修改、替换相关的修复方案,该算法能够在检验器检验前滤除不可能成功的修复方案,减少检验器检验的工作量,从而压缩搜索空间,提高搜索效率。实验表明,“预过滤”算法能够使搜索空间压缩到过滤前的10%左右,在某些复杂程序中搜索空间的压缩比例甚至小于1%。·针对“生成-检验”框架,本文提出两种扩展方案。其一是“交互式调试”,目的是使系统利用开发人员对程序运行状态的判断提高系统错误定位精度,从而提高运行效率。实验表明,交互式系统能够加速开发人员的调试过程。其二是“融合针对特定类型错误修复算法的可扩展框架”,目的是利用其他技术路线的优势增强系统修复能力。本文给出了可扩展框架的实现方案,并以空指针异常修复算法为例在框架中完成二次开发。实验表明,系统能够完成空指针异常修复功能,框架扩展方案具有可行性。(本文来源于《清华大学》期刊2017-06-01）
庄少红,许良纳,伍梓健[3]（2015）在《基于外壳防护等级(IP代码)检验标准差异的分析(一)——IEC 60529:2001与IEC 60598:200》一文中研究指出着重介绍IEC 60529:2001标准与IEC 60598:2008在检验方面存在的差异,并对此进行比较分析,从而更清晰地了解两个标准的检验要求和功能,更好地选定标准进行检验,以达到标准的相关要求和检验的目的(本文来源于《环境技术》期刊2015年04期）
马元元,张皓,敖琪[4]（2014）在《机动车车辆识别代码检验存在的问题及对策》一文中研究指出机动车车辆识别代码是车辆的合法"身份证",具有世界统一的行业编制规则和30年不重复的特点,该代码的检验结论对于打击盗窃、抢劫、走私、套牌和拼装机动车辆犯罪活动具有重要作用。当前我国机动车车辆识别代码检验工作中存在问题及解决问题的对策值得探讨。(本文来源于《中国司法鉴定》期刊2014年05期）
谢晓东[5]（2012）在《基于模型检验的固件恶意代码检测技术研究》一文中研究指出微控制器是电子设备中的核心器件。对微控制器中的固件恶意代码进行检测，是电子设备安全性分析研究的热点和重要内容。开展固件代码恶意性检测不仅有利于发现设备中存在的安全隐患，同时有助于电子设备故障排除和设备维护。本文以国家“863”目标导向类课题（编号2009AA01Z434）的研发为背景，结合固件代码的特点，分析了固件恶意功能实现机制，重点对固件恶意代码的检测方法进行研究，采用模型检验技术，实现对固件恶意代码的检测。论文的主要工作和贡献包括：1、提出了一种将控制流分析和数据流分析相结合的Kripke结构生成算法。针对由固件代码生成Kripke结构时遇到的间接跳转、间接存储、调用返回、中断和时序等问题，综合运用了变量定值分析、区间分析以及快速位运算算法等多项技术，成功解决了Kripke结构生成中的关键问题，实现了Kripke结构的自动构建。2、提出了一种面向位运算的变量区间分析方法——快速位运算算法。该算法包括了变量的不确定位形式（Uncertainty Bit Form, UBF）计算算法、面向UBF的位运算算法和UBF的区间生成算法，用于解决因固件代码中同时存在字节级（标量）和位级（向量）两种运算而造成的计算效率问题。实验结果表明，快速位运算算法在程序变量取值范围较大时效率远高于依次迭代法，并且算法耗时整体稳定，随着区间范围的增大呈下降趋势。3、设计并实现了基于模型检验的固件恶意代码检测原型系统FPAnalyzer。测试结果表明该系统能够成功检测固件恶意代码，验证了本文研究方法的正确性和有效性。(本文来源于《解放军信息工程大学》期刊2012-04-15）
魏雪菲,吴健,阮园[6]（2012）在《基于错误模式和模型检验的静态代码分析方法》一文中研究指出为提高程序编写的正确率,减少软件开发和维护开销,提出一种基于错误模式和模型检验的静态代码分析方法。该方法将C语言程序常见的错误模式以CTL公式表示,形成可扩展的CTL公式库,生成待检测程序的控制流图(CFG)后,将CFG抽象并转化为等价的Kripke结构,利用标号算法实现模型检验,由此验证程序的正确性。基于CoSy编译平台的实验结果表明,该方法能正确查找出程序中存在的错误模式,且具有良好的可扩展性。(本文来源于《计算机工程》期刊2012年06期）
孟策,贺也平,罗宇翔[7]（2008）在《C代码API一致性检验中的等值分析》一文中研究指出在实际中对C代码进行API一致性检验的过程中发现,API(application programming interface)规范大都涉及以数值为论域的时序性质,与在静态分析过程中所能获取的以变量符号为占位符的独立语义之间存在分析上的缺口.在仔细考察C代码变量符号间等值关系的基础上,给出基于值等价类空间的等值分析方法.这种流相关的分析方法不仅可以在API一致性检验的过程中维护变量符号域和数值域之间的对应关系,而且由于能够屏蔽等值关系以外的其他信息,还可以为后继分析的优化提供有力的支持.(本文来源于《软件学报》期刊2008年10期）
邢迪雄,焦梓实,曹峰[8]（2008）在《数控代码识别及检验系统的研究》一文中研究指出在使用Visual C++和OpenGL开发了数控车床仿真系统的基础上,分析了数控代码的识别及检查系统,并且根据不同系统可以相应的扩充,它能够满足数控加工程序正确性检查和加工几何仿真的需要,具有良好的实用性。(本文来源于《机械制造与自动化》期刊2008年01期）
龚小玲[9]（2006）在《气囊抛光机床数控代码生成与检验技术的研究》一文中研究指出气囊抛光是一种新颖的抛光方法，该方法采用了新型的抛光工具和独特的运动形式，是一种高精度、高效率的加工光学元件的方法，具有广阔的应用前景。为了提高加工的自动化程度和系统的控制精度，气囊抛光机床配备了基于PMAC运动控制卡的数控系统，由于气囊抛光运动的特殊性，现有的CAD/CAM软件难以解决其数控代码生成的问题，因此本文主要开展了气囊抛光机床数控代码生成及代码检验技术的研究。首先，本文研究并制定了刀位文件的格式，该文件为后置处理提供加工过程中的工艺参数信息以及加工路径信息。在分析了气囊抛光机床的运动方式和机床结构的基础上，建立了机床数学模型，推导了后置处理算法，研究了“进动”机构的运动规律。然后，参照国际数控指令标准制定了气囊抛光数控系统指令规范，研究了数控代码生成的方法，并在此基础上对气囊抛光数控代码的检验技术进行了研究。在以上理论研究的基础上，本文以SolidWorks叁维造型软件为图形平台，以Visual C++为软件开发工具，采用面向对象的方法，开发了气囊抛光代码生成和代码检验软件系统，有效地解决了气囊抛光数控系统中代码生成的问题。由于气囊抛光数控系统基于PMAC运动控制卡实现，为使数控程序能驱动气囊抛光机床，开发了气囊抛光数控加工软件。该软件用于将数控指令转换为相应的PMAC运动控制指令后驱动气囊抛光机床进行加工。最后，本文进行了气囊抛光实验，通过实验验证了本系统生成的数控代码在实际应用中的正确性和可靠性。(本文来源于《哈尔滨工业大学》期刊2006-06-01）
[10]（2004）在《国家外汇管理局 国家质量监督检验检疫总局关于下发《国际收支统计申报中特殊机构代码赋码业务操作规程》的通知》一文中研究指出国家外汇管理局各省、自治区、直辖市分局、外汇管理部,深圳、大连、青岛、厦门、宁波市分局;各中资外汇指定银行总行;各省、自治区、直辖市及计划单列市质量技术监督局:为完善外汇监管,提高国际收支统计数据信息的全面性、准确性和标识的统一性,解决国际收支统计申报中特殊机构代码的赋码问题,根据国家外汇管理局和国家质量监督检验检疫总局《关于在外汇业务中全面使用组织机构代码标识的通知》(汇发[2002]24号)的规定,将对国际收支统计申报中的特殊机构赋予代码。为此,国家外汇管理局和国家质量监督检验检疫总局联合制定了《国际收支统计申报中特殊机构代码赋码业务操作规程》(以下简称《规程》,见附件)。现将该《规程》(本文来源于《中华人民共和国国务院公报》期刊2004年28期）
代码检验论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
错误修复耗时耗力,且在软件开发过程中不可避免,因此研究代码错误自动修复技术对提高软件开发效率具有重要意义。近年来基于“生成-检验”框架的自动修复技术得到了研究界的广泛关注。“生成-检验”系统以程序源代码和测试集为输入,生成可能的代码修改方案,使得修改后程序能够通过测试集。现有系统在公开测试集上的实验效果表明“生成-检验”系统具有修复代码错误的能力,但在执行效率、修复正确率上仍有较大优化空间。基于此,本文提出在系统模块优化(错误定位、搜索引擎)与框架扩展两个方面对基于“生成-检验”框架的代码错误自动修复技术展开研究,提高系统的执行效率和修复正确率。本文的主要工作有:·针对错误定位模块,本文首次提出测试期望错误对SFL算法定位精度产生负面影响这一问题,并给出实验数据支持。在此基础上,本文提出一种测试期望纠错算法,通过计算测试用例执行路径之间的相似度找出不合理的测试期望判断结果,即识别测试期望对测试结果的错误判断并将其修复。实验表明,使用纠错后的测试期望能够使SFL定位精度明显提高。·针对搜索引擎模块,本文提出一种“预过滤”算法,针对与表达式修改、替换相关的修复方案,该算法能够在检验器检验前滤除不可能成功的修复方案,减少检验器检验的工作量,从而压缩搜索空间,提高搜索效率。实验表明,“预过滤”算法能够使搜索空间压缩到过滤前的10%左右,在某些复杂程序中搜索空间的压缩比例甚至小于1%。·针对“生成-检验”框架,本文提出两种扩展方案。其一是“交互式调试”,目的是使系统利用开发人员对程序运行状态的判断提高系统错误定位精度,从而提高运行效率。实验表明,交互式系统能够加速开发人员的调试过程。其二是“融合针对特定类型错误修复算法的可扩展框架”,目的是利用其他技术路线的优势增强系统修复能力。本文给出了可扩展框架的实现方案,并以空指针异常修复算法为例在框架中完成二次开发。实验表明,系统能够完成空指针异常修复功能,框架扩展方案具有可行性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
代码检验论文参考文献
[1].张宇宽.车辆识别代码真伪检验研究[J].法制博览.2019
[2].郭心睿.基于“生成—检验”框架的软件代码错误自动修复技术研究[D].清华大学.2017
[3].庄少红,许良纳,伍梓健.基于外壳防护等级(IP代码)检验标准差异的分析(一)——IEC60529:2001与IEC60598:200[J].环境技术.2015
[4].马元元,张皓,敖琪.机动车车辆识别代码检验存在的问题及对策[J].中国司法鉴定.2014
[5].谢晓东.基于模型检验的固件恶意代码检测技术研究[D].解放军信息工程大学.2012
[6].魏雪菲,吴健,阮园.基于错误模式和模型检验的静态代码分析方法[J].计算机工程.2012
[7].孟策,贺也平,罗宇翔.C代码API一致性检验中的等值分析[J].软件学报.2008
[8].邢迪雄,焦梓实,曹峰.数控代码识别及检验系统的研究[J].机械制造与自动化.2008
[9].龚小玲.气囊抛光机床数控代码生成与检验技术的研究[D].哈尔滨工业大学.2006
[10]..国家外汇管理局国家质量监督检验检疫总局关于下发《国际收支统计申报中特殊机构代码赋码业务操作规程》的通知[J].中华人民共和国国务院公报.2004
论文知识图
