[发明专利]一种无漏报的中断驱动型程序运行时错误检测方法和系统有效
| 申请号： | 201811232920.0 | 申请日： | 2018-10-23 |
| 公开（公告）号： | CN109388573B | 公开（公告）日： | 2022-03-04 |
| 发明（设计）人： | 陈睿;贾春鹏;余娜;高栋栋;高猛;杨帆;左万娟;郭华;郑小萌;孙民 | 申请（专利权）人： | 北京轩宇信息技术有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 中国航天科技专利中心 11009 | 代理人： | 陈鹏 |
| 地址： | 100190 北京市海淀区科学院*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种无漏报的中断驱动型程序运行时错误检测方法和系统。该方法，包括：对待处理程序进行抽象处理，得到用抽象数值表达的抽象程序；根据所述抽象程序，建立共享变量数值抽象集；对所述共享变量数值抽象集进行解析，得到中断间干扰集；根据所述中断间干扰集进行模块化分析，得到模块化分析结果；根据所述模块化分析结果，遍历所述抽象程序，得到遍历结果，并根据遍历结果确定待处理程序是否存在运行时错误。本发明降低了运行时错误检测对测试人员经验和能力的依赖，提高了高安全要求软件开发和测试的效率，提升了软件的安全性。 | ||
| 搜索关键词： | 一种 漏报 中断 驱动 程序 运行 错误 检测 方法 系统 | ||
【主权项】：
1.一种无漏报的中断驱动型程序运行时错误检测方法，其特征在于，包括：对待处理程序进行抽象处理，得到用抽象数值表达的抽象程序；根据所述抽象程序，建立共享变量数值抽象集；对所述共享变量数值抽象集进行解析，得到中断间干扰集；根据所述中断间干扰集进行模块化分析，得到模块化分析结果；根据所述模块化分析结果，遍历所述抽象程序，得到遍历结果，并根据遍历结果确定待处理程序是否存在运行时错误。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京轩宇信息技术有限公司，未经北京轩宇信息技术有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811232920.0/，转载请声明来源钻瓜专利网。
- 上一篇：一种软件测试方法和系统
- 下一篇：静态分析辅助系统
