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

Research on defect positioning technology for design process of large embedded software

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

The integer notation for detecting the transformation 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 transformation 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 transformation defect. The dynamic pile tech- nique can accurately detect the position of integer notation transformation defect code by detecting the candidate set. The experimental results indicate that the proposed method can accurately detect the integer notation transformation defects.