原创《大型嵌入式软件设计中的缺陷定位技术》：该文是关于缺陷定位技术论文范文，为你的论文写作提供相关论文资料参考。
摘 要： 传统方法检测软件设计中的整型符号转换缺陷时,只能检测到缺陷的“征兆”,无法检测到缺陷的根源,无法准确定位整型符号转换缺陷形成的位置.因此,提出基于动态方法的嵌入式软件设计中缺陷定位技术.其构建在二进制插桩框架Valgrind上,采用种类推导方法检测整型变量的符号种类信息,通过种类推导方法辨识整型变量的符号种类信息,获取内存相关库函数为冲突种类参数的集合,将其作为潜在整型符号变换缺陷候选集.通过动态插桩技术检测候选集,准确检测整型符号转换缺陷代码的位置.实验结果表明,所提方法准确检测出了整型符号转换缺陷,性能较高.
关键词： 大型嵌入式软件； 软件设计； 整型符号转换； 缺陷定位
中图分类号： TN926?34； TP311.52 文献标识码： A 文章编号： 1004?373X（2017）16?0083?03
Abstract： The integer notation for detecting the tranormation defect in the design of the traditional software detection method can only detect the "symptoms" of the defect, but can"t detect the root cause of the defect, so it is unable to pinpoint the position formed in the process of the integer notation tranormation defect. Therefore, the defect positioning technology in the embedded software design based on dynamic method is put forward. It is constructed on the binary pile framework Valgrind to detect symbol type information of integer variables by the sort derivation method. The species derivation method is used to identify the symbolic sort information of the integer variables, and obtain the conflict species parameter set in memory related library function, which will be taken as a potential candidate set of integer notation tranormation defect. The dynamic pile technique can accurately detect the position of integer notation tranormation defect code by detecting the candidate set. The experimental results indicate that the proposed method can accurately detect the integer notation tranormation defects.
Keywords： large embedded software； software design； integer notation tranormation； defect positioning
如今的大型软件开发中存在复杂性和抽象性缺陷,受到嵌入式系统时间以及空间资源有限的干扰,导致检测大型嵌入式软件缺陷的难度不断提升.而软件设计中的整型符号转换缺陷较多,该种缺陷的隐蔽性强,同其他缺陷融合,会形成内存缺陷,对程序造成严重损害[1].传统方法检测该种缺陷时,只能检测到缺陷的“征兆”,无法检测到缺陷的根源.因此,寻求有效的方法,检测大型嵌入式软件设计中的整型缺陷,具有较高的应用价值.
1 动态方法嵌入式软件设计中的缺陷定位技术
1.1 整型符号转换缺陷
本文方法检测整型符合转换缺陷过程中,应先截获内存相关库函数,检测整型参数的符号种类.定义需要截获的内存相关库函数和潜在函数,如表1所示.
表1 潜在函数列表
1.2 总体设计
本文方法在二进制级别上对符号转换错误产生的缓冲区溢出缺陷实施检测.检测整型符号转换缺陷时,应先获取程序变量的符号种类信息[2?3],再采集引发符号冲突的指令地址,对缺陷形成的位置实时定位[4].设计的缺陷检测系统构建在二进制插桩框架Valgrind上,將整型符号检测转换缺陷的检测方法应用到原型工具Sconveheck的实现中.系统总体架构如图1所示.
图1中描述的系统包括Valgrind内核部分和原型工具Sconvcheck,Valgrind内核可同底层参照系统完成交互.Sconvcheck提供的功能能够完成符号转换缺陷的检测和定位.
总体系统的运行流程是：将二进制代码变换成中间描述形式（VEX,IR）,为分析指令的隐藏信息提供依据[5]；在中间代码层面中,检测各条中间代码指令,采集变量存储单元中涵盖的符号种类信息；收集内存相关函数定义,得到少数参数的符号种类信息,对这些映射关系实施初始化设置；采用数据流分析各变量的符号种类信息,存储变量符号信息.后续得到新种类符号时,将其同前期获取的符号种类进行对比[6],如果不一致,则说明是冲突种类,存储当前指令；通过种类推导方法检索潜在符号缺陷候选集,依据存储的符号种类信息对整型符号变换缺陷代码实时定位.
缺陷定位技术论文参考资料：
结论：大型嵌入式软件设计中的缺陷定位技术为关于本文可作为缺陷定位技术方面的大学硕士与本科毕业论文缺陷定位技术论文开题报告范文和职称论文论文写作参考文献下载。
