[发明专利]基于多模型的C语言程序代码规范构造方法

摘要

本发明首先针对源代码进行了五种代码特征定义模型的抽象化封装，并且通过程序元素间的属性关联实现了这五种代码特征定义模型的融合，为用户提供了一种融合的多维代码查询特征定义模型。使用文本式的查询语言PRDL，在解析PRDL的语义和执行其语法动作的同时，实现了对于目标程序源代码的对应分析和检查。通过使用本发明，用户能高效快捷的对编码规范规则进行形式化定义，并对代码进行自主检查，从而达到提高代码整合质量、提高编程效率的技术效果。

主权项

一种基于定制化的领域特定语言实现将C语言程序代码规范由自然语言定义形式，构造成形式化语言描述的形式的方法，其特征在于其特征在于，包括以下步骤：步骤1)、基于程序的源代码分析，建立行模型、分词流模型、抽象语法树模型、控制流图模型、函数调用图模型，共五种基本的程序语言结构特征定义模型，不同结构特征定义模型中的基本元素间存在一定的转换关系，五种模型和其基本元素间转化方法共同构造成融合的多模型的源代码结构特征定义模型；步骤2)、基于步骤1)所定义的源代码结构特征定义模型，定义领域特定语言PRDL，并确定该语言的语法、语义定义；所述领域特定语言PRDL是一种文本化的结构式查询语言，能将源代码结构特征定义模型中的关键元素组织成对程序源代码的语义约束，基于PRDL的语义，对程序源代码的诸多语法结构进行过滤，从而查询并且筛选出满足特定要求的代码结构或片段；步骤3)、根据步骤2)中定义的PRDL语言特有语法、语义结构，在使用PRDL语言形式化描述代码规范过程中，实现针对PRDL的集成编辑环境，提供包含代码高亮、轮廓展示、语法补全等编辑工具支持。步骤4)、根据步骤1)－3)实现的支撑环境，将C语言程序代码转化为形式化语言文本：①分析代码规范的精确含义，分析并形成代码规范的“正例程序样例”与“反例程序样例”；②分析涉及到的程序语法元素，并使用PRDL语言将查询过程书写成文本；③对“正例程序样例”与“正例程序样例”进行人工检查，并重复步骤②直至所有“正例程序样例”被判定为符合规则，所有“反例”被判定为违反规则。