%0 Journal Article
%T 航天嵌入式软件运行时错误静态分析方法
%A 王崑声
%A 詹海潭
%A 经小川
%A 李宁
%A 张刚
%J 北京理工大学学报
%D 2013
%X 提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.
%K 运行时错误
%K 路径敏感
%K 上下文敏感
%K 属性模型
%K 属性流
%U http://journal.bit.edu.cn/zr/ch/reader/view_abstract.aspx?file_no=20130210&flag=1