您的位置：
首页
>
农业专利
>
详情页
一种航天软件临界资源访问冲突检测方法
- 专利权人:
- 上海宇航系统工程研究所
- 发明人:
- 刘博,严云红,徐峰,程云龙,金燕,刘汉兵,刘雄,吴建桔,康岭,沈宗月,朱波,彭立章,秦金彪,吴旭东
- 申请号：
- CN201711292178.8
- 公开号：
- CN107967213A
- 申请日:
- 2017.12.07
- 申请国别(地区):
- 中国
- 年份:
- 2018
- 代理人:
- 黄超宇`胡晶
- 摘要：
- 本发明公开了一种航天软件临界资源访问冲突检测方法，由词法分析单元进行词法分析后，识别出词牌流，语法分析单元根据词牌流进行语法分析后生成全局变量表、函数表和语法树，语法树结合全局变量表进行分析后得出全局变量读写关系附表、结合函数表进行分析后得出函数读写关系附表和函数调用关系表，根据函数调用关系识别线程入口后对函数调用关系表进行线程着色，最后结合全局变量读写关系附表、函数读写关系附表和线程着色后的函数调用关系表分析检查得出全局变量读写冲突情况和写写冲突情况。使用本发明的检测方法可以开发相应的临界资源访问冲突检查工具，对快速、准确的识别软件中临界资源访问冲突的情况，从而提高软件可靠性。
- 来源网站：
- 中国工程科技知识中心
- 来源网址：
- http://www.ckcest.cn/home/
