软件源代码的验证方法及装置

发明专利有效专利

申请号：
CN201710038189.7
IPC分类号：G06F8/41
申请日期：
2017-01-18
申请人：
北京航空航天大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	软件源代码的验证方法及装置
申请号	CN201710038189.7	申请日期	2017-01-18
法律状态	授权	申报国家	中国
公开/公告日	2017-06-23	公开/公告号	CN106886446A
优先权	暂无	优先权号	暂无
主分类号	G06F8/41 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F8/00 软件工程设计（测试或调试入G06F 11/36；软件项目管理、规划或组织入G06Q 10/06）〔2018.01〕 G06F8/40 程序代码转换〔2018.01〕 G06F8/41 编译〔2018.01〕	IPC分类号	G;0;6;F;8;/;4;1查看分类表>
申请人	北京航空航天大学	申请人地址	北京市海淀区学院路37号北京航空航天大学新主楼D315 变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	北京航空航天大学	当前权利人	北京航空航天大学
发明人	马殿富;谭宇;赵永望;陈志伟;刘克瑞
代理机构	北京同立钧成知识产权代理有限公司	代理人	杨贝贝;刘芳

摘要

本发明提供一种软件源代码的验证方法及装置，方法包括：根据编程语言的语法规则，对软件源代码进行文法单元的划分，得到至少一个文法单元；基于预设的下推自动机，对每个文法单元进行识别；识别通过后，将文法单元编译为目标代码段；根据预设的专用公理集，获取文法单元对应的第一指称语义，获取目标代码段对应的第二指称语义；判断第一指称语义与第二指称语义是否一致；若第一指称语义与第二指称语义不一致，确定软件源代码存在错误。本发明解决了现有技术中当软件源代码存在错误，且当软件源代码的可执行代码的运行结果与预期结果一致时，无法发现软件源代码中的错误的问题。

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

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

我浏览过的专利

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