申请/专利权人：中国气象局地球系统数值预报中心

申请日：2024-04-26

公开（公告）日：2024-07-05

公开（公告）号：CN118113301B

主分类号：G06F8/41

分类号：G06F8/41

优先权：

专利状态码：有效-授权

法律状态：2024.07.05#授权;2024.06.18#实质审查的生效;2024.05.31#公开

摘要：本申请提供了一种数值天气预报模式程序的程序代码检查方法及系统，其中，代码解析模块对待检查数值天气预报模式程序的源代码进行词素解析得到源代码的词素序列，并对词素序列进行语法分析生成抽象语法树；规范化检查模块基于抽象语法树中的各节点以及节点关系对源代码进行各规范化检查项目的规范化检查，得到各规范化检查项目的检查结果；检查结果生成模块将各规范化检查项目的检查结果进行整合得到源代码的规范化检查结果。采用上述方法，以减少在针对数值天气预报模式程序进行程序代码检查时所需耗费的人力成本，同时提高针对数值天气预报模式程序进行程序代码检查后所得到的检查结果的有效性和准确性。

主权项：1.一种数值天气预报模式程序的程序代码检查方法，其特征在于，应用于数值天气预报模式程序的程序代码检查系统，所述系统包括代码解析模块、规范化检查模块和检查结果生成模块，所述方法包括：所述代码解析模块对待检查数值天气预报模式程序的源代码进行词素解析得到所述源代码的词素序列，并对所述词素序列进行语法分析生成抽象语法树，其中，所述抽象语法树中的各节点对应所述词素序列中的各词素；所述规范化检查模块基于所述抽象语法树中的各节点以及节点关系对所述源代码进行各规范化检查项目的规范化检查，得到各规范化检查项目的检查结果，其中，所述检查结果为正确或者错误；所述检查结果生成模块将各规范化检查项目的检查结果进行整合得到所述源代码的规范化检查结果；各规范化检查项目包括命名和引用规范检查项目、气象数据使用规范检查项目、MPI并行程序设计规范检查项目和内存使用规范检查项目；所述规范化检查模块包括命名和引用规范检查模块、气象数据使用规范检查模块、MPI并行程序设计规范检查模块和内存使用规范检查模块，所述规范化检查模块基于所述抽象语法树中的各节点以及节点关系对所述源代码进行各规范化检查项目的规范化检查，得到各规范化检查项目的检查结果，包括：所述命名和引用规范检查模块基于所述抽象语法树中的各节点以及节点关系对所述源代码进行所述命名和引用规范检查项目的规范化检查，得到所述命名和引用规范检查项目的检查结果；所述气象数据使用规范检查模块基于所述抽象语法树中的各节点以及节点关系对所述源代码进行所述气象数据使用规范检查项目的规范化检查，得到所述气象数据使用规范检查项目的检查结果；所述MPI并行程序设计规范检查模块基于所述抽象语法树中的各节点以及节点关系对所述源代码进行所述MPI并行程序设计规范检查项目的规范化检查，得到所述MPI并行程序设计规范检查项目的检查结果；所述内存使用规范检查模块基于所述抽象语法树中的各节点以及节点关系对所述源代码进行所述内存使用规范检查项目的规范化检查，得到所述内存使用规范检查项目的检查结果；所述MPI并行程序设计规范检查模块包括函数参数检查子模块、易混淆变量名检查子模块、冗余语句检查子模块和消息接收发送规范检查子模块，所述MPI并行程序设计规范检查模块基于所述抽象语法树中的各节点以及节点关系对所述源代码进行所述MPI并行程序设计规范检查项目的规范化检查，得到所述MPI并行程序设计规范检查项目的检查结果，包括：所述函数参数检查子模块检查所述抽象语法树中的各节点对应的词素中是否存在目标参数；所述易混淆变量名检查子模块检查所述抽象语法树中的各节点对应的词素中的声明行变量名称是否以目标字符串为开头；所述冗余语句检查子模块检查所述抽象语法树中的各节点对应的词素中的目标文本行是否存在除注释类型以外的关键字；所述消息接收发送规范检查子模块检查所述抽象语法树中的各节点对应的词素中是否存在目标关键字；若所述抽象语法树中的各节点对应的词素中存在目标参数，且所述抽象语法树中的各节点对应的词素中的声明行变量名称未以目标字符串为开头，且所述抽象语法树中的各节点对应的词素中的目标文本行不存在除注释类型以外的关键字，且所述抽象语法树中的各节点对应的词素中未存在目标关键字，所述MPI并行程序设计规范检查模块则将所述MPI并行程序设计规范检查项目的检查结果确定为正确；若所述抽象语法树中的各节点对应的词素中不存在目标参数，或所述抽象语法树中的各节点对应的词素中的声明行变量名称以目标字符串为开头，或所述抽象语法树中的各节点对应的词素中的目标文本行存在除注释类型以外的关键字，或所述抽象语法树中的各节点对应的词素中存在目标关键字，所述MPI并行程序设计规范检查模块则将所述MPI并行程序设计规范检查项目的检查结果确定为错误。

全文数据：

权利要求：

百度查询： 中国气象局地球系统数值预报中心 一种数值天气预报模式程序的程序代码检查方法及系统

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD