基于指针分析的嵌入式系统软件故障检测方法研究

摘要

针对嵌入式系统窗体指针相关故障检测难题,本文提出了一种基于指针分析的嵌入式系统软件故障检测方法,首先分析嵌入式窗体指针相关故障的特点,然后定义指针映射代数系统和映射集,在此基础上给出窗体指针故障检测规则和窗体指针映射集的构造规则,提出改进的窗体指针故障检测算法,通过某嵌入式系统软件实例验证表明,该方法准确有效,实现了嵌入式系统中软件内存故障的静态检测和精确定位.