CN113885876A

CN113885876A - Parameter checking method, device, storage medium and computer system

Info

Publication number: CN113885876A
Application number: CN202111174564.3A
Authority: CN
Inventors: 李晶
Original assignee: Beijing Jingdong Century Trading Co Ltd; Beijing Wodong Tianjun Information Technology Co Ltd
Current assignee: Beijing Jingdong Century Trading Co Ltd; Beijing Wodong Tianjun Information Technology Co Ltd
Priority date: 2021-10-09
Filing date: 2021-10-09
Publication date: 2022-01-04

Abstract

In the parameter verification method provided by the embodiment of the disclosure, the parameter verification rule corresponding to the information to be verified is matched in the preset parameter verification rule base, and the parameter verification rule is compiled, so that a compiled rule which can be recognized by a system can be obtained, the system can verify the information to be verified by running the compiled rule, and a verification result is obtained.

Description

Parameter checking method, device, storage medium and computer system

Technical Field

The present disclosure relates to the technical field of parameter verification, and in particular, to a parameter verification method, apparatus, storage medium, and computer system.

Background

Parameter verification is a very important step in a service system, and null values, data length, data range, parameter mutual exclusion and the like can be verified through parameters, so that the probability of abnormal risks occurring in the service system is reduced.

In the existing business system, the parameter checking rules and the parameters are implanted when the system is developed.

After the development of the service system is completed, the input parameters and the parameter verification rules in the service system are determined, and when the user-defined parameter verification rules need to be input to verify the parameters, the service system cannot execute the input parameter verification rules. In order to solve the problem, in the prior art, the customized parameter verification rule can be rewritten into the system, the service system is upgraded, and the upgraded service system can execute the parameter verification rule input by the user.

However, the above-mentioned method for verifying the customized parameters in the prior art has poor flexibility, and when the verification condition is changed, the system program needs to be correspondingly changed, so the parameter verification method is complicated, and the efficiency is low.

Disclosure of Invention

The present disclosure aims to provide a parameter verification method, an apparatus, a storage medium and a computer system, so as to overcome the problems of the existing system that the verification method for the customized parameter is complicated and the efficiency is low due to the limitations and defects of the related art at least to a certain extent.

Additional features and advantages of the disclosure will be set forth in the detailed description which follows, or in part will be obvious from the description, or may be learned by practice of the disclosure.

According to a first aspect of the present disclosure, there is provided a parameter checking method, the method comprising:

receiving a verification request; wherein, the checking request comprises information to be checked;

matching a parameter verification rule corresponding to the information to be verified from a preset parameter verification rule base;

compiling the parameter verification rule to obtain a recognizable compiled rule;

and running the compiled rule to verify the information to be verified to obtain a verification result.

In an exemplary embodiment of the disclosure, the compiling the parameter verification rule to obtain a compiled rule recognizable by the electronic device includes:

analyzing the parameter checking rule to obtain a method statement conforming to a preset grammar rule;

the method statements are combined to form a compiled rule that can be identified.

In one exemplary embodiment of the present disclosure,

the analyzing the parameter checking rule to obtain a method statement conforming to a preset grammar rule comprises the following steps:

analyzing the parameter checking rule to obtain a character sequence;

identifying special characters in the character sequence, and segmenting the character sequence based on the special characters to obtain a morpheme sequence according with a preset grammar rule;

and compiling the morpheme sequence to generate a method statement.

In one exemplary embodiment of the present disclosure,

the compiling of the morpheme sequence and the generation of the method sentence comprise:

marking the morpheme sequence according to the type, and generating a method statement according to the marked morpheme sequence; wherein the type comprises at least one of check parameters, intermediate variables, operators, relational characters, logical characters, literal quantities and line feed characters.

In one exemplary embodiment of the present disclosure,

the predetermined grammar rules include: at least one of an operator grammar rule, a logic symbol grammar rule, and a relation symbol grammar rule.

In one exemplary embodiment of the present disclosure,

constructing a semantic analysis model;

and analyzing the morpheme sequence by adopting the semantic analysis model to obtain a method sentence.

In one exemplary embodiment of the present disclosure,

before the invoking of the parameter verification rule corresponding to the information to be verified from the preset parameter verification rule base, the method further includes:

and acquiring a parameter verification rule corresponding to the information to be verified, and storing the parameter verification rule in the preset parameter verification rule base.

In one exemplary embodiment of the present disclosure,

after compiling the parameter verification rule to obtain a compiled rule that can be recognized by the electronic device, the method further includes:

storing the compiled rule and creating an index file; the index file is used for indexing the compiled rules corresponding to the parameter verification rules according to the parameter verification rules.

In one exemplary embodiment of the present disclosure,

before compiling the parameter verification rule, the method further includes:

indexing a compiled rule corresponding to the parameter verification rule through the index file;

and if the compiled rule exists, running the compiled rule to verify the information to be verified by using the compiled rule to obtain a verification result.

According to a second aspect of the present disclosure, there is provided a parameter checking apparatus comprising:

the acquisition module is used for receiving a verification request; wherein, the checking request comprises information to be checked;

the calling module is used for calling a parameter verification rule corresponding to the information to be verified from a preset parameter verification rule base;

the compiling module is used for compiling the parameter verification rule to obtain a compiled rule which can be identified by the electronic equipment;

and the verification module runs the compiled rule and verifies the information to be verified by using the compiled rule to obtain a verification result.

According to a third aspect of the present disclosure, there is provided a storage medium having stored thereon a computer program which, when executed by a processor, implements the above-described parameter verification method.

According to a fourth aspect of the present disclosure, there is provided a computer system comprising:

a processor; and

a memory for storing executable instructions of the processor;

wherein the processor is configured to perform the above-described parameter verification method via execution of the executable instructions.

In the parameter verification method provided by the embodiment of the disclosure, the parameter verification rule corresponding to the information to be verified is matched in the preset parameter verification rule base, and the parameter verification rule is compiled, so that the recognizable compiled rule can be obtained, the compiled information can be verified by running the compiled rule, a verification result is obtained, the user-defined parameter verification rule input by a user can be effectively compiled into the recognizable compiled rule, the information to be verified is verified through the compiled rule, the flexibility and the verification efficiency of the parameter verification process are improved, and the parameter verification rule which changes rapidly or the newly added parameter verification rule can be further responded.

It is to be understood that both the foregoing general description and the following detailed description are exemplary and explanatory only and are not restrictive of the disclosure.

Drawings

The accompanying drawings, which are incorporated in and constitute a part of this specification, illustrate embodiments consistent with the present disclosure and together with the description, serve to explain the principles of the disclosure. It is to be understood that the drawings in the following description are merely exemplary of the disclosure, and that other drawings may be derived from those drawings by one of ordinary skill in the art without the exercise of inventive faculty.

Fig. 1 schematically illustrates a schematic diagram of a parameter checking method in an exemplary embodiment of the present disclosure;

FIG. 2 is a schematic diagram schematically illustrating a parameter checking rule processing method in an exemplary embodiment of the present disclosure;

FIG. 3 is a schematic diagram schematically illustrating another parameter verification rule processing method in an exemplary embodiment of the present disclosure;

FIG. 4 is a diagram schematically illustrating a method statement generation method in an exemplary embodiment of the present disclosure;

FIG. 5 is a diagram schematically illustrating another method statement generation method in an exemplary embodiment of the present disclosure;

FIG. 6 schematically illustrates another parameter checking method in an exemplary embodiment of the disclosure;

FIG. 7 is a schematic diagram illustrating a character sequence distribution according to an exemplary embodiment of the disclosure;

FIG. 8 is a diagram schematically illustrating a morpheme sequence distribution in an exemplary embodiment of the present disclosure;

FIG. 9 schematically illustrates a schematic diagram of a verification device in an exemplary embodiment of the present disclosure;

FIG. 10 is a schematic diagram illustrating an exemplary embodiment of a parameter checking apparatus according to the present disclosure;

fig. 11 schematically illustrates a composition diagram of another parameter checking apparatus in an exemplary embodiment of the present disclosure;

FIG. 12 schematically illustrates a composition diagram of a computer system in an exemplary embodiment of the disclosure;

fig. 13 schematically illustrates a composition diagram of a storage medium in an exemplary embodiment of the present disclosure.

Detailed Description

Example embodiments will now be described more fully with reference to the accompanying drawings. Example embodiments may, however, be embodied in many different forms and should not be construed as limited to the examples set forth herein; rather, these embodiments are provided so that this disclosure will be thorough and complete, and will fully convey the concept of example embodiments to those skilled in the art. The described features, structures, or characteristics may be combined in any suitable manner in one or more embodiments.

Furthermore, the drawings are merely schematic illustrations of the present disclosure and are not necessarily drawn to scale. The same reference numerals in the drawings denote the same or similar parts, and thus their repetitive description will be omitted. Some of the block diagrams shown in the figures are functional entities and do not necessarily correspond to physically or logically separate entities. These functional entities may be implemented in the form of software, or in one or more hardware modules or integrated circuits, or in different networks and/or processor devices and/or microcontroller devices.

In this exemplary embodiment, a parameter verification method is first provided, where a recognizable rule after compiling is obtained by compiling a parameter verification rule matching information to be verified, and the information to be verified is verified by using the rule after compiling to obtain a verification result. As shown in fig. 1, the above parameter checking method includes the following steps:

s1, receiving a verification request; wherein, the verification request comprises information to be verified.

And S2, matching a parameter verification rule corresponding to the information to be verified from a preset parameter verification rule base.

And S3, compiling the parameter verification rule to obtain a recognizable compiled rule.

And S4, operating the compiled rule to check the information to be checked to obtain a check result.

According to the parameter verification method provided by the exemplary embodiment, the execution main body can be the electronic device, the parameter verification rule corresponding to the information to be verified is matched in the preset parameter verification rule base and is compiled, the compiled rule which can be identified by the electronic device can be obtained, the electronic device can verify the information to be verified by running the compiled rule to obtain the verification result, the user-defined parameter verification rule input by the user can be effectively compiled into the compiled rule which can be identified by the system, the information to be verified is identified by the compiled rule, the flexibility and the verification efficiency of the system in the parameter verification process are improved, and the system can further cope with the parameter verification rule which changes rapidly or the newly added parameter verification rule. In order to improve the operation efficiency of the system, the compiled rule can be stored in the preset parameter verification rule base, and when the electronic equipment receives the information to be verified before, the electronic equipment can directly match the compiled rule from the preset parameter verification rule base so as to improve the parameter verification efficiency.

The parameter verification method provided by the scheme can be applied to the following scenes:

for example, in order to facilitate a worker of a shipping warehouse to perform logistics distribution on an item to be shipped, a logistics distribution system may be developed, a developer of the logistics distribution system develops and brings the system online, and a user of the logistics distribution system is a worker of the shipping warehouse, and when the worker finds that the operation condition of the logistics distribution system is unstable, for example, the logistics distribution system often has a problem of disconnection or disconnection, the worker may initiate a check request, specifically, the worker may initiate a check request for a program of the logistics distribution system with respect to whether a null value exists in the program of the logistics distribution system, whether a program character length is longer than a predetermined threshold value, whether a parameter range in the program is within a predetermined range, whether two mutually exclusive parameters exist in a program language, and the like.

Hereinafter, each step of the parameter verification method in the present exemplary embodiment will be described in more detail with reference to the drawings and examples.

As shown in fig. 1, at step S1, a verification request is received.

Wherein, the verification request comprises information to be verified.

In the exemplary embodiment, the information to be verified is data input by a user for testing the performance of the software system program, and the information to be verified may include a parameter to be verified and a limitation condition corresponding to the parameter.

The parameter can be null value, character length of program, value range of a certain parameter in the program, and whether the program logic language is mutually exclusive, etc.

When the parameter is null, the corresponding limitation conditions are as follows: inputting the checked character length by the program word to be checked and judging whether a null value exists in the input checked character, if so, outputting the null value; when the parameter is the character length of the program, the corresponding limitation conditions are as follows: the language length of a single sentence program of a program to be verified cannot exceed a preset threshold; when the parameter is the value range of one parameter in the program, the corresponding limiting conditions are as follows: the parameter cannot exceed a predetermined range; when the parameter is whether the program logic language is mutually exclusive, the corresponding limitation condition is as follows: mutually exclusive parameters cannot appear in the program language to be checked.

In the present exemplary embodiment, the method described above may be performed in an electronic device including, but not limited to, a smart terminal such as a smart phone, a tablet computer, a notebook computer, and a desktop computer.

The user may directly input the verification request into the electronic device, for example, the user may directly input the verification request into the electronic device through a key on a mobile phone, a computer keyboard, a mouse, or other input devices, or may remotely transmit the verification request to the electronic device through a user terminal, where the user terminal may be a smart phone, a tablet computer, a notebook computer, or the like, and the remote transmission mode may be a transmission means based on an HTTP protocol, or any other network transmission means that can transmit the verification request, and the embodiment does not specifically limit the remote transmission mode.

And step S2, matching a parameter verification rule corresponding to the information to be verified from a preset parameter verification rule base.

In the present exemplary embodiment, the preset parameter verification rule base may be a database in which parameter verification rules are stored. For example, the preset parameter checking rule base may be a relational or non-relational database such as MySQL, MongoDB, and the like; the data database can be stored in a memory, the memory is connected with the electronic equipment, and the electronic equipment can read the parameter verification rule from the memory; the preset parameter verification rule base may also be a storage space for dividing a part of space in the storage of the electronic device itself to store the parameter verification rule, or any other storage space that can be read by the electronic device and can store the parameter verification rule.

In the present exemplary embodiment, the parameter verification rule stored in the preset parameter verification rule base may be obtained by the following two ways:

the first mode is as follows: the method comprises the steps of counting the number of information to be verified input by a user in advance, classifying the information to be verified according to verification parameters of the information to be verified and limiting conditions corresponding to the verification parameters, developing corresponding parameter verification rules for each category of the information to be verified, and storing the parameter verification rules in a preset parameter verification rule base. For example, in the history record of the electronic device receiving the verification request, the verification requests sent by 10 users all include parameters for verifying the null value, and then the 10 clients can be used as null value verification classes, so that a developer can develop a parameter verification rule for verifying the null value, and store the parameter verification rule for verifying the null value in a preset parameter verification rule base.

When other users input a verification request comprising a verification null value, the electronic equipment can match a parameter verification rule of the verification null value, which is stored in a preset parameter verification rule base in advance; for the convenience of matching the parameter verification rules of the electronic equipment, the parameter verification rules stored in the parameter verification rule base can be numbered in advance, so that each parameter verification rule corresponds to a unique determined label, for example, the parameter verification rule of the verification null value is numbered as 1, the parameter verification rule of the verification data range is numbered as 2, the parameter verification rule of the verification data length is numbered as 3, and the parameter verification rules of the verification parameters are numbered as 4; when the user inputs the information to be verified, the electronic device judges the type of the parameter contained in the type of the information to be verified after receiving the verification request of the user, if the parameter type is the parameter verification rule with the data length, the electronic device can directly read the parameter verification rule with the number of 3 from the preset parameter verification rule base, and the process of matching the parameter verification rule corresponding to the information to be verified from the preset parameter verification rule base can be completed by adopting the mode.

The second way is: in this way, a server and a software development end can be introduced; the software development terminal is a terminal used by a developer, the server is used for overall data interaction between the electronic equipment and the software development terminal, a user sends a verification request to the electronic equipment through a user terminal, the electronic equipment transmits information to be verified in the verification request to the background server after receiving the verification request of the user, the background server generates a parameter verification rule development task after receiving the information to be verified and sends the parameter verification rule development task to the software development terminal, the developer formulates a parameter verification rule corresponding to the information to be verified and uploads the parameter verification rule to the server through the software development terminal, and the server stores the parameter verification rule into a preset parameter verification rule base and numbers the parameter verification rule by adopting the method in the first mode.

Step S3, compiling the parameter verification rule to obtain a recognizable compiled rule.

In the present exemplary embodiment, since the parameter verification rules in the preset parameter verification rule base can be obtained in different manners, it is easy to cause that the parameter verification rules cannot be recognized by the electronic device, for example, the development language of the parameter verification rules stored in the preset parameter verification rule base is JAVA language, and the development platform thereof is Microsoft Visual; the program of the software installed on the electronic equipment is developed based on the C language, and at this time, the electronic equipment cannot adopt the parameter verification rule developed based on the JAVA language to verify the software developed based on the C language. Therefore, after the parameter verification rule corresponding to the information to be verified is matched, the parameter verification rule needs to be compiled.

For example, after the system development is completed, the system developer sells the system to a third party, and the third party performs later maintenance and sale on the system, however, the program development platform and the program language used by the third party are not necessarily the same as the system, when a user using the system proposes a verification request, the third party can formulate a parameter verification rule corresponding to the verification request according to the program development platform and the program development platform used by the third party, and when the system program is verified by adopting the parameter verification rule formulated by the third party, the parameter verification rule needs to be compiled, and the compiled rule can be recognized by the system.

In the exemplary embodiment, after the electronic device obtains the parameter verification rule, a shell checking tool preset on the electronic device may be used to determine a programming language and a development platform of the parameter verification rule, specifically, the shell checking tool may be peid (pe identifier), after the programming language and the development platform of the parameter verification rule are obtained, the parameter verification rule is decompiled using decompiling software, so that a program code corresponding to the parameter verification rule is obtained, and a compiled rule recognizable to a program to be verified installed on the electronic device is generated based on the program code.

For example, if a third party uses the parameter verification rules of a DLL file developed on a Microsoft Visual platform by using the VC + + language, and a program to be verified installed on an electronic device is developed based on the JAVA language, the following steps may be performed:

cracking the parameter verification rule by using a shell checking tool to obtain a development language and a development platform corresponding to the parameter verification rule; the user-defined parameter verification rule which can be obtained by the step is a DLL file which is developed on a Microsoft Visual platform and is based on VC + + language.

Selecting decompilation software aiming at a parameter verification rule (a DLL file developed on a Microsoft Visual platform based on VC + + language), and decompilating the parameter verification rule by using the decompilation software to obtain a program language corresponding to the parameter verification rule; specifically, during the decompiling process, NET Reflector software can be adopted for implementation.

The electronic device can adopt a compiler to convert the program language into a JAVA language which can be identified by the electronic device, and the electronic device can run the parameter verification rule to verify the program to be verified.

And step S4, operating the compiled rule to verify the information to be verified to obtain a verification result.

In this exemplary embodiment, the above steps may be executed by an electronic device, and specifically, the electronic device may invoke a compiling and executing module, and run a rule after compiling by using the compiling and executing module to check the information to be checked, and obtain a check result. The compiling execution module can be an execution mode of a computer language. Compiling the object code into an object program by a compiler at one time, and running the object program by a machine, such as: PASCAL, C + +, etc.

The compiled rule can be directly loaded in the compiling execution module, and then the information to be verified input by the user is input into the compiled rule to obtain a verification result.

For example, a user needs to check the program operation performance of the logistics distribution system and send a check null value check request to the electronic device, a developer/maintainer formulates a parameter check rule for the check request for checking the null value and stores the parameter check rule in a preset parameter check rule base, the electronic device matches the parameter check rule for checking the null value from the preset parameter check rule base and compiles the parameter check rule, and the compiling result is: and obtaining a compiled rule which can be identified by the electronic equipment, and verifying the program of the logistics distribution system by adopting the compiled rule.

The electronic equipment adopts the compiled rule to check the program of the logistics distribution system, and the result of whether the program language has a null value is obtained. If the null value exists, the user can feed back the result of the existence of the null value to developers/maintainers, and the developers delete the null value in the logistics distribution system program according to the result so as to eliminate the null value in the logistics system program and further improve the operation stability of the logistics distribution system.

In this exemplary embodiment, as shown in fig. 2, the compiling the parameter verification rule in step S3 to obtain a compiled rule that can be recognized by the electronic device includes:

step S301, analyzing the parameter checking rule to obtain a method statement conforming to a preset grammar rule.

Wherein the predetermined grammar rule includes: operator grammar rules, logic symbol grammar rules, and relationship symbol grammar rules.

In the operator grammar rule, an operator may be: a word connected before and after an operator can only be a numeric character or a variable whose value is a numeric value. For example, 1+1 ═ 2.

In the above logic symbol syntax rule, the logic symbol may be: a logical or (|), a logical sum (&), and words connected before and after the logical symbol are boolean literal quantities or variables whose values are boolean values. For example, "True" or "False", condition1& condition 2.

In the above-mentioned relation symbol syntax rule, the relation symbol may be: ">" < "" "═ | is"! The types of words connected before and after the relation symbol are the same, wherein the types include: numeric values, numeric variables, strings, values as variables of strings.

The above method statement is a language that can execute any step in the whole logic process, for example, judge whether m is greater than n, when m is greater than n, use n to replace m; the above process includes two method statements, namely "judge whether m is greater than n" and "replace m with n when m is greater than n".

Step S302, the method statements are combined to form a recognizable compiled rule.

In the above step, the compiled rule is a rule that can be loaded and run on the electronic device, and is formed by combining the method statements, and the method statements may be written into the electronic device to be executed first, and then the native compiler in the electronic device is used to compile the method statements, so as to generate the rule that can be run in the electronic device.

For example, in step S301, two method statements are obtained: "judge whether m is greater than n", "when m is greater than n, use n to replace m", combine two method statements, get:

judging whether m is larger than n;

when m is greater than n, n is used instead of m.

And then, the electronic equipment calls a compiler to compile the parameter verification rule into a rule which can be recognized by the electronic equipment, namely the compiled rule.

In this exemplary embodiment, as shown in fig. 3, the parsing the parameter checking rule in step S301 to obtain a method statement conforming to a predetermined syntax rule includes:

step S3011, analyzing the parameter checking rule to obtain a character sequence;

in the above steps, the parameter verification rule may be firstly parsed into a character sequence, and each character in the parameter verification rule is scanned one by one, so as to form the character sequence. For example, the user-defined parameter verification rule is:

C＝m+n；

condition1＝m>n；

condition2＝C＝50；

condition1&condition2；

the characters in the parameter check rule are scanned one by one, so that C ═ m + n/n C o n d i t i o n1 ═ m > n/n C o n d i t i o n2 ═ C ═ 50/n C o n i t i o n1& C o n i t i o n2 can be obtained. By adopting the setting, the user-defined parameter verification rule can be converted into a single character which can be identified by the electronic equipment.

Step S3012, identifying special characters in the character sequence, and segmenting the character sequence based on the special characters to obtain a morpheme sequence according with a preset grammar rule;

in the above step, the special characters in the character sequence are identified, and the character sequence is divided into a plurality of subsequences according to the special characters. The special characters comprise space characters, line feed characters, operators, relational characters and logical characters.

And step S3013, compiling the morpheme sequence to generate a method statement.

Specifically, a compiling unit may be constructed based on the morpheme sequence obtained in step S3012, and the compiling unit may execute an operation of compiling the morpheme sequence to compile the morpheme sequence into a method sentence recognizable by the electronic device.

In this exemplary embodiment, as shown in fig. 4, compiling the morpheme sequence in step S3013 and generating a method statement includes:

step S30131, marking the morpheme sequence according to type; wherein the type comprises at least one of check parameters, intermediate variables, operators, relational characters, logical characters, literal quantities and line feed characters.

For example, based on the character sequence obtained in step S3011, the following morpheme sequence can be obtained: c is an intermediate variable, m is a check parameter, + is an operator, n is an operation parameter,/n is a linefeed character, condition1 is an intermediate variable, ═ is an operator, m is a check parameter, > is an operator, n is a check parameter,/n is a linefeed character, condition2 is an intermediate variable, ═ is an operator, C is an intermediate variable, ═ is an operator, 50 is a numeric font size,/n is a linefeed character, condition1 is an intermediate variable, & is a logic character, and condition2 is an intermediate variable.

In step S30132, a method sentence is generated from the tagged morpheme sequence.

The compiling unit compiles the morpheme sequence into a method statement according to the type of the morpheme sequence.

In this exemplary embodiment, as shown in fig. 5, compiling the morpheme sequence in step S3013 and generating a method statement includes:

step S30133, a semantic parsing model is constructed.

And establishing a checking method in the compiling unit by constructing the content of the semantic parsing model, and performing semantic parsing on the morpheme sequence.

Step S30134, analyzing the morpheme sequence by using the semantic analysis model to obtain a method statement.

In the above steps, the morpheme sequence is converted into a statement understood by the system compiler and filled into the method body.

In this exemplary embodiment, before the step S2 of invoking the parameter verification rule corresponding to the information to be verified from the preset parameter verification rule base, the method further includes:

and step S5, acquiring a parameter verification rule corresponding to the information to be verified, and storing the parameter verification rule in the preset parameter verification rule base.

Specifically, according to the information to be verified currently input by the user, a parameter verification rule corresponding to the currently input information to be verified is formulated, and then the parameter verification rule is stored in a preset parameter verification rule base. For example, when a verification request input by a user is received by the electronic device, the verification request includes information to be verified: "the sum of the parameter param1 and the parameter parama 2 is equal to 100, and param1 is less than 50", at this time, the terminal device may obtain a parameter verification rule corresponding to the information to be verified based on the information to be verified, where the parameter verification rule is:

parma3＝param1+param2

condition1＝parma3＝＝100

condition2＝parma2<50

condition1&condition2。

and directly storing the rules in a preset parameter verification rule base so that the electronic equipment can be directly matched according to the information to be verified.

In this exemplary embodiment, after the step S3 compiles the parameter verification rule to obtain a compiled rule that can be recognized by the electronic device, the method further includes:

step S6, storing the compiled rule and creating an index file; the index file is used for indexing the compiled rules corresponding to the parameter verification rules according to the parameter verification rules.

Specifically, the place for storing the compiled rule can be a preset parameter verification rule base or a storage space of the electronic device, and the scheme does not limit the storage place of the compiled rule.

When the compiled rule is stored in the preset compiling rule base, the storage address of the compiled rule needs to be known. For example, a user may want to query a bank account, neither the customer nor the cashier may know the address recorded by the customer, and the customer may only give the cashier his or her own account. Here, the index file may associate an account number and a record address. Specifically, in the scheme, the index file is used for associating the parameter verification rule with the storage address of the compiled rule.

In this exemplary embodiment, before compiling the parameter verification rule in step S3, the method further includes:

step S7, indexing the compiled rule corresponding to the parameter checking rule through the index file; and if the compiled rule exists, running the compiled rule to verify the information to be verified by using the compiled rule to obtain a verification result.

Specifically, a user inputs information to be verified, and matches a parameter verification rule corresponding to the information to be verified from a preset parameter verification rule base, in order to further improve verification efficiency, the parameter verification rule can be directly used as a basis, whether a compiled rule corresponding to the parameter verification rule exists or not is searched in a storage place of the compiled rule through an index file, if so, the compiled rule can be directly operated on the electronic device, and the compiling process of step S3 in the scheme is not required, so that the parameter verification efficiency can be improved.

In the present exemplary embodiment, referring to fig. 6, the parameter checking method includes steps S701 to S707.

Step S701, receiving a verification request; wherein, the verification request comprises the parameters to be verified.

Step S702, acquiring a parameter verification rule corresponding to the parameter to be verified, and storing the parameter verification rule in the preset verification rule base. According to the information to be verified input by the user at present, a parameter verification rule corresponding to the information to be verified input at present is formulated, and then the parameter verification rule is stored in a preset parameter verification rule base, so that the matched parameter verification rule is provided for the information to be verified.

Step S703, matching a parameter verification rule corresponding to the parameter to be verified from a preset verification rule base.

Step S704, indexing a compiled rule corresponding to the parameter verification rule through the index file; and if the compiled rule exists, running the compiled rule to obtain a verification result. The user inputs the information to be verified, the parameter verification rule corresponding to the information to be verified is matched from the preset parameter verification rule base, in order to further improve the verification efficiency, the parameter verification rule can be directly used as a basis, whether the compiled rule corresponding to the parameter verification rule exists or not is searched in the storage place of the compiled rule through the index file, if the compiled rule exists, the compiled rule can be directly operated on the electronic equipment, the compiling process of the step S3 in the scheme is not needed, and the parameter verification efficiency can be improved.

Step S705, compiling the parameter verification rule to obtain a recognizable compiled rule.

Step S706, storing the compiled rule and creating an index file. When the compiled rule is stored in the preset compiling rule base, the storage address of the compiled rule needs to be known. For example, a user may want to query a bank account, neither the customer nor the cashier may know the address recorded by the customer, and the customer may only give the cashier his or her own account. Here, the index file may associate an account number and a record address. Specifically, in the scheme, the index file is used for associating the parameter verification rule with the storage address of the compiled rule. Therefore, when the compiled rule corresponding to the parameter verification rule is found, the verification result can be obtained by directly operating the compiled rule, and the efficiency of parameter verification can be improved.

Step S707, running the compiled rule to verify the parameter to be verified, so as to obtain a verification result.

In the present exemplary embodiment, a Java language compiler is used as a system compiler, and a verification apparatus as shown in fig. 9 is constructed to verify information to be verified input by a user, and the verification apparatus is integrated in an electronic device.

Referring to fig. 9, the verification apparatus may include the following functional devices: the system comprises an HTTP request receiver, a Mysql database, a character sequence generator, a lexical analyzer, a grammar checker, a java language compiling unit, a class file loader and a class file executor.

Specifically, the HTTP request receiver is configured to receive verification information of a user, match and read a parameter verification rule in the Mysql database after receiving the verification information of the user, convert the parameter verification rule into a character sequence through the character sequence generator, convert the character sequence into a morpheme by using a lexical parser, input the morpheme into a grammar verifier to obtain a method statement, compile the method statement by using a java language compiling unit to obtain a program rule that can be recognized by the verification apparatus, load the program rule by using a class file loader, and verify the verification information by using a class file executor to execute the program rule, so that a corresponding verification result can be obtained.

The specific verification method comprises the following steps:

step S1, receiving a verification request; wherein, the verification request comprises information to be verified.

An HTTP request receiver is adopted to receive a verification request input by a client user, and verification parameters contained in the verification request are as follows: the sum of the parameters param1 and parama 2 equals 100 and param1 is less than 50.

Specifically, according to the information to be verified input by the client user, the parameter verification rule read by the verification device from the preset parameter verification rule base (Mysql database) is as follows:

parma3＝param1+param2

condition1＝parma3＝＝100

condition2＝parma2<50

condition1&condition2。

step S3, compiling the parameter verification rule to obtain an identifiable compiled rule;

when the parameter verification rule input device in the verification device receives the parameter verification rule, the parameter verification rule input device converts the parameter verification rule into a character sequence by using a character sequence generator, the character sequence is distributed according to the sequence shown in fig. 7, and in fig. 7, each small square represents one character. Where "\ n" represents a line break.

The character sequence is converted into a morpheme sequence by a lexical analyzer, and the type of each morpheme is identified, as shown in fig. 8, each small rectangular block represents one morpheme, and the morpheme sequence is arranged in the order shown in fig. 8.

And after the checking device acquires the morpheme sequence, the morpheme is analyzed into a method statement by using a grammar checker.

Constructing a method statement into a program rule by using a java language compiling unit, specifically:

the method comprises the steps of constructing a java language compiling unit by using a constructor, wherein the compiling unit (JCComplationsUnit) comprises a package path (FieldAccess), a class reference (JCIMPort) and a class definition (JCClassDecl), and the package path can be set to be any path different from other compiled regular paths of the system so as to ensure the uniqueness of the package path, such as' com. When no class reference is involved, JCImport is set to null (null).

The class definition contains the class name (sharednametable. nameimpl). Class modifiers (JCModifiers), and class methods (JCMethodDecl). Because the packet paths are unique, such names can be set to arbitrary names, such as "CheckUtils".

The class modifier may be set to "pubilc". Class methods include method modifiers (JCModifiers), return type (Ident), method name (sharednametable. nameimpr), method body (JCBlock), and 2 argument definitions (JCVariableDecl). The method modifier is defined as "public static" and the return type is defined as Boolean type.

Since the above check is for 2 parameters, 2 reference definitions are set. The method body needs to perform semantic conversion according to the content of the morpheme sequence and the type of the morpheme sequence and according to Java grammar to form 5 sentences which are 4 common sentences and 1 return sentence respectively. Thus, the construction of the Java compilation unit using the constructor is completed.

The compiling unit is compiled using a Java compiler (Java native compiler), generating a class file (post-compilation rule). And then loading the class file by using a class loader, calling a check method by using the reflection characteristic of Java to obtain a return result of the method, and finally realizing the verification of parameters param1 and param 2.

The parameter verification method provided by the scheme can analyze the parameter verification rule of the user-defined parameter, convert the parameter verification rule into the compiling unit which can be understood by the current system compiler, and verify the information to be verified according to the user-defined parameter verification rule by compiling, loading and executing the compiling unit.

Further, as shown in fig. 10, in the present exemplary embodiment, there is provided a parameter checking apparatus 10, including: the system comprises an acquisition module 101, a calling module 102, a compiling module 103 and a checking module 104. Wherein:

the obtaining module 101 may be configured to receive a verification request; wherein, the checking request comprises information to be checked;

the invoking module 102 may be configured to invoke a parameter verification rule corresponding to the information to be verified from a preset parameter verification rule library;

the compiling module 103 may be configured to compile the parameter verification rule to obtain a compiled rule that can be identified by the electronic device;

the verification module 104 may be configured to run the compiled rule, and verify the information to be verified by using the compiled rule to obtain a verification result.

Further, the compiling module 103 includes: an analysis submodule and a combination submodule;

the analysis submodule can be used for analyzing the parameter checking rule to obtain a method statement conforming to a preset grammar rule; the combining submodule may be operable to combine the method statements to form a compiled rule that may be identified.

The parsing submodule includes: the system comprises a first analysis submodule, an identification submodule and a compiling submodule;

the first analysis submodule can be used for analyzing the parameter verification rule to obtain a character sequence; the recognition submodule can be used for recognizing and recognizing special characters in the character sequence and segmenting the character sequence based on the special characters to obtain a morpheme sequence which accords with a preset grammar rule; the compiling submodule can be used for compiling the morpheme sequence to generate a method statement.

The analysis submodule also comprises a marking submodule; and the marking submodule is used for marking the morpheme sequence according to the type and generating a method statement according to the marked morpheme sequence.

The analysis submodule also comprises a construction submodule and a second analysis submodule; the construction submodule can be used for constructing a semantic analysis model; the second parsing submodule may be configured to parse the morpheme sequence using the semantic parsing model to obtain a method statement.

Further, as shown in fig. 11, the parameter checking apparatus 10 further includes: a storage module 105, an index creation module 106, and a judgment module 107;

the storage module 105 may be configured to obtain a parameter verification rule corresponding to the information to be verified, and store the parameter verification rule in the preset parameter verification rule base; the index creating module 106 may be configured to store the compiled rule and create an index file; the index file is used for indexing a compiled rule corresponding to the parameter verification rule according to the parameter verification rule; the judging module 107 may be configured to index, through the index file, a compiled rule corresponding to the parameter checking rule; and if the compiled rule exists, running the compiled rule to verify the information to be verified by using the compiled rule to obtain a verification result.

The specific details of each module in the parameter verification apparatus have been described in detail in the corresponding parameter verification method, and therefore are not described herein again.

It should be noted that although in the above detailed description several modules or units of the device for action execution are mentioned, such a division is not mandatory. Indeed, the features and functionality of two or more modules or units described above may be embodied in one module or unit, according to embodiments of the present disclosure. Conversely, the features and functions of one module or unit described above may be further divided into embodiments by a plurality of modules or units.

In an exemplary embodiment of the present disclosure, there is also provided a computer-readable storage medium having stored thereon a program product capable of implementing the above-described method of the present specification. In some possible embodiments, aspects of the invention may also be implemented in the form of a program product comprising program code means for causing a terminal device to carry out the steps according to various exemplary embodiments of the invention described in the above section "exemplary methods" of the present description, when said program product is run on the terminal device.

Referring to fig. 13, a program product 800 for implementing the above method according to an embodiment of the present invention is described, which may employ a portable compact disc read only memory (CD-ROM) and include program code, and may be run on a terminal device, such as a personal computer. However, the program product of the present invention is not limited in this regard and, in the present document, a readable storage medium may be any tangible medium that can contain, or store a program for use by or in connection with an instruction execution system, apparatus, or device.

The program product may employ any combination of one or more readable media. The readable medium may be a readable signal medium or a readable storage medium. A readable storage medium may be, for example, but not limited to, an electronic, magnetic, optical, electromagnetic, infrared, or semiconductor system, apparatus, or device, or any combination of the foregoing. More specific examples (a non-exhaustive list) of the readable storage medium include: an electrical connection having one or more wires, a portable disk, a hard disk, a Random Access Memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or flash memory), an optical fiber, a portable compact disc read-only memory (CD-ROM), an optical storage device, a magnetic storage device, or any suitable combination of the foregoing.

A computer readable signal medium may include a propagated data signal with readable program code embodied therein, for example, in baseband or as part of a carrier wave. Such a propagated data signal may take many forms, including, but not limited to, electro-magnetic, optical, or any suitable combination thereof. A readable signal medium may also be any readable medium that is not a readable storage medium and that can communicate, propagate, or transport a program for use by or in connection with an instruction execution system, apparatus, or device.

Program code embodied on a readable medium may be transmitted using any appropriate medium, including but not limited to wireless, wireline, optical fiber cable, RF, etc., or any suitable combination of the foregoing.

Program code for carrying out operations for aspects of the present invention may be written in any combination of one or more programming languages, including an object oriented programming language such as Java, C + + or the like and conventional procedural programming languages, such as the "C" programming language or similar programming languages. The program code may execute entirely on the user's computing device, partly on the user's device, as a stand-alone software package, partly on the user's computing device and partly on a remote computing device, or entirely on the remote computing device or server. In the case of a remote computing device, the remote computing device may be connected to the user computing device through any kind of network, including a Local Area Network (LAN) or a Wide Area Network (WAN), or may be connected to an external computing device (e.g., through the internet using an internet service provider).

Furthermore, the above-described figures are merely schematic illustrations of processes involved in methods according to exemplary embodiments of the invention, and are not intended to be limiting. It will be readily understood that the processes shown in the above figures are not intended to indicate or limit the chronological order of the processes. In addition, it is also readily understood that these processes may be performed synchronously or asynchronously, e.g., in multiple modules.

In an exemplary embodiment of the present disclosure, there is also provided a computer system capable of implementing the above method.

As will be appreciated by one skilled in the art, aspects of the present invention may be embodied as a system, method or program product. Thus, various aspects of the invention may be embodied in the form of: an entirely hardware embodiment, an entirely software embodiment (including firmware, microcode, etc.) or an embodiment combining hardware and software aspects that may all generally be referred to herein as a "circuit," module "or" system.

A computer system 600 according to this embodiment of the invention is described below with reference to fig. 12. The computer system 600 shown in fig. 12 is only an example and should not bring any limitations to the function and scope of use of the embodiments of the present invention.

As shown in FIG. 12, computer system 600 is in the form of a general purpose computing device. The components of computer system 600 may include, but are not limited to: the at least one processing unit 610, the at least one memory unit 620, and a bus 630 that couples the various system components including the memory unit 620 and the processing unit 610.

Wherein the storage unit stores program code that is executable by the processing unit 610 to cause the processing unit 610 to perform steps according to various exemplary embodiments of the present invention as described in the above section "exemplary methods" of the present specification. For example, the processing unit 610 may perform step s1 as shown in fig. 1 receiving a check request; wherein, the checking request comprises information to be checked; step S2, matching a parameter verification rule corresponding to the information to be verified from a preset parameter verification rule base; s3, compiling the parameter verification rule to obtain a recognizable compiled rule; and S4, operating the compiled rule to check the information to be checked to obtain a check result.

The storage unit 620 may include readable media in the form of volatile memory units, such as a random access memory unit (RAM)6201 and/or a cache memory unit 6202, and may further include a read-only memory unit (ROM) 6203.

The memory unit 620 may also include a program/utility 6204 having a set (at least one) of program modules 6205, such program modules 6205 including, but not limited to: an operating system, one or more application programs, other program modules, and program data, each of which, or some combination thereof, may comprise an implementation of a network environment.

Bus 630 may be one or more of several types of bus structures, including a memory unit bus or memory unit controller, a peripheral bus, an accelerated graphics port, a processing unit, or a local bus using any of a variety of bus architectures.

The computer system 600 may also communicate with one or more external devices 700 (e.g., keyboard, pointing device, bluetooth device, etc.), with one or more devices that enable a user to interact with the computer system 600, and/or with any devices (e.g., router, modem, etc.) that enable the computer system 600 to communicate with one or more other computing devices. Such communication may occur via an input/output (I/O) interface 650. Moreover, computer system 600 may also communicate with one or more networks (e.g., a Local Area Network (LAN), a Wide Area Network (WAN) and/or a public network such as the Internet) via network adapter 660. As shown, network adapter 660 communicates with the other modules of computer system 600 via bus 630. It should be appreciated that although not shown in the figures, other hardware and/or software modules may be used in conjunction with computer system 600, including but not limited to: microcode, device drivers, redundant processing units, external disk drive arrays, RAID systems, tape drives, and data backup storage systems, among others.

Other embodiments of the disclosure will be apparent to those skilled in the art from consideration of the specification and practice of the disclosure disclosed herein. This application is intended to cover any variations, uses, or adaptations of the disclosure following, in general, the principles of the disclosure and including such departures from the present disclosure as come within known or customary practice within the art to which the disclosure pertains. It is intended that the specification and examples be considered as exemplary only, with a true scope and spirit of the disclosure being indicated by the following claims.

It will be understood that the present disclosure is not limited to the precise arrangements described above and shown in the drawings and that various modifications and changes may be made without departing from the scope thereof. The scope of the present disclosure is to be limited only by the terms of the appended claims.

Claims

1. A method for parameter verification, the method comprising:

2. The method of claim 1, wherein compiling the parameter verification rule to obtain a compiled rule recognizable by the electronic device comprises:

3. The method of claim 2, wherein the parsing the parameter checking rule to obtain a method statement that conforms to a predetermined syntax rule comprises:

analyzing the parameter checking rule to obtain a character sequence;

and compiling the morpheme sequence to generate a method statement.

4. The parameter checking method according to claim 3, wherein the compiling the morpheme sequence and the generating a method statement comprises:

5. The parameter checking method according to claim 3, wherein the predetermined syntax rule includes: at least one of an operator grammar rule, a logic symbol grammar rule, and a relation symbol grammar rule.

6. The parameter checking method according to claim 3, wherein the compiling the morpheme sequence and the generating a method statement comprises:

constructing a semantic analysis model;

7. The parameter verification method according to claim 1, wherein before the parameter verification rule corresponding to the information to be verified is called from a preset parameter verification rule base, the method further comprises:

8. The method of claim 1, wherein after compiling the parameter verification rule to obtain a compiled rule recognizable by the electronic device, the method further comprises:

9. The parameter checking method according to claim 8, wherein before compiling the parameter checking rule, the method further comprises:

10. A parameter checking apparatus, comprising:

the compiling module is used for compiling the parameter verification rule to obtain a compiled rule which can be identified by the electronic equipment; ' Qiyi

11. A storage medium having stored thereon a computer program which, when executed by a processor, implements a parameter checking method according to any one of claims 1 to 9.

12. A computer system, comprising:

a processor; and

a memory for storing executable instructions of the processor;

wherein the processor is configured to perform the parameter checking method of any of claims 1 to 9 via execution of the executable instructions.