航天嵌入式软件缺陷检测方法研究、系统研发及应用

本项目对嵌入式软件缺陷模式及检测方法进行研究，并研发实用化的测试系统，以检测载人航天工程和探月工程软件源代码缺陷。在标准C/C++缺陷模式研究的基础上，研究Keil C51、GCC 和CCS IDE的缺陷模式，建立其缺陷模式数据库。主要从三个方面来提高缺陷检测的精度：在区间和区间集变量抽象表示基础上，采用符号运算处理变量之间的关联关系，提高变量抽象取值计算的精度；通过更加精化的状态合并策略，包括控制流汇合节点选择策略和状态选择合并策略，提高路径敏感缺陷检测算法的精度；采用变量的抽象取值来表示函数调用的上下文信息，根据缺陷检测的特点，研究基于函数摘要的上下文敏感函数间分析方法，将函数间缺陷检测问题转化为函数内缺陷检测问题。根据之前建立的缺陷数据库，采用数据挖掘技术研究缺陷之间的关联关系，用于指导缺陷的分析、检测与确认。