发明公开
- 专利标题: 一种航天软件临界资源访问冲突检测方法
- 专利标题(英): Spaceflight software critical resource accessing conflict detection method
-
申请号: CN201711292178.8申请日: 2017-12-07
-
公开(公告)号: CN107967213A公开(公告)日: 2018-04-27
- 发明人: 刘博 , 严云红 , 徐峰 , 程云龙 , 金燕 , 刘汉兵 , 刘雄 , 吴建桔 , 康岭 , 沈宗月 , 朱波 , 彭立章 , 秦金彪 , 吴旭东
- 申请人: 上海宇航系统工程研究所
- 申请人地址: 上海市闵行区金都路3805号
- 专利权人: 上海宇航系统工程研究所
- 当前专利权人: 上海宇航系统工程研究所
- 当前专利权人地址: 上海市闵行区金都路3805号
- 代理机构: 上海汉声知识产权代理有限公司
- 代理商 黄超宇; 胡晶
- 主分类号: G06F11/36
- IPC分类号: G06F11/36
摘要:
本发明公开了一种航天软件临界资源访问冲突检测方法,由词法分析单元进行词法分析后,识别出词牌流,语法分析单元根据词牌流进行语法分析后生成全局变量表、函数表和语法树,语法树结合全局变量表进行分析后得出全局变量读写关系附表、结合函数表进行分析后得出函数读写关系附表和函数调用关系表,根据函数调用关系识别线程入口后对函数调用关系表进行线程着色,最后结合全局变量读写关系附表、函数读写关系附表和线程着色后的函数调用关系表分析检查得出全局变量读写冲突情况和写写冲突情况。使用本发明的检测方法可以开发相应的临界资源访问冲突检查工具,对快速、准确的识别软件中临界资源访问冲突的情况,从而提高软件可靠性。
公开/授权文献
- CN107967213B 一种航天软件临界资源访问冲突检测方法 公开/授权日:2021-06-04