嵌入式程序的故障行为分析

摘要

为分析由程序内部缺陷引发的程序异常行为,首先给出了程序行为的表征方法,并对程序基准行为和故障行为做出形式化描述.在此基础上,又提出了能够反映程序故障行为特性的三个量化指标.其次,设计并实现了一种以系统调用为程序状态提取粒度的实验方法,并以嵌入式基准程序为对象进行故障注入实验以获得上述三个量化指标值.实验表明,不同故障类型下的程序行为特征存在较大差异,且这些差异主要来源于与嵌入式程序的实现机制、结构特性等相关的故有特性.因此,本文提出的故障行为分析方法能合理揭示嵌入式程序在故障下的响应行为.