| 航天嵌入式软件运行时错误静态分析方法 |
| |
| 引用本文： | 王崑声,詹海潭,经小川,李宁,张刚.航天嵌入式软件运行时错误静态分析方法[J].北京理工大学学报,2013,33(2):160-165. |
| |
| 作者姓名： | 王崑声 詹海潭 经小川 李宁 张刚 |
| |
| 作者单位： | 中国航天科技集团公司第七一○研究所,北京,100037;中国航天科技集团公司第七一○研究所,北京,100037;中国航天科技集团公司第七一○研究所,北京,100037;中国航天科技集团公司第七一○研究所,北京,100037;中国航天科技集团公司第七一○研究所,北京,100037 |
| |
| 基金项目： | 国家"八六三"计划项目(2009AA010313);国家自然科学基金重点资助项目(90818024) |
| |
| 摘 要： | 提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.
|
| 关 键 词： | 运行时错误 路径敏感 上下文敏感 属性模型 属性流 |
| 收稿时间： | 2011/10/20 0:00:00 |
Program Static Analysis on Runtime Error for Aerospace Embedded Software |
| |
| WANG Kun-sheng,ZHAN Hai-tan,JING Xiao-chuan,LI Ning and ZHANG Gang.Program Static Analysis on Runtime Error for Aerospace Embedded Software[J].Journal of Beijing Institute of Technology(Natural Science Edition),2013,33(2):160-165. |
| |
| Authors: | WANG Kun-sheng ZHAN Hai-tan JING Xiao-chuan LI Ning and ZHANG Gang |
| |
| Institution: | No. 710 Institute, China Aerospace Science and Technology Corporation, Beijing 100037, China |
| |
| Abstract: | A novel program analysis method for run-time error detection based on property model is proposed. A property that describes the generation process of a certain run-time error is primarily given. And then, a finite state machine (FSM) is constructed to model the property. Finally, the branches for which the property-related behavior differs along the arms of the branch are abstracted, and the run-time error is found by analyzing these paths with path-sensitive and context-sensitive method. Experimental results show the proposed approach produces a better balance between the precision and efficiency compared with the latest run-time error detection methods. |
| |
| Keywords: | path sensitive context sensitive runtime error property model property flow |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《北京理工大学学报》浏览原始摘要信息 |
| 点击此处可从《北京理工大学学报》下载免费的PDF全文 |
|
