CN103279418B - A kind of method of testing of configuration control information and device - Google Patents
A kind of method of testing of configuration control information and device Download PDFInfo
- Publication number
- CN103279418B CN103279418B CN201310224592.0A CN201310224592A CN103279418B CN 103279418 B CN103279418 B CN 103279418B CN 201310224592 A CN201310224592 A CN 201310224592A CN 103279418 B CN103279418 B CN 103279418B
- Authority
- CN
- China
- Prior art keywords
- control information
- operation result
- configuration control
- test case
- 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.)
- Active
Links
Landscapes
- Debugging And Monitoring (AREA)
Abstract
The invention discloses a kind of method of testing and device of configuration control information, the method is by obtaining configuration control information to be tested; Configuration control information is resolved, determines the steering logic corresponding to configuration control information; Meanwhile, compiling is carried out to configuration control information and obtains object code, and object code is loaded in preset emulation controller; Obtain the test case matched with configuration control information; Utilize the steering logic implementation of test cases parsed, obtain the first operation result; Implementation of test cases in the emulation controller being loaded with object code, obtains the second operation result; Test analysis is carried out according to the first operation result and the second operation result.The abnormal conditions that may occur in Combining soft control process are tested out by the method.
Description
Technical field
The present invention relates to technical field of industrial control, relate to a kind of method of testing and device of configuration control information in particular.
Background technology
Configuration software is widely used in industrial control field, and its maximum advantage is to write complicated program code without the need to user, and the construction cycle is short, it is simple and convenient to debug.
User according to oneself control object to system, can utilize host computer configuration software, and carries out editor's generation configuration info source file by graphical author language and text editing language.By compiler, compiling is carried out to configuration info source file and obtain executable file, and perform in loading of executed file to controller, thus realize the Automated condtrol to system.But in a lot of situation, the executable file compiled out in the process of implementation, often there will be execution error or can not reflect that the control of user's reality is intended to, and then cause system cloud gray model risk.
In order to reduce system cloud gray model risk, generally can the compiling result after the compiling of configuration info source file be verified, as adopt two independently compiler configuration info source file is compiled, and whether compare compiling result consistent, if compiling result is consistent, compiling result is inputed to controller and run.Although this kind of mode can verify compiling correctness, in actual applications, even if when compiling correct, also probably in the process performing compiling result, there is run-time error.If run-time error can not be detected in time, then can produce and be intended to not be inconsistent to the control procedure of system and the working control of user, even there will be 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 the compile error and run-time error that may occur in Combining soft control process, reduce system cloud gray model risk.
For achieving the above object, the invention provides following technical scheme: a kind of method of testing of configuration control information, comprising:
Obtain configuration control information to be tested;
Described configuration control information is resolved, determines the steering logic corresponding to described configuration control information;
Compiling is carried out to described configuration control information and obtains object code, and described object code is loaded in preset emulation controller;
Obtain the test case matched with described configuration control information;
Utilize the described steering logic parsed to perform described test case, obtain the first operation result;
In the emulation controller being loaded with described object code, perform described test case, obtain the second operation result;
Test analysis is carried out according to described first operation result and the second operation result.
Preferably, described described configuration control information to be resolved, determines the steering logic corresponding to described configuration control information, comprising:
Extract the property parameters of the configuration element comprised in described configuration control information, and line relation between configuration element;
According to the line relation between the property parameters of described configuration element and configuration element, determine the steering logic corresponding to configuration control information.
Preferably, the test case that described acquisition and configuration control information match, comprising:
From preset multiple test cases, choose the test case of mating with the control strategy of described configuration control information.
Preferably, the test case that described acquisition and configuration control information match, comprising:
According to the described steering logic parsed, and in conjunction with preset Test cases technology rule, generate the test case needed for current test.
Preferably, when comprising expection Output rusults in the test case got, describedly carrying out test analysis according to described first operation result and the second operation result, comprising:
When described first operation result is identical with the second operation result, then determine that Combining soft control process operation is normal;
When described first operation result and described second operation result inconsistent time, according to the first operation result and the second operation result difference with expection Output rusults, determine abnormal cause.
On the other hand, the invention provides a kind of proving installation of configuration control information, comprising:
Configuration info acquiring unit, for obtaining configuration control information to be tested;
Logical analysis unit, for resolving described configuration control information, determines the steering logic corresponding to described configuration control information;
Compilation unit, obtains object code for carrying out compiling to described configuration control information;
Code loading unit, for being loaded in preset emulation controller by described object code;
Test case acquiring unit, for obtaining the test case matched with described configuration control information;
First running unit, for utilizing the described steering logic parsed to perform described test case, obtains the first operation result;
Second running unit, for performing described test case in the emulation controller being loaded with described object code, obtains the second operation result;
Test analysis unit, for carrying out test analysis according to described first operation result and the second operation result.
Preferably, described logical analysis unit, comprising:
Feature extraction unit, for extracting the property parameters of the configuration element comprised in described configuration control information, and line relation between configuration element;
Logic determining unit, for according to the line relation between the property parameters of described configuration element and configuration element, determines the steering logic corresponding to configuration control information.
Preferably, described test case acquiring unit, comprising:
First test case acquiring unit, for from preset multiple test cases, chooses the test case of mating with the control strategy of described configuration control information.
Preferably, described test case acquiring unit, comprising:
Second test case acquiring unit, for the described steering logic that basis parses, and in conjunction with preset Test cases technology rule, generates the test case needed for current test.
Preferably, when comprising expection Output rusults in the test case that test case acquiring unit gets, described test analysis unit, comprising:
First test analysis unit, for when described first operation result is identical with the second operation result, then determines that Combining soft control process operation is normal;
Second test analysis unit, for when described first operation result and described second operation result inconsistent time, according to the first operation result and the second operation result difference with expection Output rusults, determine abnormal cause.
Known via above-mentioned technical scheme, compared with prior art, present disclosure provides a kind of method of testing and device of configuration control information, according to configuration control information, the test of system control process is carried out by two kinds of different modes, if the operation result obtained by these two kinds of modes is inconsistent, then illustrate in test process to there is compile error or other run-time errors, according to Measurement results, user can test out abnormal situation, configuration control information or compilation operations are adjusted accordingly, thus avoid and occur directly not configuration control information being after tested applied to Systematical control, and have influence on the problem of security of system.
Accompanying drawing explanation
In order to be illustrated more clearly in the embodiment of the present invention or technical scheme of the prior art, be briefly described to the accompanying drawing used required in embodiment or description of the prior art below, apparently, accompanying drawing in the following describes is only embodiments of the invention, for those of ordinary skill in the art, under the prerequisite not paying creative work, other accompanying drawing can also be obtained according to the accompanying drawing provided.
Fig. 1 shows the schematic flow sheet of a method of testing embodiment 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 a proving installation embodiment of a kind of configuration control information of the present invention.
Embodiment
Below in conjunction with the accompanying drawing in the embodiment of the present invention, be clearly and completely described the technical scheme in the embodiment of the present invention, obviously, described embodiment is only the present invention's part embodiment, instead of whole embodiments.Based on the embodiment in the present invention, those of ordinary skill in the art, not making the every other embodiment obtained under creative work prerequisite, belong to the scope of protection of the invention.
The embodiment of the invention discloses a kind of method of testing of Combining soft control, the Combining soft control process that the configuration control information edited out user is carried out is tested, to test out in time because after compile error or compiling, result operation makes mistakes, and the execution result mistake caused or execution result can not reflect that user truly controls situation about being intended to.
See Fig. 1, show the schematic flow sheet of a method of testing embodiment of a kind of configuration control information of the present invention, the method for the present embodiment comprises:
Step 101: obtain configuration control information to be tested.
In Industry Control, user is according to the control overflow to field apparatus, in host computer configuration software, according to several graphical author language specified in IEC61131 and text editing language, corresponding graphic elements is carried out to editor's configuration operations such as combination to generate configuration control information.If common graphical author language or text editing language can be FBD (function block diagram) FBD, ladder diagram LD, structured text ST etc.
User configured graphical programs information is contained in this configuration control information, the control principle reflected 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 Combining soft control strategy.Certainly, in this configuration control information except comprising user configured graphical programs information, the hardware configuration information of some configurations can also be comprised.Such as, in Industry Control, in order to set when device temperature value reaches threshold value, then trigger equipment power-off reporting to the police, then need, by corresponding graphical author language or the corresponding Combining soft control strategy of text editing language editor, to obtain corresponding configuration control information.
In order to can Combining soft control process be carried out, need that compiling is carried out to configuration control information and generate object code, corresponding control can be completed just then downloaded in controller by object code to run.In the process, if can not compile error be found, or the mistake that may occur in running compiling result is tested, and run in the controller directly result after compiling downloaded, then may bring larger threat to security of system, therefore, need to detect whether there is compile error or run-time error by testing.
Step 102: resolve this configuration control information, determines the steering logic corresponding to this configuration control information.
In the present embodiment, two kinds of different process have been carried out to configuration control information, has resolved this configuration control information in this step, analyze the steering logic corresponding to this configuration control information.
Generally, it is control object to reach certain that user configures configuration control information, therefore, steering logic is namely resolved configuration control information, determine the control object that reaches needed for this configuration control information of configuration, and realize the flow chart of data processing that carries out needed for this control object.Such as, user is configured with the first input variable and the second input variable sum information as output valve by graphical author language, then by resolving this configuration control information, the steering logic that can determine is acquisition first input variable and the second input variable, and to the first input variable and the summation of the second input variable, the result after summation is exported.
Step 103: compiling is carried out to this configuration control information and obtains object code, and object code is loaded in preset emulation controller.
Because configuration control information adopts patterned author language to obtain, these patterned programming languages of computing machine None-identified, therefore, need configuration control information to be compiled into the object code that computing machine can identify, these object codes can perform in a computer.Wherein, process configuration control information being compiled into object code is similar to existing compilation process, does not repeat them here.
In order to avoid compiling make mistakes and cause the operation phase to occur security of system threatens, applying in embodiment, directly can't run compiling and obtain object code in the controller of reality, but object code is loaded in the emulation controller pre-set.
Wherein, in this preset emulation controller, be the controller simulation software program that controller feature is developed needed for Combining soft control, this simulation software program can be run in the internal memory of operating system, can simulate by running this control imitation program the function that this controller has.The mode developing emulation controller then can adopt existing emulation controller method for designing not limited at this.
Step 104: obtain test case.
Wherein, test case is the one group of test data worked out to realize specific objective.The test case got is the test case matched with configuration control information, namely corresponding with the concrete control strategy of this configuration control information test case, the test that can be applicable to the Combining soft control process that this configuration control information is carried out to make the test case got.
This test case at least comprises the input data of test, can also include the Output rusults of expection in this test case.
Step 105: utilize the steering logic parsed to perform this test case, obtain the first operation result.
After getting test case, respectively by two kinds of mode implementations of test cases in the present embodiment, a kind of is perform this test case based on the steering logic parsed, and then gets this first operation result.
Such as, still with above-mentioned steering logic for obtaining the first input variable and the second input variable, and to the first input variable and the summation of the second input variable, result after summation is exported for example, and suppose that the input value comprised in test case is respectively 1 and 2, and the Output rusults obtained after utilizing this steering logic implementation of test cases is 3.
Step 106: perform this test case in the emulation controller being loaded with object code, obtains the second operation result.
Except utilizing step 105 implementation of test cases, the present embodiment also needs implementation of test cases in the emulation controller being loaded with object code, obtains the second operation result.
Step 107: carry out test analysis according to this first operation result and the second operation result.
In the embodiment of the present application, the test carrying out Systematical control according to configuration control information is performed indeed through two kinds of different modes, wherein test mode is: configuration control information is carried out compiling and obtains an executable object code, also implementation of test cases in the emulation controller load object code; Another kind of test mode is then without the need to carrying out compilation process, and its Directly solution separates out 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 is made mistakes in first kind of way, then the operation result that these two kinds of test modes obtain can not be identical; If correct to the compiling result of configuration control information, but have at least make mistakes a kind of operation phase in implementation of test cases in these two kinds of test modes, operation result also can be made inconsistent.Therefore, as long as the first operation result and the second operation result inconsistent, then illustrate according to configuration control information to system control process in there is compile error or execution error.Now configuration control information can not be directly used in and carry out Combining soft control, and needing to analyze further is compile error or execution error, if compile error, that may be that compiler is write and made mistakes; Makeing mistakes if perform, may be control configuration info to fail correct response user view.
If the first operation result is consistent with the second operation result, and the control that operation result and user set is intended to conform to, then illustrate that the process can carrying out Combining soft control according to configuration control information does not occur exception, can by this configuration control information through compiling, and be loaded in actual controller and run, thus avoid directly configuration control information after compiling to be loaded in actual controller without test and run caused security of system sex chromosome mosaicism.
In the embodiment of the present application, according to configuration control information, the test of system control process is carried out by two kinds of different modes, if the operation result obtained by these two kinds of modes is inconsistent, then illustrate in test process to there is compile error or other run-time errors, according to Measurement results, user can test out abnormal situation, configuration control information or compilation operations are adjusted accordingly, thus avoid and occur directly not configuration control information being after tested applied to Systematical control, and have influence on the problem of security of system.
In actual applications, after carrying out test analysis according to this first operation result and the second operation result, corresponding Measurement results can also be exported.Or, when testing out the first operation result and the second operation result is inconsistent, exporting information, and providing concrete abnormal cause.
Be understandable that, in the embodiment above, the sequence of operation of this step 102 and step 103 can be exchanged, and also can be 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 after execution of step 102,104 and step 105, just perform step 103; Or, after execution of step 103,104 and step 106, in execution step 102 and 105.
It should be noted that, in the application's any embodiment, the mode obtaining the test case matched with configuration control information has multiple, and wherein a kind of mode is: write test data in advance and generating test use case by user, the test case of generation is added in preset test case library.When needs obtain test case, from preset multiple test cases, choose the test case of mating with the control strategy of this configuration control information.As, control strategy that different configuration control information comprises is different, and its final control object is also different, accordingly, input data required in control procedure number and type also can difference to some extent.Certainly, for same configuration control information, the test case satisfied condition may have multiple, now can from multiple test case satisfied condition one or several test cases of Stochastic choice, whole satisfactory test case also can be selected to perform test.
Wherein, when preset multiple test case can be user write out according to current configuration control information to be tested test case time, preset test case all matches with the control strategy of this configuration control information.
But the test case that generally, may exist in test case library for different control strategy.Now, in order to determine and the test case that current configuration control information to be tested matches, according to the steering logic parsed, the one or more test cases meeting this steering logic can be selected.Certainly, also can be intended to by the control of user corresponding to current configuration control information to be tested, carry out the some or several test case in nominative testing use-case, and then determine the test case needing to select.
Being understandable that, when needs obtain test case, also can be input by user the test case met the demands in real time, thus makes system get test case needed for test.
In addition, the mode obtaining test case can be also real-time generating test use case, is specially: after parsing the steering logic of configuration control information, according to the steering logic parsed, and in conjunction with preset Test cases technology rule, generate the test case needed for current test.Wherein preset Test cases technology rule can be understood as method for test examples design, as method for test examples design such as equivalence class partition, 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 the mode of comprehensive above any several acquisition test case obtains.
For the ease of understanding whole test process of the present invention, see Fig. 2, show the schematic flow sheet of another embodiment of method of testing of a kind of Combining soft control of the present invention, the method for the 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: the property parameters extracting the configuration element comprised in this configuration control information, and line relation between configuration element.
Configuration control information utilizes graphical author language or text compiler language editor, and therefore, the control object reached desired by the configuration control information of configuration is by dissimilar configuration element, and annexation between configuration element realizes.
Wherein, configuration element can be understood as used functional block or coil etc. in this configuration control information process of editor.The function possessed due to elements such as different functional blocks or coils is different, and different configuration element also has different functions.Accordingly, the property parameters of this configuration element can comprise one or more in the title of this configuration element, type, function, corresponding algorithmic function and the information such as input quantity and input quantity.
When editing configuration control information, connected by different line between each configuration element, therefore in order to determine steering logic also Water demand to go out between configuration element existing line relation, as whether there is line between configuration element, the quantity of line, link position and line type.
Step 203: the line relation between the property parameters of foundation configuration element and configuration element, determines the steering logic corresponding to configuration control information.
By the analysis to the line relation between the property parameters of configuration element and configuration element, determine the input parameter of each configuration element, output parameter, the flow chart of data processing of configuration element, and then obtain the steering logic corresponding to configuration control information.
Step 204: compiling is carried out to this configuration control information and obtains object code, and object code is loaded in preset emulation controller.
Step 205: according to the steering logic parsed, and in conjunction with preset Test cases technology rule, generate the test case needed for current test.
Wherein, preset Test cases technology rule can be the rule in existing any method for test examples design, if preset Test cases technology rule can be the rule that equivalence class classifying method is corresponding, it also can be the Test cases technology rule that boundary analysis is corresponding.
For convenience in the present embodiment, to be described according to steering logic generating test use case.But in actual applications by pre-setting multiple test case, and from preset test case, obtaining the test case of mating with the control strategy of this configuration control information, being applicable to the present embodiment too.
Step 206: utilize the steering logic parsed to perform this test case, obtain the first operation result.
Step 207: perform this test case in the emulation controller being loaded with object code, obtains the second operation result.
Step 208: carry out test analysis according to this first operation result and the 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 upper embodiment, does not repeat them here.
Further, in any one embodiment above, when comprising expection Output rusults in the test case got, test analysis can be carried out according to the expection Output rusults in the first operation result, the second operation result and test case simultaneously.
Concrete, if the first operation result is identical with the second operation result, then do not occur that test is abnormal, Combining soft control process can normally be run.Generally, when the first operation result is identical with the second operation result, this first operation result and the second operation result should be identical with expection Output rusults.Therefore, when the first operation result is identical with the second operation result, can not the first operation result and the second operation result, compare with the expection Output rusults of test case.
When the first operation result and the second operation result inconsistent time, then illustrate and test out abnormality, but abnormality may have two kinds of reasons, one is that compiling makes mistakes, one is that program operation process is made mistakes, cause occurring abnormal concrete reason to determine, by the difference according to the first operation result and the second operation result and expection Output rusults, abnormal cause can be determined.If the first operation result and the second operation result inconsistent, and the first operation result is different from expection Output rusults, but the second operation result is identical with expection Output rusults, then can analyze is that the possibility of operation result mistake that causes because compiling makes mistakes is larger, certainly, user can analyze compile error or execution error further according to comparative result.If the first operation result is identical with expected results, but the second operation result and expected results are not identical, then illustrate to make mistakes in the program operation phase.
For the ease of understanding test process of the present invention, be introduced with a concrete example below, see Fig. 3, show the schematic functional block in a kind of configuration control information, when in the FBD (function block diagram) obtaining this Fig. 3, after being compiled by compile mode, the object code in the executable file obtained is as follows:
B1.BYPASS_REQ:＝(BREQ)；
B1.BYPASS_VALUE:＝(BVALUE)；
B1.TAG_VALUE:＝(BTAGVALUE)；
B1()；
BOUTVALUE:＝(B1.VALUE)；
BBYPASSED:＝(B1.BYPASSED)；
As above the object code compiled out is downloaded in emulation controller, and in emulation controller, runs the test case got, just can obtain the first operation result.
Resolve in the configuration control information shown in Fig. 3, the logic segments not relying on hardware platform can be obtained, 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 block storehouse or functional block and function, can determine the concrete function of this functional block, the algorithm etc. of execution.Meanwhile, by resolving this function block information, can also determine that input variable has BREQ, BVALUE, BTAGVALUE, output variable has BOUTVALUE, BBYPASSED, thus according to the function of this functional block, and input variable and output variable determine steering logic.Perform according to this steering logic the test case got and can generate the machine instruction that computing machine can perform, obtain the second operation result.
By comparing the expected results of the first operation result, the second operation result and test case, Combining soft control process can be tested out and whether there is exception.
The method of testing of corresponding a kind of configuration control information of the present invention, present invention also offers a kind of proving installation of configuration control information, see 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 the 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, first running unit 406, second running unit 407 and test analysis unit 408.
Wherein, configuration info acquiring unit 401, for obtaining configuration control information to be tested.
Wherein, configuration control information is in host computer configuration software, according to several graphical author language specified in IEC61131 and text editing language, carries out combining waiting edit configuration operation and generate corresponding graphic elements.
Logical analysis unit 402, for resolving described configuration control information, determines the steering logic corresponding to described configuration control information.
Steering logic is namely resolved configuration control information, determines the control object that reaches needed for this configuration control information of configuration, and realizes the flow chart of data processing that carries out needed for this control object.
Compilation unit 403, obtains object code for carrying out compiling to described configuration control information.
Code loading unit 404, for being loaded into described object code in preset emulation controller.
Test case acquiring unit 405, for obtaining the test case matched with configuration control information.
First running unit 406, for utilizing the described steering logic parsed to perform described test case, obtains the first operation result.
Second running unit 407, for performing described test case in the emulation controller being loaded with described object code, obtains the second operation result.
Test analysis unit 408, for carrying out test analysis according to described first operation result and the second operation result.
Optionally, this logical analysis unit can comprise:
Feature extraction unit, for extracting the property parameters of the configuration element comprised in described configuration control information, and line relation between configuration element;
Logic determining unit, for according to the line relation between the property parameters of described configuration element and configuration element, determines the steering logic corresponding to configuration control information.
Wherein, the mode that 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:
First test case acquiring unit, for from preset multiple test cases, chooses the test case of mating with the control strategy 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:
Second test case acquiring unit, for the described steering logic that basis parses, and in conjunction with preset Test cases technology rule, generates the test case needed for current test.
Further, when comprising expection Output rusults in the test case got, test analysis unit can comprise:
First test analysis unit, for when described first operation result is identical with the second operation result, then determines that Combining soft control process operation is normal;
Second test analysis unit, for when described first operation result and described second operation result inconsistent time, according to the first operation result and the second operation result difference with expection Output rusults, determine abnormal cause.
In this instructions, each embodiment adopts the mode of going forward one by one to describe, and what each embodiment stressed is the difference with other embodiments, between each embodiment identical similar portion mutually see.For device disclosed in embodiment, because it corresponds to the method disclosed in Example, so description is fairly simple, relevant part illustrates see method part.
To the above-mentioned explanation of the disclosed embodiments, professional and technical personnel in the field are realized or uses the present invention.To be apparent for those skilled in the art to the multiple amendment of these embodiments, General Principle as defined herein can without departing from the spirit or scope of the present invention, realize in other embodiments.Therefore, the present invention can not be restricted to these embodiments shown in this article, but will meet the widest scope consistent with principle disclosed herein and features of novelty.
Claims (10)
1. a method of testing for configuration control information, is characterized in that, comprising:
Obtain configuration control information to be tested;
Described configuration control information is resolved, determines the steering logic corresponding to described configuration control information;
Compiling is carried out to described configuration control information and obtains object code, and described object code is loaded in preset emulation controller;
Obtain the test case matched with described configuration control information;
Utilize the described steering logic parsed to perform described test case, obtain the first operation result;
In the emulation controller being loaded with described object code, perform described test case, obtain the second operation result;
Test analysis is carried out according to described first operation result and the second operation result.
2. method according to claim 1, is characterized in that, describedly resolves described configuration control information, determines the steering logic corresponding to described configuration control information, comprising:
Extract the property parameters of the configuration element comprised in described configuration control information, and line relation between configuration element;
According to the line relation between the property parameters of described configuration element and configuration element, determine the steering logic corresponding to configuration control information.
3. method according to claim 1, is characterized in that, the test case that described acquisition and configuration control information match, and comprising:
From preset multiple test cases, choose the test case of mating with the control strategy of described configuration control information.
4. method according to claim 1, is characterized in that, the test case that described acquisition and configuration control information match, and comprising:
According to the described steering logic parsed, and in conjunction with preset Test cases technology rule, generate the test case needed for current test.
5. method according to claim 1, is characterized in that, when comprising expection Output rusults in the test case got, describedly carrying out test analysis according to described first operation result and the second operation result, comprising:
When described first operation result is identical with the second operation result, then determine that Combining soft control process operation is normal;
When described first operation result and described second operation result inconsistent time, according to the first operation result and the second operation result difference with expection Output rusults, determine abnormal cause.
6. a proving installation for configuration control information, is characterized in that, comprising:
Configuration info acquiring unit, for obtaining configuration control information to be tested;
Logical analysis unit, for resolving described configuration control information, determines the steering logic corresponding to described configuration control information;
Compilation unit, obtains object code for carrying out compiling to described configuration control information;
Code loading unit, for being loaded in preset emulation controller by described object code;
Test case acquiring unit, for obtaining the test case matched with described configuration control information;
First running unit, for utilizing the described steering logic parsed to perform described test case, obtains the first operation result;
Second running unit, for performing described test case in the emulation controller being loaded with described object code, obtains the second operation result;
Test analysis unit, for carrying out test analysis according to described first operation result and the second operation result.
7. device according to claim 6, is characterized in that, described logical analysis unit, comprising:
Feature extraction unit, for extracting the property parameters of the configuration element comprised in described configuration control information, and line relation between configuration element;
Logic determining unit, for according to the line relation between the property parameters of described configuration element and configuration element, determines the steering logic corresponding to configuration control information.
8. device according to claim 6, is characterized in that, described test case acquiring unit, comprising:
First test case acquiring unit, for from preset multiple test cases, chooses the test case of mating with the control strategy of described configuration control information.
9. device according to claim 6, is characterized in that, described test case acquiring unit, comprising:
Second test case acquiring unit, for the described steering logic that basis parses, and in conjunction with preset Test cases technology rule, generates the test case needed for current test.
10. device according to claim 6, is characterized in that, when comprising expection Output rusults in the test case that test case acquiring unit gets, described test analysis unit, comprising:
First test analysis unit, for when described first operation result is identical with the second operation result, then determines that Combining soft control process operation is normal;
Second test analysis unit, for when described first operation result and described second operation result inconsistent time, according to the first operation result and the second operation result difference with expection Output rusults, 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 CN103279418A (en) | 2013-09-04 |
| CN103279418B true 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) |
Families Citing this family (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104536862A (en) * | 2014-12-19 | 2015-04-22 | 国核自仪系统工程有限公司 | DCS control logic automatic test method |
| CN104516818B (en) * | 2014-12-29 | 2017-08-22 | 北京四方继保自动化股份有限公司 | The automatization test system and its method of compiler a kind of software suitable for Logical Configuration |
| 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 |
| CN107985349B (en) * | 2017-10-24 | 2021-04-13 | 北京全路通信信号研究设计院集团有限公司 | Method and device for realizing single hardware and multiple software and computer storage medium |
| CN108416088B (en) * | 2018-01-26 | 2021-12-14 | 爱普（福建）科技有限公司 | Method and device for realizing real-time preview function for configuration element design |
| CN109597749B (en) * | 2018-08-31 | 2022-01-25 | 创新先进技术有限公司 | Regression testing method, device, electronic equipment and computer readable storage medium |
| CN109358564B (en) * | 2018-09-19 | 2022-05-20 | 珠海格力电器股份有限公司 | Method and device for detecting configuration software and computer readable storage medium |
| CN112650175A (en) * | 2020-12-21 | 2021-04-13 | 佳都新太科技股份有限公司 | Self-configuration method and system of environment control equipment, computer equipment and storage medium |
| CN113778041B (en) * | 2021-11-11 | 2022-02-15 | 西安热工研究院有限公司 | Method, system, equipment and storage medium for generating communication data between DCS controllers |
| CN114610622B (en) * | 2022-03-14 | 2024-05-28 | 浙江中控技术股份有限公司 | Automatic test layering design method for system functional block and related device |
| CN114936098B (en) * | 2022-07-22 | 2022-11-04 | 浙江中控技术股份有限公司 | 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 |
Also Published As
| Publication number | Publication date |
|---|---|
| CN103279418A (en) | 2013-09-04 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN103279418B (en) | A kind of method of testing of configuration control information and device | |
| CN106528100B (en) | System and method for model-based techniques and processes for safety-critical software development | |
| US10025696B2 (en) | System and method for equivalence class analysis-based automated requirements-based test case generation | |
| KR100744886B1 (en) | Asadal : system for providing feature-oriented software product line engineering environment | |
| EP2960799A1 (en) | Defect localization in software integration tests | |
| US20050223295A1 (en) | Method for the creation of sequences for testing software | |
| US20100180263A1 (en) | Apparatus and method for detecting software error | |
| US8572583B2 (en) | Method and system for testing software for industrial machine | |
| Darvas et al. | PLCverif: A tool to verify PLC programs based on model checking techniques | |
| US9342441B2 (en) | Methodology and tool support for test organization and migration for embedded software | |
| Jamro et al. | CPDev engineering environment for modeling, implementation, testing, and visualization of control software | |
| Simon et al. | Automatic test case generation for PLC programs using coverage metrics | |
| Lochau et al. | Applying model-based software product line testing approaches to the automation engineering domain | |
| He et al. | Model-based verification of PLC programs using Simulink design | |
| CN108572892B (en) | PowerPC multi-core processor-based offline test method and device | |
| KR20190094779A (en) | Automatically Generate Device for PLC Instruction Compiler Test-Case | |
| CN108874656A (en) | Code test method, device, readable storage medium storing program for executing and computer equipment | |
| EP3889703B1 (en) | Method and apparatus for expressing and verifying functional specifications of a programmable logic controller program | |
| Sülflow et al. | Verification of PLC programs using formal proof techniques | |
| Jamro | Development and execution of POU-oriented performance tests for IEC 61131-3 control software | |
| KR20070049126A (en) | Asadal : system for providing feature-oriented software product line engineering environment | |
| Jamro | SysML modeling of POU-oriented unit tests for IEC 61131-3 control software | |
| Yoo et al. | An integrated software development framework for PLC & FPGA based digital I&Cs | |
| CN111752823A (en) | Method, device and equipment for testing vehicle-mounted power supply application software | |
| US10417110B2 (en) | Method for verifying traceability of first instructions in a procedural programming language generated from second instructions in a modelling language |
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 |