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

• 作者: 王力群 缪兴华
• 来源期刊: 现代电子技术
• 关键词: 大型嵌入式软件 软件设计 整型符号转换 缺陷定位
• 年，卷（期）: 2017,（16）
• 所属期刊栏目: 嵌入式技术
• 页码范围: 83-85
• 页数: 3页
• 分类号: TN926-34|TP311.52
• 语种: 中文
• DOI: 10.16652/j.issn.1004-373x.2017.16.025

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王力群		14	32	3.0	5.0
2	缪兴华	南京航空航天大学机电学院	8	17	2.0	3.0