航天嵌入式软件运行时错误静态分析方法

摘要：

提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机；并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.

关键词：运行时错误、路径敏感、上下文敏感、属性模型、属性流

所属期刊栏目：33

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

资助基金：国家"八六三"计划项目2009AA010313;国家自然科学基金重点资助项目90818024

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

页数：共6页

页码：160-165