[发明专利]用于源代码配对的静态检查方法及装置有效

专利信息
申请号: 201210217915.9 申请日: 2012-06-27
公开(公告)号: CN102799520A 公开(公告)日: 2012-11-28
发明(设计)人: 胡事民;刘虎球 申请(专利权)人: 清华大学
主分类号: G06F11/36 分类号: G06F11/36
代理公司: 北京清亦华知识产权代理事务所(普通合伙) 11201 代理人: 张大威
地址: 100084 北京*** 国省代码: 北京;11
权利要求书: 查看更多 说明书: 查看更多
摘要: 发明提出一种用于源代码配对的静态检查方法及装置,其中本发明的方法包括以下步骤:对所述源代码进行词法分析,将所述源代码中的注释滤除,并将所述源代码拆分成若干个记号流;对所述记号流进行语法分析以构造语法树;对所述语法树进行语义分析,查找需配对元素,并标记所述需配对元素的作用域;判断所述需配对元素在所述作用域中是否配对;若发现未被配对的所述需配对元素,则进一步判断是否允许修正;若允许修正则在所述作用域结束处添加配对;以及若不允许修正则发出警告和提示。该方法能够有效的提高配对检查效率,提高系统的稳定性,有效避免一些边界错误,还可以根据用户的设置完成对用户程序的自动修正,极大的减少程序员工作量。
搜索关键词: 用于 源代码 配对 静态 检查 方法 装置
【主权项】:
一种用于源代码配对的静态检查方法,其特征在于,包括以下步骤:S1、对所述源代码进行词法分析,将所述源代码中的注释滤除,并将所述源代码拆分成若干个记号流;S2、对所述记号流进行语法分析以构造语法树;S3、对所述语法树进行语义分析,查找需配对元素,并标记所述需配对元素的作用域;S4、判断所述需配对元素在所述作用域中是否配对;S5、若发现未被配对的所述需配对元素,则进一步判断是否允许修正;S6、若允许修正则在所述作用域结束处添加配对;以及S7、若不允许修正则发出警告和提示。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于清华大学,未经清华大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/patent/201210217915.9/,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top