专利名称：一种形式化代码生成中的效率控制方法及装置的制作方法
技术领域：
本发明涉及计算机技术领域，具体涉及一种形式化代码生成中的效率控制方法及
>J-U ρ α装直。
背景技术：
在信息化高速发展的今天，形式化代码在数学、计算机科学、人工智能等领域得到广泛运用。形式化代码是通过一定样式规则组合起的代码，可以实现各种语义逻辑，并可以实现相关运算。各类编程语言、各类数据库语言、可扩展标记语言以及特定领域的专用代码均是形式化代码。现有技术中，存在着各类型的软件开发产品、数据库编程产品以及为解决某特定行业问题所专门开发的商业软件系统，如微软的Visual Studio系列集成开发环境、数据库规范语言类的形式代码生成工具Microsoft Office Access等。但是，目前各种类型的形式化代码生成主要依赖工具的能力，存在以下技术问题:首先，目前各种编程语言、数据库语言开发工具，仅仅提供了代码编写及基本的语法校验功能，只能保证用户产生的形式化代码可以在特定环境中执行，而对其运算效率、运行结果、执行合理性并不进行任何控制，现代大中型企业动辄上亿的数据记录，如果仅靠代码生产人员进行控制，容易出现各种生产危险，降低系统安全性；其次，如果需要进行代码的重用，如简单替换一定的结构的数值，一般是通过对代码进行复制，然后修改相关参数实现，较为容易出现疏漏，部分语言支持循环模式，但往往只能实现简单的参数替换，功能不够完善；最后，代码生产人员需要较高的专业素质且代码产生方式比较单一，各种典型的形式化代码，如C、JAVA、C++等编程语言，SQL数据库语言，面向特定领域的自定义语言等，对于用户的要求较高，用户需要进行一段时间的专业培训，才能使用工具进行各种代码的开发工作，对于工具有较高的依赖性。
发明内容
有鉴于此，本发明的主要目的是提供一种形式化代码生成中的效率控制方法及装置，以解决现有技术中形式化代码生成过程中缺少效率控制机制，可能导致系统安全性降低的问题。为解决上述问题，本发明提供的技术方案如下:一种形式化代码生成中的效率控制方法，所述方法包括:接收效率控制规则，所述效率控制规则包括输入过滤规则、输入过程控制规则以及输出预判规则；接收用户输入的形式化代码；对所述用 户输入的形式化代码进行解析，生成解析结果；判断所述形式化代码是否符合所述输入过滤规则或所述输入过程控制规则；
根据所述解析结果判断所述形式化代码是否通过语法校验；如果所述形式化代码符合所述输入过滤规则或所述输入过程控制规则，并且所述形式化代码通过语法校验，则保存所述形式化代码；如果所述形式化代码不符合所述输入过滤规则或所述输入过程控制规则，或者所述形式化代码没有通过语法校验，则提示错误；在保存所述形式化代码后，当接收到执行指令时，计算所述形式化代码的执行结果集，并判断所述执行结果集是否符合所述输出预判规则；如果所述执行结果集符合所述输出预判规则，则继续执行所述形式化代码；如果所述执行结果集不符合所述输出预判规则，则提示错误。相应的，所述接收用户输入的形式化代码，包括:接收形式化代码中需要使用的输入变量；
通过直接文本录入模式、选择模式、枚举模式、给定定义域输入模式、对象重命名模式中的一种或多种接收用户输入的形式化代码。相应的，所述输入过滤规则包括输入数据过滤规则以及特殊句型及其输入数据过滤规则；所述输入过程控制规则包括关联规则以及特殊句型结构规则；所述解析结果中还包括每项所述形式化代码的句型；所述判断所述形式化代码是否符合所述输入过滤规则或所述输入过程控制规则包括:判断接收的形式化代码中需要使用的输入变量是否符合输入数据过滤规则；逐项判断形式化代码的 句型是否为输入过滤规则中的特殊句型，如果是，则判断该项形式化代码的输入变量是否符合所述特殊句型及其输入数据过滤规则；判断所述形式化代码是否符合关联规则；逐项判断形式化代码的句型是否为输入过程控制规则中的特殊句型，如果是，则判断该项形式化代码是否符合所述特殊句型结构规则。相应的，所述解析结果中还包括每项所述形式化代码的句型；所述方法还包括:接收预先设定的分步式输入代码规则；所述接收用户输入的形式化代码，包括:接收形式化代码中需要使用的输入变量；根据所述分步式输入代码规则以及每项所述形式化代码的句型分步通过直接文本录入模式、选择模式、枚举模式、给定定义域输入模式、对象重命名模式中的一种或多种接收用户输入的形式化代码。相应的，在保存所述形式化代码之后，接收到执行指令之前，所述方法还包括:定义矢量变量及所述矢量变量的属性；判断所述形式化代码中是否包括所述矢量变量；根据所述矢量变量的属性，将包括所述矢量变量的一项形式化代码替换为一组形式化代码并保存。一种形式化代码生成中的效率控制装置，所述装置包括:第一接收模块，用于接收效率控制规则，所述效率控制规则包括输入过滤规则、输入过程控制规则以及输出预判规则；
第二接收模块，用于接收用户输入的形式化代码；解析模块，用于对所述用户输入的形式化代码进行解析，生成解析结果；第一判断模块，用于判断所述形式化代码是否符合所述输入过滤规则或所述输入过程控制规则；校验模块，用于根据所述解析结果判断所述形式化代码是否通过语法校验；代码生成模块，用于如果所述形式化代码符合所述输入过滤规则或所述输入过程控制规则，并且所述形式化代码通过语法校验，则保存所述形式化代码；第二判断模块，用于在保存所述形式化代码后，当接收到执行指令时，计算所述形式化代码的执行结果集，并判断所述执行结果集是否符合所述输出预判规则；执行模块，用于如果所述执行结果集符合所述输出预判规则，则继续执行所述形式化代码；提示错误模块，用于如果所述形式化代码不符合所述输入过滤规则或所述输入过程控制规则，或者所述形式化代码没有通过语法校验，则提示错误；如果所述执行结果集不符合所述输出预判规则，则提示错误。相应的，所述第二接收模块包括:变量接收子模块，用于接收形式化代码中需要使用的输入变量；代码接收子模块，用于通过直接文本录入模式、选择模式、枚举模式、给定定义域输入模式、对象重命名模式中的一种或多种接收用户输入的形式化代码。相应的，所述输入过滤规则包括输入数据过滤规则以及特殊句型及其输入数据过滤规则；所述输入过程控制规则包括关联规则以及特殊句型结构规则；所述解析结果中还包括每项所述形式化代码的句型；所述第一判断模块包括:第一判断子模块，用于判断接收的形式化代码中需要使用的输入变量是否符合输入数据过滤规则；第二判断子模块，用于逐项判断形式化代码的句型是否为输入过滤规则中的特殊句型，如果是，则判断该项形式化代码的输入变量是否符合所述特殊句型及其输入数据过滤规则；第三判断子模块，用于判断所述形式化代码是否符合关联规则；第四判断子模块，用于逐项判断形式化代码的句型是否为输入过程控制规则中的特殊句型，如果是，则判断该项形式化代码是否符合所述特殊句型结构规则。相应的，所述解析结果中还包括每项所述形式化代码的句型；所述装置还包括:第三接收模块，用于接收预先设定的分步式输入代码规则；所述第二接收模块包括:变量接收子模块，用于接收形式化代码中需要使用的输入变量；代码接收子模块，用于根据所述分步式输入代码规则以及每项所述形式化代码的句型分步通过直接文本录入模式、选择模式、枚举模式、给定定义域输入模式、对象重命名模式中的一种或多种接收用户输入的形式化代码。相应的，所述装置还包括:矢量定义模块，用于定义矢量变量及所述矢量变量的属性；
第三判断模块，用于判断所述形式化代码中是否包括所述矢量变量；
矢量应用模块，用于根据所述矢量变量的属性，将包括所述矢量变量的一项形式化代码替换为一组形式化代码并保存。由此可见，本发明具有如下有益效果:首先，本发明通过建立输入过滤规则、输入过程控制规则等效率控制规则，对用户输入的形式化代码进行效率控制，通过输出预判规则对生成代码的执行结果进行预判，避免不能容忍的执行操作发送，实现了从形式化代码生成周期的各个阶段，控制代码的效率，保证系统运行环境稳定，提高安全性，并且可以根据用户需要，接收相关效率控制规则，补充至效率控制规则库中，增加了灵活性；其次，通过矢量变量定制，使得代码可以批量生成，减少由于用户手工生成结构一致的句法时由于重复劳动造成疏漏的可能性，提升生产效率；最后，本发明可以判断用户的所需产生代码句型，以分步式的框架，通过列表选择、枚举、给定定义域输入、对象重命名等模式，逐步接收用户输入的形式化代码，快速高效的生成形式化代码集合，降低了对用户专业技术水平的要求，并减少了由于技术能力欠缺带来的生产安全相关的隐患。
图1为本发明形式化代码生成中的效率控制方法的流程图；图2为本发明形式化代码生成中的效率控制方法使用矢量变量流程图；图3为本发明形式化代码生成中的效率控制方法逻辑组件示意图；图4为本发明形式化代码生成中的效率控制方法的一种具体实施例示意图；图5为本发明形式化代码生成中的效率控制装置的结构示意图。
具体实施例方式
为使本发明的上述目的、特征和优点能够更加明显易懂，下面结合附图和具体实施方式
对本发明实施例作进一步详细的说明。本发明形式化代码生成中的效率控制方法及装置，是针对现有技术中存在的形式化代码生成过程中缺少效率控制机制的问题，提出不仅对用户输入的形式化代码进行语法校验，而且接收效率控制规则建立效率控制规则数据库，利用输入过滤规则、输入过程控制规则以及输出预判规则对用户输入的形式化代码及其执行结果进行效率控制，以在同等计算能力下，控制代码的执行响应时间，达到效率控制目的，保证系统运行环境稳定。基于上述思想，参见图1所示，本发明形式化代码生成中的效率控制方法包括以下步骤:步骤101:接收效率控制规则，效率控制规则包括输入过滤规则、输入过程控制规则以及输出预判规则。接收效率控制规则可以建立效率控制规则库，效率控制规则可以理解为一组控制代码执行的响应时间的规则，针对不同形式化代码效率控制规则可能不同。效率控制规则可以包括输入过滤规则、输入过程控制规则以及输出预判规则，其可以应用于例如SQL语言(Structured Query Language,结构化查询语言)。其中，输入过滤规则可以包括输入数据过滤规则以及特殊句型及其输入数据过滤规则；输入过程控制规则可以包括关联规则以及特殊句型结构规则。
步骤102:接收用户输入的形式化代码。具体的，可以接收形式化代码中需要使用的输入变量；通过直接文本录入模式、选择模式、枚举模式、给定定义域输入模式、对象重命名模式中的一种或多种接收用户输入的形式化代码。直接录入模式在指定的文本域用键盘的方式，输入需要的代码内容，可以直接输入各种函数或者代码支持的表达方式。选择模式如SQL代码编写中，以列表的方式，列出可以进行分析的数据表或者数据表包含的字段，这些数据表在实际应用中也可以作为选择的输入变量加入到代码中。又如定义的矢量变量，可以直接选择进行输入。枚举模式将代码支持的函数或者特殊表达式如求和(SUM)数据类型转化(CONVERT)作为一个枚举的全集，用户在使用的过程中，根据实际需要，从中选取合适的类型加入代码，但不可以超出枚举的范围。给定定义域输入如给定函数f (X)，要求X的值范围为O到正无穷，且X必须为整数，则用户只能输入区间内的一个数值，作为形式化代码的组成部分。对象重命名模式就是给代码中的片段进行重命名，方便用户理解。如SQL语句中的Select A.al as a from A,即表示将A表的al字段重命名为a方便处理,只有特定的句型才可以支持这种表达方式。步骤103:对用户输入的形式化代码进行解析，生成解析结果。可以利用LL(k )方法进行代码的解析，该方法是一种自顶向下的编译方法，可以根据对关键字、变量、句型等要素的解析，解析结果中则可以包括每项形式化代码的句型，利用该方法将输入的形式化代码进行语法分析，生成解析结果可以判断代码是否语法规范。以常规查询语句为例，形如select A.al，A.a2from A表示从A表中查询其中al，a2字段的内容。其对应的句型需要包含select和from两个需要严格匹配的字符串，如果不包含这两个字符串或者顺序不一致，则不符合语法要求。步骤104:判断形式化代码是否符合输入过滤规则或输入过程控制规则。具体的，可以判断接收的形式化代码中需要使用的输入变量是否符合输入数据过滤规则；逐项判断形式化代码的句型是否为输入过滤规则中的特殊句型，如果是，则判断该项形式化代码的输入变量是否符合特殊句型及其输入数据过滤规则；判断形式化代码是否符合关联规则；逐项判断形式化代码的句型是否为输入过程控制规则中的特殊句型，如果是，则判断该项形式化代码是否符合特殊句型结构规则。步骤105:根据解析结果判断形式化代码是否通过语法校验。步骤106:如果形式化代码符合输入过滤规则或输入过程控制规则，并且形式化代码通过语法校验，则保存形式化代码。步骤107:如果形式化代码不符合输入过滤规则或输入过程控制规则，或者形式化代码没有通过语法校验，则提示错误。步骤108:在保存形式化代码后，当接收到执行指令时，计算形式化代码的执行结果集，并判断执行结果集是否符合输出预判规则。
步骤109:如果执行结果集符合输出预判规则，则继续执行形式化代码；如果执行结果集不符合输出预判规则，则提示错误。进一步的，在提示错误时，根据解析结果还可以同时提示错误出现的位置，以方便用户进行修改。在上述实施例中，输入数据过滤规则可以对形式化代码中需要使用的输入变量进行过滤，使形式化代码仅处理必要的数据，从而降低运算压力。如仅处理中国山东省的某数据，则对输入变量中包括的全国数据进行过滤，仅得到包含山东省的子数据，即代码在执行阶段控制了分析数据的规模。在具体实现中，可以通过机构代码、数据时间范围字段等方式实现对输入数据过滤。特殊句型及其输入数据过滤规则可以针对某特殊句型，对该特殊句型的输入数据进行限制，特殊句型及其输入数据过滤规则可以理解为句型及其输入数据记录的对应规贝U。例如，某个代码运算功能是对代码处理的数据的上下两条记录做关联运算，结果通过增加字段的方式保存，这种处理功能比较复杂，经过实践验证，原始数据在20000以内可以获得较好的运算响应时间，则可以接收特殊句型及其输入数据过滤控制规则:“关联运算功能-20000”，在处理关联运算类句型时，(句型的界定可以通过后续的形式化代码进行解析获得)，则需要对原始输入数据20000条以内这个输入过滤条件的控制。输入过程控制规则可以对输入的形式化代码本身进行控制，关联规则例如SQL语句处理两个表关联时，需要加入关联条件。特殊句型结构规则例如SQL语句使用数据库支持的数据类型转换函数时，需要指定转换后字段的长度。具体的，如SQL代码的convert函数，其语法上支持 CONV ERT (data_type, expression [, style]),如 convert (char, A 字段)，这种语法上来说是正确的，但是应用在海量分析型系统时，会导致字段过长，不仅会使运算时间过长，同时产生的运算结果过大，严重消耗系统资源，针对这种情况，利用输入过程控制规则，使得形如convert (char, XXX),这类型的转换，char后均需要加入长度,如convert (char (100)，A字段)，这种模式才可以通过规则验证，否则，效率控制规则会认为该代码不合法，需要继续修改。输出预判规则是在执行时，判断语句句型及其使用的处理逻辑，由于有些处理复杂度高，如果结果集过大，会导致运算效率极低，故而在实际执行代码前，系统会通过count的方式预判代码执行的结果集大小，超出设定结果集大小的则不予以正式执行。如“关联运算功能一10000”规则，表示如果语句使用的是关联运算功能，则其结果集不能超过10000条。不同的语句或处理方式，结果集大小限制不同。效率控制规则可以通过实验及相关经验进行增补和完善。当形式化代码符合语法规则以及各种效率控制规则时，则可以顺利保存并执行，否则，提示错误，需要对代码进行修改，可以重新进入接收用户输入的形式化代码步骤。本发明通过建立输入过滤规则、输入过程控制规则等效率控制规则，对用户输入的形式化代码进行效率控制，通过输出预判规则对生成代码的执行结果进行预判，避免不能容忍的执行操作发送，实现了从形式化代码生成周期的各个阶段，控制代码的效率，保证系统运行环境稳定，提高安全性，并且可以根据用户需要，接收相关效率控制规则，补充至效率控制规则库中，增加了灵活性。基于上述实施例，本发明形式化代码生成中的效率控制方法还可以接收预先设定的分步式输入代码规则；则接收用户输入的形式化代码，可以包括:接收形式化代码中需要使用的输入变量；根据分步式输入代码规则以及每项形式化代码的句型分步通过直接文本录入模式、选择模式、枚举模式、给定定义域输入模式、对象重命名模式中的一种或多种接收用户输入的形式化代码。将分步式输入代码规则可以将形式化代码中的句型进行分类，对于不同的句型，可以按照不同的步骤进行输入，直观的帮助用户以简洁的方式，按照必要的步骤逐步完成满足特定句型的形式化代码输入。具体可以通过直接文本录入模式、选择模式、枚举模式、给定定义域输入模式、对象重命名模式等分步骤按照句型特点组成形式化代码。根据分步式输入形式化代码时，还可以在每一子步骤输入完成后，对该步骤输入的形式化代码进行语法校验，帮助用户及早发现问题。通过分步式的方法，判断用户的所需产生代码句型，通过列表选择、枚举、给定定义域输入、对象重命名等模式，逐步接收用户输入的形式化代码，可以快速高效的生成形式化代码集合，降低了对用户专业技术水平的要求，进一步减少了由于技术能力欠缺带来的生产安全相关的隐患。在保存形式化代码之后，接收到执行指令之前，本发明形式化代码生成中的效率控制方法还可以包括:定义矢量变量及矢量变量的属性；判断形式化代码中是否包括矢量变量；根据矢量变量的属性，将包括矢量变量的一项形式化代码替换为一组形式化代码并保存。通过矢量变量定制，使得代码可以批量生成，减少由于用户手工生成结构一致的句法时由于重复劳动造成疏漏的可能性，提升生产效率。
参见图2所示，在应用矢量变量时，首先定义一个矢量变量，之后定义其相关属性，如起始值、步长、变量类型等，矢量变量创建完成。在形式化代码保存后，通过解析代码判断形式化代码中是否包括矢量变量，即将代码中的特定片段替换成为矢量变量，矢量变量在代码运行前解析可以将一条代码按照定义变为一组代码，并可以指定这组结构相似的语句执行的结果是否合并。在执行完成后，可以调整矢量变量的值，再次执行后，会获得新的参数值下的结果集，减轻代码编写者重复劳动，降低出错率。矢量变量具体如下:
权利要求
1.一种形式化代码生成中的效率控制方法，其特征在于，所述方法包括: 接收效率控制规则，所述效率控制规则包括输入过滤规则、输入过程控制规则以及输出预判规则； 接收用户输入的形式化代码； 对所述用户输入的形式化代码进行解析，生成解析结果； 判断所述形式化代码是否符合所述输入过滤规则或所述输入过程控制规则； 根据所述解析结果判断所述形式化代码是否通过语法校验； 如果所述形式化代码符合所述输入过滤规则或所述输入过程控制规则，并且所述形式化代码通过语法校验，则保存所述形式化代码； 如果所述形式化代码不符合所述输入过滤规则或所述输入过程控制规则，或者所述形式化代码没有通过语法校验，则提示错误； 在保存所述形式化代码后，当接收到执行指令时，计算所述形式化代码的执行结果集，并判断所述执行结果集是否符合所述输出预判规则； 如果所述执行结果集符合所述输出预判规则，则继续执行所述形式化代码；如果所述执行结果集不符合所述输出预判规则，则提示错误。
2.根据权利要求1所述的方法，其特征在于，所述接收用户输入的形式化代码，包括: 接收形式化代码中需要使用的输入变量； 通过直接文本录入模式、选择模式、枚举模式、给定定义域输入模式、对象重命名模式中的一种或多种接收用户输入的形式化代码。
3.根据权利要求2所述的方法，其特征在于，所述输入过滤规则包括输入数据过滤规则以及特殊句型及其输入数据过滤规则；所述输入过程控制规则包括关联规则以及特殊句型结构规则；所述解析结果中还包括每项所述形式化代码的句型； 所述判断所述形式化代码是否符合所述输入过滤规则或所述输入过程控制规则包括: 判断接收的形式化代码中需要使用的输入变量是否符合输入数据过滤规则； 逐项判断形式化代码的句型是否为输入过滤规则中的特殊句型，如果是，则判断该项形式化代码的输入变量是否符合所述特殊句型及其输入数据过滤规则； 判断所述形式化代码是否符合关联规则； 逐项判断形式化代码的句型是否为输入过程控制规则中的特殊句型，如果是，则判断该项形式化代码是否符合所述特殊句型结构规则。
4.根据权利要求1所述的方法，其特征在于，所述解析结果中还包括每项所述形式化代码的句型；所述方法还包括:接收预先设定的分步式输入代码规则； 所述接收用户输入的形式化代码，包括: 接收形式化代码中需要使用的输入变量； 根据所述分步式输入代码规则以及每项所述形式化代码的句型分步通过直接文本录入模式、选择模式、枚举模式、给定定义域输入模式、对象重命名模式中的一种或多种接收用户输入的形式化代码。
5.根据权利要求1所述的方法，其特征在于，在保存所述形式化代码之后，接收到执行指令之前，所述方法还包括:定义矢量变量及所述矢量变量的属性； 判断所述形式化代码中是否包括所述矢量变量； 根据所述矢量变量的属性，将包括所述矢量变量的一项形式化代码替换为一组形式化代码并保存。
6.一种形式化代码生成中的效率控制装置，其特征在于，所述装置包括: 第一接收模块，用于接收效率控制规则，所述效率控制规则包括输入过滤规则、输入过程控制规则以及输出预判规则； 第二接收模块，用于接收用户输入的形式化代码； 解析模块，用于对所述用户输入的形式化代码进行解析，生成解析结果； 第一判断模块，用于判断所述形式化代码是否符合所述输入过滤规则或所述输入过程控制规则； 校验模块，用于根据所述解析结果判断所述形式化代码是否通过语法校验； 代码生成模块，用于如果所述形式化代码符合所述输入过滤规则或所述输入过程控制规则，并且所述形式化代码通过语法校验，则保存所述形式化代码； 第二判断模块，用于在保存所述形式化代码后，当接收到执行指令时，计算所述形式化代码的执行结果集，并判断所述执行结果集是否符合所述输出预判规则； 执行模块，用于如 果所述执行结果集符合所述输出预判规则，则继续执行所述形式化代码； 提示错误模块，用于如果所述形式化代码不符合所述输入过滤规则或所述输入过程控制规则，或者所述形式化代码没有通过语法校验，则提示错误；如果所述执行结果集不符合所述输出预判规则，则提示错误。
7.根据权利要求6所述的装置，其特征在于，所述第二接收模块包括: 变量接收子模块，用于接收形式化代码中需要使用的输入变量； 代码接收子模块，用于通过直接文本录入模式、选择模式、枚举模式、给定定义域输入模式、对象重命名模式中的一种或多种接收用户输入的形式化代码。
8.根据权利要求7所述的装置，其特征在于，所述输入过滤规则包括输入数据过滤规则以及特殊句型及其输入数据过滤规则；所述输入过程控制规则包括关联规则以及特殊句型结构规则；所述解析结果中还包括每项所述形式化代码的句型；所述第一判断模块包括: 第一判断子模块，用于判断接收的形式化代码中需要使用的输入变量是否符合输入数据过滤规则； 第二判断子模块，用于逐项判断形式化代码的句型是否为输入过滤规则中的特殊句型，如果是，则判断该项形式化代码的输入变量是否符合所述特殊句型及其输入数据过滤规则； 第三判断子模块，用于判断所述形式化代码是否符合关联规则； 第四判断子模块，用于逐项判断形式化代码的句型是否为输入过程控制规则中的特殊句型，如果是，则判断该项形式化代码是否符合所述特殊句型结构规则。
9.根据权利要求6所述的装置，其特征在于，所述解析结果中还包括每项所述形式化代码的句型；所述装置还包括:第三接收模块，用于接收预先设定的分步式输入代码规则； 所述第二接收模块包括: 变量接收子模块，用于接收形式化代码中需要使用的输入变量； 代码接收子模块，用于根据所述分步式输入代码规则以及每项所述形式化代码的句型分步通过直接文本录入模式、选择模式、枚举模式、给定定义域输入模式、对象重命名模式中的一种或多种接收用户输入的形式化代码。
10.根据权利要求6所述的装置，其特征在于，所述装置还包括: 矢量定义模块，用于定义矢量变量及所述矢量变量的属性； 第三判断模块，用于判断所述形式化代码中是否包括所述矢量变量； 矢量应用模块，用于根据所述矢量变量的属性，将包括所述矢量变量的一项形式化代码替换为一组形式化代码 并保存。
全文摘要
本发明公开了一种形式化代码生成中的效率控制方法及装置，该方法包括接收效率控制规则，效率控制规则包括输入过滤规则、输入过程控制规则以及输出预判规则；接收用户输入的形式化代码；对该代码进行解析，生成解析结果；判断代码是否符合输入过滤规则或输入过程控制规则；根据解析结果判断代码是否通过语法校验；如果代码符合输入过滤规则或输入过程控制规则，且通过语法校验，则保存代码；如果代码不符合输入过滤规则或输入过程控制规则，或没有通过语法校验，则提示错误；在保存后，当接收执行指令时，计算执行结果集，并判断执行结果集是否符合输出预判规则；如果符合输出预判规则，则继续执行；如果不符合输出预判规则，则提示错误。
文档编号G06F9/45GK103226488SQ20131016287
公开日2013年7月31日 申请日期2013年5月6日 优先权日2013年5月6日
发明者孔亮, 廖方平, 王皓瑜, 刘鹏飞, 张延堂, 齐诚民, 罗茜, 曹轶, 杨骥东, 孙令武, 张敬, 孙伟, 程勇, 杜腾飞 申请人:中国农业银行股份有限公司