CN103279418A - Test method and device for configuration control information - Google Patents
Test method and device for configuration control information Download PDFInfo
- Publication number
- CN103279418A CN103279418A CN2013102245920A CN201310224592A CN103279418A CN 103279418 A CN103279418 A CN 103279418A CN 2013102245920 A CN2013102245920 A CN 2013102245920A CN 201310224592 A CN201310224592 A CN 201310224592A CN 103279418 A CN103279418 A CN 103279418A
- Authority
- CN
- China
- Prior art keywords
- control information
- configuration control
- test case
- operation result
- test
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
Abstract
The invention discloses a test method and device for configuration control information. The test method comprises obtaining the configuration control information to be tested; parsing the configuration control information to determine a control logic corresponding to the configuration control information; meanwhile, compiling the configuration control information to obtain an object code, and loading the object code to a preset simulator controller; obtaining a test case matched with the configuration control information; utilizing the parsed control logic to execute the test case to obtain a first running result; executing the test case in the simulator controller with the object code to obtain a second running result; and performing a test analysis according to the first running result and the second running result. The test method for the configuration control information can test abnormal conditions which probably occur in a configuration control process.
Description
Technical field
The present invention relates to the industrial control technology field, relate to a kind of method of testing and device of configuration control information in particular.
Background technology
Configuration software has been widely used in industrial control field, and its maximum advantage is need not the user and writes complicated program code, and the construction cycle is short, debugging is simple and convenient.
The user can utilize the host computer configuration software according to own control purpose to system, and edits generation configuration info source file by graphical author language and text editing language.By compiler the configuration info source file is compiled and to obtain executable file, and executable file downloads in the controller and carry out, thereby realize robotization control to system.But under a lot of situations, the executable file that compiles out execution error occurs or can not reflect that the control of user's reality is intended to through regular meeting, and then cause system's operation risk in the process of implementation.
In order to reduce system's operation risk, generally can carry out verification to the compiling result after the compiling of configuration info source file, as adopt two independently compiler the configuration info source file is compiled, whether and it is consistent relatively to compile the result, if compiling unanimity then will compile the result and input to controller and move as a result.Though this kind mode can be carried out verification to the compiling correctness, in actual applications, even compile under the correct situation, also in the process of carrying out the compiling result run-time error appears probably.If can not in time detect run-time error, the working control intention that then can produce the control procedure of system and user is not inconsistent, even can occur because operation risk appears in run-time error.
Summary of the invention
In view of this, the invention provides a kind of method of testing and device of configuration control information, to test out compile error and the run-time error that may occur in the configuration control procedure, reduce system's operation risk.
For achieving the above object, the invention provides following technical scheme: a kind of method of testing of configuration control information comprises:
Obtain configuration control information to be tested;
Described configuration control information is resolved, determine the corresponding steering logic of described configuration control information;
Described configuration control information compiled obtain object code, and described object code is loaded in the emulation controller that presets;
Obtain the test case that is complementary with described configuration control information;
The described steering logic that utilization parses is carried out described test case, obtains first operation result;
In being loaded with the emulation controller of described object code, carry out described test case, obtain second operation result;
Carry out test analysis according to described first operation result and second operation result.
Preferably, described described configuration control information is resolved, determines the corresponding steering logic of described configuration control information, comprising:
Extract the property parameters of the configuration element that comprises in the described configuration control information, and line relation between the configuration element;
According to attribute information and the relation of the line between the configuration element of described configuration element, determine the corresponding steering logic of configuration control information.
Preferably, the described test case that is complementary with the configuration control information of obtaining comprises:
From a plurality of test cases that preset, choose the test case with the control strategy of described configuration control information coupling.
Preferably, the described test case that is complementary with the configuration control information of obtaining comprises:
According to the described steering logic that parses, and in conjunction with the test case create-rule that presets, generate when the required test case of Pretesting.
Preferably, when comprising expection output in the test case that gets access to as a result the time, described first operation result of described foundation and second operation result carry out test analysis, comprising:
When described first operation result is identical with second operation result, determine that then the operation of configuration control procedure is normal;
When described first operation result and described second operation result are inconsistent, according to first operation result and second operation result difference with expection output result, determine abnormal cause.
On the other hand, the invention provides a kind of proving installation of configuration control information, comprising:
The configuration info acquiring unit is used for obtaining configuration control information to be tested;
The logical analysis unit is used for described configuration control information is resolved, and determines the corresponding steering logic of described configuration control information;
Compilation unit obtains object code for described configuration control information is compiled;
The code loading unit is used for described object code is loaded into the emulation controller that presets;
The test case acquiring unit is used for obtaining the test case that is complementary with described configuration control information;
The first operation unit is used for utilizing the described steering logic that parses to carry out described test case, obtains first operation result;
The second operation unit is used for carrying out described test case at the emulation controller that is loaded with described object code, obtains second operation result;
The test analysis unit is used for carrying out test analysis according to described first operation result and second operation result.
Preferably, described logical analysis unit comprises:
Feature extraction unit be used for to be extracted the property parameters of the configuration element that described configuration control information comprises and line relation between the configuration element;
The logic determining unit is used for attribute information and the relation of the line between the configuration element according to described configuration element, determines the corresponding steering logic of configuration control information.
Preferably, described test case acquiring unit comprises:
The first test case acquiring unit is used for a plurality of test cases from presetting, and chooses the test case with the control strategy coupling of described configuration control information.
Preferably, described test case acquiring unit comprises:
The second test case acquiring unit is used for according to the described steering logic that parses, and in conjunction with the test case create-rule that presets, generates when the required test case of Pretesting.
Preferably, when comprising expection output in the test case that the test case acquiring unit gets access to as a result the time, described test analysis unit comprises:
The first test analysis unit is used for when described first operation result is identical with second operation result, determines that then the operation of configuration control procedure is normal;
The second test analysis unit is used for when described first operation result and described second operation result are inconsistent, according to first operation result and second operation result with expect the difference of exporting the result, determine abnormal cause.
Via above-mentioned technical scheme as can be known, compared with prior art, the present invention openly provides a kind of method of testing and device of configuration control information, according to the configuration control information, carry out the test of system's control procedure by two kinds of different modes, if it is inconsistent by the operation result that this dual mode obtains, then illustrate and have compile error or other run-time errors in the test process, according to Measurement results, the user can test out unusual situation, configuration control information or compilation operations adjusted accordingly, thus avoided occurring directly will be not after tested configuration control information be applied to system's control, and have influence on the problem of security of system.
Description of drawings
In order to be illustrated more clearly in the embodiment of the invention or technical scheme of the prior art, to do to introduce simply to the accompanying drawing of required use in embodiment or the description of the Prior Art below, apparently, accompanying drawing in describing below only is embodiments of the invention, for those of ordinary skills, under the prerequisite of not paying creative work, can also obtain other accompanying drawing according to the accompanying drawing that provides.
Fig. 1 shows the schematic flow sheet of an embodiment of method of testing of a kind of configuration control information of the present invention;
Fig. 2 shows the schematic flow sheet of another embodiment of method of testing of a kind of configuration control information of the present invention;
Fig. 3 shows the schematic functional block in a kind of configuration control information;
Fig. 4 shows the structural representation of an embodiment of proving installation of a kind of configuration control information of the present invention.
Embodiment
Below in conjunction with the accompanying drawing in the embodiment of the invention, the technical scheme in the embodiment of the invention is clearly and completely described, obviously, described embodiment only is the present invention's part embodiment, rather than whole embodiment.Based on the embodiment among the present invention, those of ordinary skills belong to the scope of protection of the invention not making the every other embodiment that obtains under the creative work prerequisite.
The embodiment of the invention discloses a kind of method of testing of configuration control, the configuration control procedure that the configuration control information that the user is edited out is carried out is tested, make mistakes in time to test out owing to result after compile error or the compiling moves, and the execution result mistake that causes or execution result can not reflect that the user truly controls the situation of intention.
Referring to Fig. 1, show the schematic flow sheet of an embodiment of method of testing of a kind of configuration control information of the present invention, the method for present embodiment comprises:
Step 101: obtain configuration control information to be tested.
In Industry Control, the user is according to the control requirement to field apparatus, in the host computer configuration software, according to several graphical author language of stipulating among the IEC61131 and text editing language, corresponding graphic elements such as is made up at editor's configuration operation become the configuration control information next life.Can be FBD (function block diagram) FBD, ladder diagram LD, structured text ST etc. as common graphical author language or text editing language.
Comprised user configured graphical program information in this configuration control information, the control principle that reflects by the combination between each graphic elements and control algolithm etc., the control principle of configuration control information and control procedure also can be called the configuration control strategy.Certainly, except comprising user configured graphical program information, can also comprise the hardware configuration information of some configurations in this configuration control information.For example, in Industry Control, in order to set when the device temperature value reaches threshold value, then trigger equipment cuts off the power supply and reports to the police, then need to obtain corresponding configuration control information by corresponding graphical author language or the corresponding configuration control strategy of text editing language editor.
In order to carry out the configuration control procedure, need compile the generation object code to the configuration control information, can finish corresponding control just object code is downloaded to move in the controller then.In this process, if can not find compile error, or the compiling result is carried out the mistake that may occur in service test, and move in the controller that the result after directly will compiling downloads, then may bring bigger threat to security of system, therefore, need whether there be compile error or a run-time error by testing to detect.
Step 102: this configuration control information is resolved, determine the corresponding steering logic of this configuration control information.
In the present embodiment, two kinds of different processing have been carried out in the configuration control information, resolved this configuration control information in this step, analyzed the corresponding steering logic of this configuration control information.
Generally speaking, it is in order to reach certain control purpose that the user disposes the configuration control information, therefore, steering logic just to configuration control information resolve, determine the required control purpose that reaches of this configuration control information of configuration, and realize the required flow chart of data processing that carries out of this control purpose.For example, the user has disposed first input variable and the second input variable sum information as output valve by graphical author language, then by this configuration control information is resolved, the steering logic that can determine is for obtaining first input variable and second input variable, and to first input variable and the summation of second input variable, with the output of the result after the summation.
Step 103: this configuration control information compiled obtain object code, and object code is loaded in the emulation controller that presets.
Because the configuration control information adopts patterned author language to obtain, computing machine can't be identified these patterned programming languages, therefore, the configuration control information need be compiled into the object code that computing machine can be identified, these object codes can be carried out in computing machine.Wherein, the process that the configuration control information is compiled into object code is similar to existing compilation process, does not repeat them here.
Makeing mistakes and cause the operation phase security of system to occur for fear of compiling threatens, in application embodiment, can't be directly in the controller of reality operation compile and obtain object code, but object code is loaded in the emulation controller that sets in advance.
Wherein, in this emulation controller that presets, be to control the controller simulation software program that required controller feature is developed according to configuration, this simulation software program can be moved in the internal memory of operating system, can simulate the function that this controller has by moving this control simulated program.The mode of exploitation emulation controller then can adopt existing emulation controller method for designing not limited at this.
Step 104: obtain test case.
Wherein, test case is one group of test data working out in order to realize specific objective.The test case that gets access to is the test case that is complementary with the configuration control information, the test case corresponding with the concrete control strategy of this configuration control information just is so that the test case that gets access to can be applicable to the test of the configuration control procedure that this configuration control information is carried out.
This test case comprises the input data of testing usefulness at least, can also include the output result of expection in this test case.
Step 105: utilize the steering logic that parses to carry out this test case, obtain first operation result.
After getting access to test case, respectively by the dual mode implementation of test cases, a kind of steering logic that parses that is based on is carried out this test case, and then gets access to this first operation result in the present embodiment.
For example, still with above-mentioned steering logic for obtaining first input variable and second input variable, and to first input variable and the summation of second input variable, result after the summation is output as example, and the input value that comprises in the hypothesis test case is respectively 1 and 2, is 3 and utilize the output result who obtains after this steering logic implementation of test cases.
Step 106: in being loaded with the emulation controller of object code, carry out this test case, obtain second operation result.
Except utilizing step 105 implementation of test cases, present embodiment also need implementation of test cases in being loaded with the emulation controller of object code, obtains second operation result.
Step 107: carry out test analysis according to this first operation result and second operation result.
In the embodiment of the present application, be actually by two kinds of different modes and carry out the test of carrying out system's control according to the configuration control information, wherein a kind of test mode is: the configuration control information is compiled obtain executable object code, with also implementation of test cases in the emulation controller of object code loading; Another kind of test mode then need not to carry out compilation process, and it directly parses the steering logic of configuration control information, and then based on this steering logic implementation of test cases.If the compiling result of configuration control information makes mistakes in first kind of mode, then the operation result that obtains of these two kinds of test modes can be not identical; If the compiling result to the configuration control information is correct, but have at least make mistakes a kind of operation phase in implementation of test cases in these two kinds of test modes, can make that also operation result is inconsistent.Therefore, so long as first operation result and second operation result are inconsistent, then illustrate in the control information of foundation configuration to have compile error or execution error in to system's control procedure.Configuration control information this moment can not be directly used in carries out configuration control, and needing further to analyze be compile error or execution error, if compile error, that may be that compiler is write and made mistakes; To make mistakes then may be that the control configuration info is failed the correct response user view if carry out.
If first operation result is consistent with second operation result, and operation result conforms to the control intention that the user sets, then explanation can not occur unusual according to the process that configuration control is carried out in the configuration control information, can be with this configuration control information through compiling, and be loaded in the actual controller and move, move the security of system problem that causes thereby avoided directly will compile through test in the controller that back configuration control information is loaded into reality.
In the embodiment of the present application, according to the configuration control information, carry out the test of system's control procedure by two kinds of different modes, if it is inconsistent by the operation result that this dual mode obtains, then illustrate and have compile error or other run-time errors in the test process, according to Measurement results, the user can test out unusual situation, configuration control information or compilation operations are adjusted accordingly, thereby avoided occurring directly will be not after tested configuration control information be applied to system's control, and have influence on the problem of security of system.
In actual applications, carry out test analysis according to this first operation result and second operation result after, can also export corresponding Measurement results.Perhaps, testing out first operation result and second operation result when inconsistent, the output information, and provide concrete abnormal cause.
Being understandable that in above embodiment, the sequence of operation of this step 102 and step 103 can be exchanged, also can be to carry out simultaneously.Accordingly, the sequence of operation of step 105 and step 106 also can be exchanged, and can certainly be that these two steps are carried out simultaneously.In addition, can also be execution of step 102,104 and step 105 after, execution in step 103; Or, execution of step 103,104 and step 106 after, in execution in step 102 and 105.
Need to prove, in the application's any embodiment, the mode of obtaining the test case that is complementary with the configuration control information has multiple, and wherein a kind of mode is: write test data in advance and generated test case by the user, the test case that generates is added in the test case library that presets.When needs obtain test case, from a plurality of test cases that preset, choose the test case with the control strategy of this configuration control information coupling.As, the control strategy difference that different configuration control informations comprises, its final control purpose are also different, and be corresponding, also difference to some extent of what and type of required input data in the control procedure.Certainly, for same configuration control information, the test case that satisfies condition may have a plurality of, and can select one or several test cases at random this moment from a plurality of test cases that satisfy condition, and also can select whole satisfactory test cases to carry out test.
Wherein, during the test case of writing out according to current configuration control information to be tested when to preset a plurality of test cases can be the user, the test case that presets all is complementary with the control strategy of this configuration control information.
But generally speaking, may there be test case at different control strategies in the test case library.At this moment, for the test case of determining to be complementary with current configuration control information to be tested, can be according to the steering logic that parses, selector is should one or more test cases of steering logic.Certainly, also can be to be intended to according to the corresponding control of current configuration control information to be tested by the user, come the some or several test cases in the nominative testing use-case, and then determine the test case that needs selection.
Being understandable that, when needs obtain test case, also can be the test case that is met the demands by user's input in real time, thereby the system that makes gets access to the required test case of test.
In addition, the mode of obtaining test case also can be to generate test case in real time, is specially: after the steering logic that parses the configuration control information, according to the steering logic that parses, and in conjunction with the test case create-rule that presets, generate when the required test case of Pretesting.The test case create-rule that wherein presets can be understood as method for test examples design, as method for test examples design such as equivalence class division, boundary value analysis, decision table analysis and state transition analysis.
In order to realize the accuracy of test process, test case also can be that comprehensive above several modes of obtaining test case arbitrarily obtain.
For the ease of understanding whole test process of the present invention, referring to Fig. 2, show the schematic flow sheet of another embodiment of method of testing of a kind of configuration control of the present invention, the method for present embodiment comprises:
Step 201: obtain configuration control information to be tested.
The operating process of this step and embodiment is similar, does not repeat them here.
Step 202: extract the property parameters of the configuration element that comprises in this configuration control information, and line relation between the configuration element.
The configuration control information utilizes graphical author language or text compiler language editor, and therefore, the desired control purpose that reaches of the configuration control information of configuration is by dissimilar configuration elements, and the realization of the annexation between the configuration element.
Wherein, the configuration element can be understood as used functional block or coil etc. in this configuration control information process of editor.Because the function difference that elements such as different functional blocks or coil possess, the different configuration element also has different functions.Accordingly, the property parameters of this configuration element can comprise one or more in title, type, function, corresponding algorithmic function and the information such as input quantity and input quantity of this configuration element.
When the control information of editor's configuration, connect by different lines between each configuration element, therefore also need to analyze existing line relation between the configuration element in order to determine steering logic, as whether having line between the configuration element, the quantity of line, link position and line type.
Step 203: according to attribute information and the relation of the line between the configuration element of configuration element, determine the corresponding steering logic of configuration control information.
By to the attribute information of configuration element and the analysis of the relation of the line between the configuration element, determine input parameter, the output parameter of each configuration element, the flow chart of data processing of configuration element, and then obtain the corresponding steering logic of configuration control information.
Step 204: this configuration control information compiled obtain object code, and object code is loaded in the emulation controller that presets.
Step 205: according to the steering logic that parses, and in conjunction with the test case create-rule that presets, generate when the required test case of Pretesting.
Wherein, the test case create-rule that presets can be the rule in existing any method for test examples design, as the test case create-rule that presets can be the rule of equivalence class partitioning correspondence, also can be the test case create-rule of boundary value analysis method correspondence.
Being for convenience in the present embodiment, is that example is described to generate test case according to steering logic.But in actual applications by setting in advance a plurality of test cases, and from the test case that presets, obtain the test case with the control strategy coupling of this configuration control information, be applicable to present embodiment too.
Step 206: utilize the steering logic that parses to carry out this test case, obtain first operation result.
Step 207: in being loaded with the emulation controller of object code, carry out this test case, obtain second operation result.
Step 208: carry out test analysis according to this first operation result and second operation result.
Wherein, step 206 is similar to the operating process of the corresponding steps of the operating process of step 206 and a last embodiment, does not repeat them here.
Further, in above any one embodiment, when comprising expection output in the test case that gets access to as a result the time, can carry out test analysis according to the output of the expection in first operation result, second operation result and test case result simultaneously.
Concrete, if first operation result is identical with second operation result, it is unusual test then not occur, the configuration control procedure can normally be moved.Generally speaking, when first operation result was identical with second operation result, this first operation result and second operation result should be to come to the same thing with expection output.Therefore, when first operation result is identical with second operation result, can not will first operation result and second operation result, the result compares with the expection of test case output.
When first operation result and second operation result are inconsistent, then explanation tests out abnormality, but abnormality may have two kinds of reasons, a kind of is that compiling makes mistakes, a kind of is that program operation process is made mistakes, to cause occurring unusual concrete reason in order determining, the difference according to first operation result and second operation result and expection output result can be determined abnormal cause.If first operation result and second operation result are inconsistent, and first operation result is different with expection output result, but second operation result comes to the same thing with expection output, then can analyze is owing to the make mistakes possibility of the operation result mistake that causes of compiling is bigger, certainly, the user can further analyze compile error or execution error according to comparative result.If first operation result is identical with expected results, but second operation result and expected results are inequality, then illustrate in the program operation phase and make mistakes.
For the ease of understanding test process of the present invention, be introduced with a concrete example below, referring to Fig. 3, show the schematic functional block in a kind of configuration control information, in the FBD (function block diagram) of obtaining this Fig. 3, after compiling by compile mode, the object code in the executable file that obtains is as follows:
B1.BYPASS_REQ:=(BREQ)；
B1.BYPASS_VALUE:=(BVALUE)；
B1.TAG_VALUE:=(BTAGVALUE)；
B1()；
BOUTVALUE:=(B1.VALUE)；
BBYPASSED:=(B1.BYPASSED)；
The object code that as above compiles out is downloaded in the emulation controller, and the test case that operation gets access in emulation controller, just can obtain first operation result.
In to configuration control information shown in Figure 3, resolve, can obtain not relying on the logic fragment of hardware platform, and finally determine the steering logic of this configuration control information.Concrete, the name that can extract this functional block is called BYPASS_BOOL, and passes through the corresponding relation of query function piece storehouse or functional block and function, can determine the concrete function of this functional block, the algorithm of execution etc.Simultaneously, by this function block information is resolved, can also determine input variable has BREQ, BVALUE, BTAGVALUE, output variable has BOUTVALUE, BBYPASSED, thereby according to the function of this functional block, and input variable and output variable are determined steering logic.Carry out the test case that gets access to according to this steering logic and can generate the machine instruction that computing machine can be carried out, obtain second operation result.
Compare by the expected results to first operation result, second operation result and test case, can test out the configuration control procedure and whether exist unusually.
The method of testing of corresponding a kind of configuration control information of the present invention, the present invention also provides a kind of proving installation of configuration control information, referring to Fig. 4, show the structural representation of an embodiment of the proving installation of a kind of configuration control information of the present invention, the device of present embodiment can comprise: configuration info acquiring unit 401, logical analysis unit 402, compilation unit 403, code loading unit 404, test case acquiring unit 405, the first operation unit 406, second operation unit 407 and the test analysis unit 408.
Wherein, configuration info acquiring unit 401 is used for obtaining configuration control information to be tested.
Wherein, the configuration control information is in the host computer configuration software, according to several graphical author language of stipulating among the IEC61131 and text editing language, corresponding graphic elements is made up etc. editor's configuration operation generates.
Steering logic just to configuration control information resolve, determine configuration this configuration control information required control purpose that reaches, and realize the required flow chart of data processing that carries out of this control purpose.
Test case acquiring unit 405 is used for obtaining the test case that is complementary with the configuration control information.
The first operation unit 406 is used for utilizing the described steering logic that parses to carry out described test case, obtains first operation result.
The second operation unit 407 is used for carrying out described test case at the emulation controller that is loaded with described object code, obtains second operation result.
Optionally, this logical analysis unit can comprise:
Feature extraction unit be used for to be extracted the property parameters of the configuration element that described configuration control information comprises and line relation between the configuration element;
The logic determining unit is used for attribute information and the relation of the line between the configuration element according to described configuration element, determines the corresponding steering logic of configuration control information.
Wherein, the mode that the test case acquiring unit obtains test case can have multiple, and correspondence is a kind of mode wherein, and this test case acquiring unit can comprise:
The first test case acquiring unit is used for a plurality of test cases from presetting, and chooses the test case with the control strategy coupling of described configuration control information.
Corresponding test case acquiring unit obtains the another kind of mode of test case, and this test case acquiring unit can comprise:
The second test case acquiring unit is used for according to the described steering logic that parses, and in conjunction with the test case create-rule that presets, generates when the required test case of Pretesting.
Further, when comprising expection output in the test case that gets access to as a result the time, the test analysis unit can comprise:
The first test analysis unit is used for when described first operation result is identical with second operation result, determines that then the operation of configuration control procedure is normal;
The second test analysis unit is used for when described first operation result and described second operation result are inconsistent, according to first operation result and second operation result with expect the difference of exporting the result, determine abnormal cause.
Each embodiment adopts the mode of going forward one by one to describe in this instructions, and what each embodiment stressed is and the difference of other embodiment that identical similar part is mutually referring to getting final product between each embodiment.For the disclosed device of embodiment, because it is corresponding with the embodiment disclosed method, so description is fairly simple, relevant part partly illustrates referring to method and gets final product.
To the above-mentioned explanation of the disclosed embodiments, make this area professional and technical personnel can realize or use the present invention.Multiple modification to these embodiment will be apparent concerning those skilled in the art, and defined General Principle can realize under the situation that does not break away from the spirit or scope of the present invention in other embodiments herein.Therefore, the present invention will can not be restricted to these embodiment shown in this article, but will meet the wideest scope consistent with principle disclosed herein and features of novelty.
Claims (10)
1. the method for testing of a configuration control information is characterized in that, comprising:
Obtain configuration control information to be tested;
Described configuration control information is resolved, determine the corresponding steering logic of described configuration control information;
Described configuration control information compiled obtain object code, and described object code is loaded in the emulation controller that presets;
Obtain the test case that is complementary with described configuration control information;
The described steering logic that utilization parses is carried out described test case, obtains first operation result;
In being loaded with the emulation controller of described object code, carry out described test case, obtain second operation result;
Carry out test analysis according to described first operation result and second operation result.
2. method according to claim 1 is characterized in that, described described configuration control information is resolved, and determines the corresponding steering logic of described configuration control information, comprising:
Extract the property parameters of the configuration element that comprises in the described configuration control information, and line relation between the configuration element;
According to attribute information and the relation of the line between the configuration element of described configuration element, determine the corresponding steering logic of configuration control information.
3. method according to claim 1 is characterized in that, the described test case that is complementary with the configuration control information of obtaining comprises:
From a plurality of test cases that preset, choose the test case with the control strategy of described configuration control information coupling.
4. method according to claim 1 is characterized in that, the described test case that is complementary with the configuration control information of obtaining comprises:
According to the described steering logic that parses, and in conjunction with the test case create-rule that presets, generate when the required test case of Pretesting.
5. method according to claim 1 is characterized in that, when comprising expection output in the test case that gets access to as a result the time, described first operation result of described foundation and second operation result carry out test analysis, comprising:
When described first operation result is identical with second operation result, determine that then the operation of configuration control procedure is normal;
When described first operation result and described second operation result are inconsistent, according to first operation result and second operation result difference with expection output result, determine abnormal cause.
6. the proving installation of a configuration control information is characterized in that, comprising:
The configuration info acquiring unit is used for obtaining configuration control information to be tested;
The logical analysis unit is used for described configuration control information is resolved, and determines the corresponding steering logic of described configuration control information;
Compilation unit obtains object code for described configuration control information is compiled;
The code loading unit is used for described object code is loaded into the emulation controller that presets;
The test case acquiring unit is used for obtaining the test case that is complementary with described configuration control information;
The first operation unit is used for utilizing the described steering logic that parses to carry out described test case, obtains first operation result;
The second operation unit is used for carrying out described test case at the emulation controller that is loaded with described object code, obtains second operation result;
The test analysis unit is used for carrying out test analysis according to described first operation result and second operation result.
7. device according to claim 6 is characterized in that, described logical analysis unit comprises:
Feature extraction unit be used for to be extracted the property parameters of the configuration element that described configuration control information comprises and line relation between the configuration element;
The logic determining unit is used for attribute information and the relation of the line between the configuration element according to described configuration element, determines the corresponding steering logic of configuration control information.
8. device according to claim 6 is characterized in that, described test case acquiring unit comprises:
The first test case acquiring unit is used for a plurality of test cases from presetting, and chooses the test case with the control strategy coupling of described configuration control information.
9. device according to claim 6 is characterized in that, described test case acquiring unit comprises:
The second test case acquiring unit is used for according to the described steering logic that parses, and in conjunction with the test case create-rule that presets, generates when the required test case of Pretesting.
10. device according to claim 6 is characterized in that, when comprising expection output in the test case that the test case acquiring unit gets access to as a result the time, described test analysis unit comprises:
The first test analysis unit is used for when described first operation result is identical with second operation result, determines that then the operation of configuration control procedure is normal;
The second test analysis unit is used for when described first operation result and described second operation result are inconsistent, according to first operation result and second operation result with expect the difference of exporting the result, determine abnormal cause.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201310224592.0A CN103279418B (en) | 2013-06-05 | 2013-06-05 | A kind of method of testing of configuration control information and device |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201310224592.0A CN103279418B (en) | 2013-06-05 | 2013-06-05 | A kind of method of testing of configuration control information and device |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN103279418A true CN103279418A (en) | 2013-09-04 |
| CN103279418B CN103279418B (en) | 2016-01-13 |
Family
ID=49061947
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201310224592.0A Active CN103279418B (en) | 2013-06-05 | 2013-06-05 | A kind of method of testing of configuration control information and device |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN103279418B (en) |
Cited By (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104516818A (en) * | 2014-12-29 | 2015-04-15 | 北京四方继保自动化股份有限公司 | Automatic testing system and method both applicable to compiler in logical configuration software |
| CN104536862A (en) * | 2014-12-19 | 2015-04-22 | 国核自仪***工程有限公司 | DCS control logic automatic test method |
| CN105759790A (en) * | 2016-04-21 | 2016-07-13 | 合肥通用机械研究院 | Configuration test system of electronic cooling device control system and test method thereof |
| CN107985349A (en) * | 2017-10-24 | 2018-05-04 | 北京全路通信信号研究设计院集团有限公司 | The implementation method and device, computer-readable storage medium of single more softwares of hardware |
| WO2018137146A1 (en) * | 2017-01-24 | 2018-08-02 | 北京广利核***工程有限公司 | Graph configuration language transformation method and apparatus |
| CN108416088A (en) * | 2018-01-26 | 2018-08-17 | 爱普（福建）科技有限公司 | A kind of implementation method and device of the live preview function towards the design of configuration element |
| CN109358564A (en) * | 2018-09-19 | 2019-02-19 | 珠海格力电器股份有限公司 | It is a kind of to detect the method and device of configuration software, computer readable storage medium |
| CN109597749A (en) * | 2018-08-31 | 2019-04-09 | 阿里巴巴集团控股有限公司 | Regression testing method, device, electronic equipment and computer readable storage medium |
| CN113641163A (en) * | 2020-12-21 | 2021-11-12 | 佳都科技集团股份有限公司 | Self-configuration method and system of environment control equipment, computer equipment and storage medium |
| CN113778041A (en) * | 2021-11-11 | 2021-12-10 | 西安热工研究院有限公司 | Method, system, equipment and storage medium for generating communication data between DCS controllers |
| CN114610622A (en) * | 2022-03-14 | 2022-06-10 | 浙江中控技术股份有限公司 | System function block automatic test layered design method and related device |
| CN114936098A (en) * | 2022-07-22 | 2022-08-23 | 浙江中控技术股份有限公司 | Data transfer method, device, back-end equipment and storage medium |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN201145858Y (en) * | 2007-12-14 | 2008-11-05 | 北京康拓科技开发总公司 | Spacecraft test equipment based on industry configuration |
| US8065574B1 (en) * | 2007-06-08 | 2011-11-22 | Lattice Semiconductor Corporation | Soft error detection logic testing systems and methods |
| CN103049378A (en) * | 2012-12-18 | 2013-04-17 | 惠州市亿能电子有限公司 | Program debugging method without emulator |
-
2013
- 2013-06-05 CN CN201310224592.0A patent/CN103279418B/en active Active
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8065574B1 (en) * | 2007-06-08 | 2011-11-22 | Lattice Semiconductor Corporation | Soft error detection logic testing systems and methods |
| CN201145858Y (en) * | 2007-12-14 | 2008-11-05 | 北京康拓科技开发总公司 | Spacecraft test equipment based on industry configuration |
| CN103049378A (en) * | 2012-12-18 | 2013-04-17 | 惠州市亿能电子有限公司 | Program debugging method without emulator |
Cited By (17)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104536862A (en) * | 2014-12-19 | 2015-04-22 | 国核自仪***工程有限公司 | DCS control logic automatic test method |
| CN104516818A (en) * | 2014-12-29 | 2015-04-15 | 北京四方继保自动化股份有限公司 | Automatic testing system and method both applicable to compiler in logical configuration software |
| CN105759790A (en) * | 2016-04-21 | 2016-07-13 | 合肥通用机械研究院 | Configuration test system of electronic cooling device control system and test method thereof |
| CN105759790B (en) * | 2016-04-21 | 2018-06-29 | 合肥通用机械研究院有限公司 | The configurable test system and its test method of electronic cooler control system |
| WO2018137146A1 (en) * | 2017-01-24 | 2018-08-02 | 北京广利核***工程有限公司 | Graph configuration language transformation method and apparatus |
| CN107985349A (en) * | 2017-10-24 | 2018-05-04 | 北京全路通信信号研究设计院集团有限公司 | The implementation method and device, computer-readable storage medium of single more softwares of hardware |
| CN108416088A (en) * | 2018-01-26 | 2018-08-17 | 爱普（福建）科技有限公司 | A kind of implementation method and device of the live preview function towards the design of configuration element |
| CN109597749A (en) * | 2018-08-31 | 2019-04-09 | 阿里巴巴集团控股有限公司 | Regression testing method, device, electronic equipment and computer readable storage medium |
| CN109597749B (en) * | 2018-08-31 | 2022-01-25 | 创新先进技术有限公司 | Regression testing method, device, electronic equipment and computer readable storage medium |
| CN109358564A (en) * | 2018-09-19 | 2019-02-19 | 珠海格力电器股份有限公司 | It is a kind of to detect the method and device of configuration software, computer readable storage medium |
| CN109358564B (en) * | 2018-09-19 | 2022-05-20 | 珠海格力电器股份有限公司 | Method and device for detecting configuration software and computer readable storage medium |
| CN113641163A (en) * | 2020-12-21 | 2021-11-12 | 佳都科技集团股份有限公司 | Self-configuration method and system of environment control equipment, computer equipment and storage medium |
| CN113778041A (en) * | 2021-11-11 | 2021-12-10 | 西安热工研究院有限公司 | Method, system, equipment and storage medium for generating communication data between DCS controllers |
| CN114610622A (en) * | 2022-03-14 | 2022-06-10 | 浙江中控技术股份有限公司 | System function block automatic test layered design method and related device |
| CN114610622B (en) * | 2022-03-14 | 2024-05-28 | 浙江中控技术股份有限公司 | Automatic test layering design method for system functional block and related device |
| CN114936098A (en) * | 2022-07-22 | 2022-08-23 | 浙江中控技术股份有限公司 | Data transfer method, device, back-end equipment and storage medium |
| CN114936098B (en) * | 2022-07-22 | 2022-11-04 | 浙江中控技术股份有限公司 | Data transfer method, device, back-end equipment and storage medium |
Also Published As
| Publication number | Publication date |
|---|---|
| CN103279418B (en) | 2016-01-13 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN103279418A (en) | Test method and device for configuration control information | |
| CN106528100B (en) | System and method for model-based techniques and processes for safety-critical software development | |
| KR101053104B1 (en) | Computer Software Test Method and System | |
| US20120246612A1 (en) | System and method for verification and validation of redundancy software in plc systems | |
| CN112084113A (en) | Configurable automatic test method and system based on embedded simulation verification software | |
| He et al. | Model-based verification of PLC programs using Simulink design | |
| US5857093A (en) | Cross-compiled simulation timing backannotation | |
| CN111611157A (en) | Automatic testing method and system for GMS continuous integration construction | |
| CN110955605A (en) | Method for verifying single step dynamic execution by CPU | |
| Biallas et al. | Efficient handling of states in abstract interpretation of industrial programmable logic controller code | |
| Jamro | Development and execution of POU-oriented performance tests for IEC 61131-3 control software | |
| KR20230082020A (en) | Test methods, systems and equipment based on Excel file loading | |
| KR20190094779A (en) | Automatically Generate Device for PLC Instruction Compiler Test-Case | |
| Cha et al. | Generation of monitoring functions in production automation using test specifications | |
| EP4047482A1 (en) | Improved checking of correctness of a plc program | |
| Lahtinen et al. | Verifying large modular systems using iterative abstraction refinement | |
| Stürmer et al. | Modeling Guidelines and Model Analysis Tools in Embedded Automotive Software Development. | |
| EP4287027A1 (en) | Method and system for generating test cases for an engineering program | |
| US20240037013A1 (en) | Computer-implemented method for verifying a software component of an automated driving function | |
| EP4002096B1 (en) | Design support apparatus and design support method | |
| Hafidi et al. | New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs. | |
| Reinbacher et al. | Challenges in embedded model checking—a simulator for the [mc] square model checker | |
| Wenger et al. | IEC 61131-3 control applications vs. control applications transformed in IEC 61499 | |
| Asplund | Safety and tool integration, a system-theoretic process analysis | |
| Stürmer et al. | 10 Steps to ISO26262-compliant Model-based Software Components |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| C14 | Grant of patent or utility model | ||
| GR01 | Patent grant |