排序方式: 共有1条查询结果,搜索用时 31 毫秒
1
1.
航天嵌入式软件运行时错误静态分析方法 总被引:1,自引:0,他引:1
提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡. 相似文献
1