[发明专利]一种形式化代码生成中的效率控制方法及装置

说明书

技术领域

本发明涉及计算机技术领域，具体涉及一种形式化代码生成中的效率控制方法及装置。

背景技术

在信息化高速发展的今天，形式化代码在数学、计算机科学、人工智能等领域得到广泛运用。形式化代码是通过一定样式规则组合起的代码，可以实现各种语义逻辑，并可以实现相关运算。各类编程语言、各类数据库语言、可扩展标记语言以及特定领域的专用代码均是形式化代码。现有技术中，存在着各类型的软件开发产品、数据库编程产品以及为解决某特定行业问题所专门开发的商业软件系统，如微软的Visual Studio系列集成开发环境、数据库规范语言类的形式代码生成工具Microsoft Office Access等。

但是，目前各种类型的形式化代码生成主要依赖工具的能力，存在以下技术问题：

首先，目前各种编程语言、数据库语言开发工具，仅仅提供了代码编写及基本的语法校验功能，只能保证用户产生的形式化代码可以在特定环境中执行，而对其运算效率、运行结果、执行合理性并不进行任何控制，现代大中型企业动辄上亿的数据记录，如果仅靠代码生产人员进行控制，容易出现各种生产危险，降低系统安全性；

其次，如果需要进行代码的重用，如简单替换一定的结构的数值，一般是通过对代码进行复制，然后修改相关参数实现，较为容易出现疏漏，部分语言支持循环模式，但往往只能实现简单的参数替换，功能不够完善；

最后，代码生产人员需要较高的专业素质且代码产生方式比较单一，各种典型的形式化代码，如C、JAVA、C++等编程语言，SQL数据库语言，面向特定领域的自定义语言等，对于用户的要求较高，用户需要进行一段时间的专业培训，才能使用工具进行各种代码的开发工作，对于工具有较高的依赖性。

发明内容

有鉴于此，本发明的主要目的是提供一种形式化代码生成中的效率控制方法及装置，以解决现有技术中形式化代码生成过程中缺少效率控制机制，可能导致系统安全性降低的问题。

为解决上述问题，本发明提供的技术方案如下：

一种形式化代码生成中的效率控制方法，所述方法包括：

接收效率控制规则，所述效率控制规则包括输入过滤规则、输入过程控制规则以及输出预判规则；

接收用户输入的形式化代码；

对所述用户输入的形式化代码进行解析，生成解析结果；

判断所述形式化代码是否符合所述输入过滤规则或所述输入过程控制规则；

根据所述解析结果判断所述形式化代码是否通过语法校验；

如果所述形式化代码符合所述输入过滤规则或所述输入过程控制规则，并且所述形式化代码通过语法校验，则保存所述形式化代码；

如果所述形式化代码不符合所述输入过滤规则或所述输入过程控制规则，或者所述形式化代码没有通过语法校验，则提示错误；

在保存所述形式化代码后，当接收到执行指令时，计算所述形式化代码的执行结果集，并判断所述执行结果集是否符合所述输出预判规则；

如果所述执行结果集符合所述输出预判规则，则继续执行所述形式化代码；如果所述执行结果集不符合所述输出预判规则，则提示错误。

相应的，所述接收用户输入的形式化代码，包括：

接收形式化代码中需要使用的输入变量；

通过直接文本录入模式、选择模式、枚举模式、给定定义域输入模式、对象重命名模式中的一种或多种接收用户输入的形式化代码。

相应的，所述输入过滤规则包括输入数据过滤规则以及特殊句型及其输入数据过滤规则；所述输入过程控制规则包括关联规则以及特殊句型结构规则；所述解析结果中还包括每项所述形式化代码的句型；

所述判断所述形式化代码是否符合所述输入过滤规则或所述输入过程控制规则包括：

判断接收的形式化代码中需要使用的输入变量是否符合输入数据过滤规则；

逐项判断形式化代码的句型是否为输入过滤规则中的特殊句型，如果是，则判断该项形式化代码的输入变量是否符合所述特殊句型及其输入数据过滤规则；

判断所述形式化代码是否符合关联规则；

逐项判断形式化代码的句型是否为输入过程控制规则中的特殊句型，如果是，则判断该项形式化代码是否符合所述特殊句型结构规则。

相应的，所述解析结果中还包括每项所述形式化代码的句型；所述方法还包括：接收预先设定的分步式输入代码规则；

所述接收用户输入的形式化代码，包括：

接收形式化代码中需要使用的输入变量；