代码检查方法及装置、代码编写方法、电子设备
授权
摘要

一种代码检查方法及装置、代码编写方法、电子设备。该代码检查方法包括:对代码文件进行解析以获得多条指令以及与多条指令对应的领域知识,领域知识指示多条指令的操作内容以及关联参数;执行多条指令中的至少一条指令以得到执行结果;基于领域知识,判断执行结果是否满足预设条件;响应于执行结果满足预设条件,继续执行多条指令中至少一条指令的后续指令。该代码检查方法可以及时自动地发现汇编指令中存在的逻辑问题,能够在指令执行过程中及时进行检查,极大地降低逻辑问题的定位难度,降低调试的难度。

基本信息
专利标题 :
代码检查方法及装置、代码编写方法、电子设备
专利标题(英):
暂无
公开(公告)号 :
CN114153750A
申请号 :
CN202210123109.9
公开(公告)日 :
2022-03-08
申请日 :
2022-02-10
授权号 :
CN114153750B
授权日 :
2022-05-31
发明人 :
不公告发明人
申请人 :
北京壁仞科技开发有限公司;上海壁仞智能科技有限公司
申请人地址 :
北京市海淀区上地信息路26号1层0106-508室
代理机构 :
北京市柳沈律师事务所
代理人 :
彭久云
优先权 :
CN202210123109.9
主分类号 :
G06F11/36
IPC分类号 :
G06F11/36  
IPC结构图谱
G
G部——物理
G06
计算;推算或计数
G06F
电数字数据处理
G06F11/00
错误检测;错误校正;监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-05-31 :
授权
2022-03-25 :
实质审查的生效
IPC(主分类) : G06F 11/36
申请日 : 20220210
2022-03-08 :
公开
注:本法律状态信息仅供参考,即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
  • 联系电话
    电话:023-6033-8768
    QQ:1493236332
  • 联系 Q Q
    电话:023-6033-8768
    QQ:1493236332
  • 关注微信
    电话:023-6033-8768
    QQ:1493236332
  • 收藏
    电话:023-6033-8768
    QQ:1493236332