您的位置：
首页
>
农业专利
>
详情页
动静态结合的中断驱动程序数据竞争检测方法
- 专利权人:
- 南京大学
- 发明人:
- 王林章,陈园军,陈志,李宣东
- 申请号：
- CN201410324303.9
- 公开号：
- CN104090798B
- 申请日:
- 2014.07.08
- 申请国别(地区):
- 中国
- 年份:
- 2017
- 代理人:
- 杨晓玲
- 摘要：
- 本发明设计一种动静态结合的中断驱动程序数据竞争检测方法，该方法通过共享资源的检测技术、控制流图生成技术、数据流分析技术、模拟器运行控制技术，利用静态方法来对源程序进行静态分析得到潜在的数据竞争序列，通过对静态分析的结果进行动态执行，验证潜在竞争的真实性，并根据潜在竞争的严重性进行排序，得到测试结果报告。通过本发明实现的工具对中断驱动程序的测试，可以有效地检测出真实的中断相关的竞争关系，并根据严重性提供一系列的潜在竞争关系作为指导，能够极大地促进测试人员的工作效率，突破解决了中断驱动的数据竞争检测问题，保障嵌入式系统的安全和稳定，可以为航天、医疗等高稳定性嵌入式程序需求的关键性安全领域提供可靠性保证。
- 来源网站：
- 中国工程科技知识中心
- 来源网址：
- http://www.ckcest.cn/home/
