金融界2025年4月10日消息，国家知识产权局信息显示，华为云计算技术有限公司申请一项名为“一种代码生成方法及相关设备”的专利，公开号 CN 119781744 A，申请日期为2024年1月。

专利摘要显示，一种代码生成方法及相关设备，涉及代码生成技术领域。代码生成方法由代码开发平台执行，方法包括：接收用户输入的验证对象的配置信息和验证性质的配置信息，验证对象为被验系统的源代码中的代码片段，验证对象的配置信息为领域特定语言DSL代码，DSL代码指示查询的代码片段类型和查询条件；根据验证对象的配置信息从被验系统的源代码中查询得到验证对象，以及解析验证性质的配置信息以获得验证代码模板，验证代码模板包括针对验证对象的验证性质；根据验证对象和验证代码模板生成验证代码，验证代码中包括验证对象和针对验证对象的验证性质。该方法能够降低验证工具使用难度，提高形式化验证的自动化程度和效率。

天眼查资料显示，华为云计算技术有限公司，成立于2019年，位于贵阳市，是一家以从事软件和信息技术服务业为主的企业。企业注册资本500000万人民币，实缴资本500000万人民币。通过天眼查大数据分析，华为云计算技术有限公司共对外投资了9家企业，参与招投标项目1023次，财产线索方面有商标信息315条，专利信息3235条，此外企业还拥有行政许可51个。