利用智能控制流方法的嵌入式软件故障检测

摘要：

针对现有的嵌入式软件故障检测方法性能低、开销大的缺点,提出一种智能选择检测点的控制流方法,其创新之处主要为:使用变量的频率和基本块的执行频率用作选择重要变量和基本块的两个参数.检测的基本流程是首先过滤器还原标准C语句为伪代码语句,然后扫描仪获取伪代码,并发送它到解析器,进行程序的控制流图提取.最后,解析器提取程序的前后支配树,运用候选块寻找算法进行节点分类,获得块断言和变量.实验结果表明,固化代码中程序执行时间少于RSCFC方法,但是内存开销和代码开销几乎相同,执行时间比率接近1,显著提高故障检测率.

关键词：嵌入式软件、智能选择、控制流、内核块、基本块

所属期刊栏目：41

分类号：TP391(计算技术、计算机技术)

资助基金：平顶山学院青年基金重点项目PDSU-QNJJ-2013002;企业信息化与物联网测控技术四川省高校重点实验室项目2014WZY05

在线出版日期：2015-11-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：20-23