大型嵌入式软件设计中的缺陷定位技术研究

摘要：

传统方法检测软件设计中的整型符号转换缺陷时,只能检测到缺陷的“征兆”,无法检测到缺陷的根源,无法准确定位整型符号转换缺陷形成的位置.因此,提出基于动态方法的嵌入式软件设计中缺陷定位技术.其构建在二进制插桩框架Valgrind上,采用种类推导方法检测整型变量的符号种类信息,通过种类推导方法辨识整型变量的符号种类信息,获取内存相关库函数为冲突种类参数的集合,将其作为潜在整型符号变换缺陷候选集.通过动态插桩技术检测候选集,准确检测整型符号转换缺陷代码的位置.实验结果表明,所提方法准确检测出了整型符号转换缺陷,性能较高.

关键词：大型嵌入式软件、软件设计、整型符号转换、缺陷定位

所属期刊栏目：40

分类号：TN926-34;TP311.52

资助基金：国家自然科学基金青年基金51405419

在线出版日期：2017-10-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：83-85