[发明专利]一种航天嵌入式C语言软件运行时错误的静态分析方法有效
| 申请号： | 201110291315.2 | 申请日： | 2011-09-29 |
| 公开（公告）号： | CN102508766A | 公开（公告）日： | 2012-06-20 |
| 发明（设计）人： | 王崑声;詹海潭;经小川;张刚;李宁 | 申请（专利权）人： | 中国航天科技集团公司第七一〇研究所 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 中国航天科技专利中心 11009 | 代理人： | 臧春喜 |
| 地址： | 100048*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种航天嵌入式C语言软件运行时错误的静态分析方法。包括：(1)将航天嵌入式C语言软件运行时错误按照错误的发生机制进行分类，根据每类错误构造属性状态机的步骤。(2)根据构造的待检测软件源代码的程序控制流图和属性状态机获得程序控制流图中各节点的属性状态和路径条件的步骤。(3)根据获得的属性状态和路径条件对运行时错误进行分析的步骤。采用本发明提高了对航天嵌入式C语言软件运行时错误进行检测的准确度和效率。 | ||
| 搜索关键词： | 一种 航天 嵌入式 语言 软件 运行 错误 静态 分析 方法 | ||
【主权项】：
一种航天嵌入式C语言软件运行时错误的静态分析方法，其特征在于包括以下步骤：(1)对航天嵌入式C语言软件运行时错误进行分类，按照分类后每类错误的属性模式构造属性状态机，所述属性状态机包括程序运行过程中可能出现的属性状态Di，i＝{1，…n}，n为每类错误中的属性状态总数，Di包括程序运行过程中可能的出现的错误状态；(2)按照程序的控制流程图和运行时错误的属性状态机，根据控制流程图中位置l处的节点信息和输入属性状态σl_in，获得经位置l处的节点处理后的输出属性状态σl_out和路径条件Cs，l，其中，s为到达位置l处的路径；(3)判断σl_out与属性状态Di的关系：若σl_out为Di中的错误状态，则将路径条件Cs，l作为可能出现的错误提示输出，并不再对Cs，l进行后续分析；否则，将σl_out作为下一个位置处的输入属性状态返回步骤(2)，直到程序出口。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国航天科技集团公司第七一〇研究所，未经中国航天科技集团公司第七一〇研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201110291315.2/，转载请声明来源钻瓜专利网。
- 上一篇：基于自主动作、想象动作下脑肌电信号联合分析方法
- 下一篇：一种搓澡皮带
