-
题名大型嵌入式软件设计中的缺陷定位技术研究
被引量:1
- 1
-
-
作者
王力群
缪兴华
-
机构
南京铁道职业技术学院
南京航空航天大学机电学院
-
出处
《现代电子技术》
北大核心
2017年第16期83-85,共3页
-
基金
国家自然科学基金青年基金(51405419)
-
文摘
传统方法检测软件设计中的整型符号转换缺陷时,只能检测到缺陷的"征兆",无法检测到缺陷的根源,无法准确定位整型符号转换缺陷形成的位置。因此,提出基于动态方法的嵌入式软件设计中缺陷定位技术。其构建在二进制插桩框架Valgrind上,采用种类推导方法检测整型变量的符号种类信息,通过种类推导方法辨识整型变量的符号种类信息,获取内存相关库函数为冲突种类参数的集合,将其作为潜在整型符号变换缺陷候选集。通过动态插桩技术检测候选集,准确检测整型符号转换缺陷代码的位置。实验结果表明,所提方法准确检测出了整型符号转换缺陷,性能较高。
-
关键词
大型嵌入式软件
软件设计
整型符号转换
缺陷定位
-
Keywords
large embedded software
software design
integer notation transformation
defect positioning
-
分类号
TN926-34
[电子电信—通信与信息系统]
TP311.52
[自动化与计算机技术—计算机软件与理论]
-