买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：成都精灵云科技有限公司

摘要：本发明涉及计算机技术领域，公开基于Python的代码自动生成和自动检查方法，包括以下步骤：读取配置和公共程序类文件；提取配置文件，开发源代码解析处理程序，分析和处理用户提供的各个功能的源代码；开发基于Python语言的代码自动生成程序，根据提取的源代码和配置生成对应的源代码文件；开发代码约束自动化检查工具库，进行架构符合性检查，生成检查结果文件。本发明支持自动化代码生成，支持代码约束自动化检查，为软件开发测试提供必备的支持环境的工具，包括能够实现源码分析功能、自动生成代码、自动生成文档、设计代码约束自动化检查功能等，降低开发人员的工作量，避免人为开发带来的错误。

主权项：1.基于Python的代码自动生成和自动检查方法，其特征在于：包括以下步骤：步骤1，读取配置和公共程序类文件；所述步骤1中，配置包括yaml配置文件，公共程序类文件包括re库、AST模块、csv库；yaml配置文件中包含了生成代码的配置规则；re库是基于Python语言的一个正则化表达式库，允许用户在Python中进行高效的文本匹配和处理；抽象语法树是编程语言中常用的一种数据结构，用于表示程序的语法结构；csv库是Python标准库中用于处理CSV文件的模块；步骤2，提取配置文件，基于源代码解析处理程序，分析和处理用户提供的各个功能的源代码；基于Python语言的代码自动生成程序，根据提取的源代码和配置生成对应的源代码文件；所述步骤2具体包括以下步骤：步骤2-1，使用AST模块将源代码解析成抽象语法树；步骤2-2，遍历抽象语法树，寻找全局变量和局部变量的定义，以及需要修改的代码；分析和处理步骤2-3，根据配置的规则，通过正则化表达式对源代码进行修改和重写；步骤3步骤2-4，将修改代码后的抽象语法树转换回源代码的形式；步骤2-5，将修改后的源代码保存到相应的代码路径下；步骤3，基于代码约束自动化检查工具库，进行架构符合性检查，生成检查结果文件；所述步骤3具体包括以下步骤：步骤3-1，对自动生成的源代码文件进行架构符合性检查；步骤3-2，调用架构分析工具Generator对代码进行变量初始化、赋值、调用的检查，输出针对变量初始化、赋值、调用的检查结果文件；步骤3-3，使用Python脚本对源代码文件进行解析，以完成对代码的检查，生成检查结果文件；所述步骤3-1具体包括以下步骤：步骤3-1-1，通过语法分析、语义分析，解析CC++源代码，得到抽象语法树；步骤3-1-2，遍历抽象语法树来查找和组建与状态变量和输出变量相关的节点，涉及到检查变量声明、初始化的使用情况；步骤3-1-3，通过注释、约定特定的命名，或特定的类型来实现对状态变量和输出变量的识别；步骤3-1-4，结合控制流分析检查状态变量和输出变量是否在所有执行路径上都被正确初始化；步骤3-1-5，生成架构符合性检查报告，列出没有正确初始化的变量以及原因，或者提供修复建议，或者自动修复。

全文数据：

权利要求：

百度查询： 成都精灵云科技有限公司 基于Python的代码自动生成和自动检查方法