一种错误检测方法及装置
实质审查的生效
摘要

本申请公开了一种错误检测方法及装置,用以提高被测程序中锁相关的错误检测精度和效率。所述方法包括:确定被测程序的中级中间代码中的用于表示线程对锁的持有的变量,以及函数调用图;所述变量为具有生命周期的变量,所述函数调用图包括所述被测程序中的函数之间的调用关系;通过遍历所述函数调用图,确定至少一个变量序对,所述变量序对中包括两个所述变量;并且对于每一所述变量序对,将该变量序对中的每一所述变量,分别映射为对应的锁的信息;基于所述变量序对中的所述变量对应的锁的信息,确定所述被测程序中的锁之间处理关系的锁图,并基于所述锁图,确定所述被测程序中锁相关的错误信息。

基本信息
专利标题 :
一种错误检测方法及装置
专利标题(英):
暂无
公开(公告)号 :
CN114490327A
申请号 :
CN202111600097.6
公开(公告)日 :
2022-05-13
申请日 :
2021-12-24
授权号 :
暂无
授权日 :
暂无
发明人 :
李斌秦伯钦
申请人 :
中国电信股份有限公司
申请人地址 :
北京市西城区金融街31号
代理机构 :
北京同达信恒知识产权代理有限公司
代理人 :
王菲菲
优先权 :
CN202111600097.6
主分类号 :
G06F11/36
IPC分类号 :
G06F11/36  
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F11/00
错误检测;错误校正;监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-05-31 :
实质审查的生效
IPC(主分类) : G06F 11/36
申请日 : 20211224
2022-05-13 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
  • 联系电话
    电话:023-6033-8768
    QQ:1493236332
  • 联系 Q Q
    电话:023-6033-8768
    QQ:1493236332
  • 关注微信
    电话:023-6033-8768
    QQ:1493236332
  • 收藏
    电话:023-6033-8768
    QQ:1493236332