一种软件缺陷检测方法、装置、计算机设备和存储介质

发明专利有效专利

申请号：
CN201911249611.9
IPC分类号：G06F11/36
申请日期：
2019-12-09
申请人：
XC5香港有限公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种软件缺陷检测方法、装置、计算机设备和存储介质
申请号	CN201911249611.9	申请日期	2019-12-09
法律状态	实质审查	申报国家	中国
公开/公告日	2020-04-17	公开/公告号	CN111026663A
优先权	暂无	优先权号	暂无
主分类号	G06F11/36 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F11/00 错误检测；错误校正；监控（在基于记录载体和传感器之间的相对运动而实现的信息存储中的错误检测、校正或监控所用的方法或装置入 G11B 20/18；监控，即，监控记录或重现的进程入G11B 27/36；静态存储中所用的方法或装置入G11C29/00）〔1，4，2006.01〕 G06F11/36 通过软件的测试或调试防止错误〔7〕	IPC分类号	G;0;6;F;1;1;/;3;6查看分类表>
申请人	XC5香港有限公司	申请人地址	中国香港湾仔轩尼诗道8号中港大厦14楼变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	XC5香港有限公司	当前权利人	XC5香港有限公司
发明人	李隆;朱庆;赖建新;李世杰
代理机构	深圳市中智立信知识产权代理有限公司	代理人	丁丽琴

摘要

本发明属于计算机技术领域，尤其涉及一种软件缺陷检测方法、装置、计算机设备和存储介质，所述软件缺陷检测方法包括：获取软件源代码以及规则描述源代码，其中规则描述源代码包含至少一条用户自定义的检测规则信息；将软件源代码和规则描述源代码分别转化为以静态单赋值形式表示的软件中介码和规则描述中介码；根据软件中介码以及规则描述中介码确定所述检测规则信息是否被违反。本发明提供的软件缺陷检测方法，能够支持用户使用自己熟知的编程语言自定义编写检测需求，利用语义推导确定用户的检测需求并进行软件缺陷检测。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供