CN105005295A - Test system and test method for control logic - Google Patents
Test system and test method for control logic Download PDFInfo
- Publication number
- CN105005295A CN105005295A CN201510415281.1A CN201510415281A CN105005295A CN 105005295 A CN105005295 A CN 105005295A CN 201510415281 A CN201510415281 A CN 201510415281A CN 105005295 A CN105005295 A CN 105005295A
- Authority
- CN
- China
- Prior art keywords
- test
- case
- module
- model
- result
- 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.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B23/00—Testing or monitoring of control systems or parts thereof
- G05B23/02—Electric testing or monitoring
- G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
- G05B23/0208—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterized by the configuration of the monitoring system
- G05B23/0213—Modular or universal configuration of the monitoring system, e.g. monitoring system having modules that may be combined to build monitoring program; monitoring system that can be applied to legacy systems; adaptable monitoring system; using different communication protocols
Abstract
The invention provides a test system and a test method for a control logic. The test system comprises a user information verification server, a standard test case management server, a test result management server and an application workstation. The application workstation comprises a user authority verification module, a standard base generating module, a model conversion module and a test engine module. The application workstation connects the user information verification server, the standard test case management server and the test result management server through a network. The test system and the test method for the control logic according to the invention can automatically generate test causes and perform a testing verification operation in a batch manner, thereby greatly reducing manual operation, making a user finish the control logic testing verification operation conveniently and quickly, reducing the number of man errors and improving testing quality and testing efficiency.
Description
Technical field
The present invention relates to Power Plant Thermal Process control field, be specifically related to a kind of test macro and method of steering logic.
Background technology
The significant problems such as in power plant design, the steering logic design of Thermal Control System is one of them important step, and it is directly connected to the whether steady safe operation of power plant, can emergency episode process in time.When design con-trol system, first will according to the requirement of control procedure, the steering logic figure of drawing process control system, then according to steering logic figure, carry out the Configuration Design of control system, finally testing authentication is carried out to guarantee that the steering logic designed meets the requirement of expection to the steering logic completed.At present, the test of Power Plant Thermal Process steering logic mainly adopts manual testing process, namely input test use-case is manually set according to testing process, observe, record Output rusults, whether artificial judgment test result is correct again, there is certain problem in it, as tester need be comparatively familiar to each flow process to be tested; Completely manually input variable is set, and records output variable, not only take time and effort, efficiency is lower, and easily occur human error, cause the incorrect or Output rusults record of input variable incorrect etc.So current in the urgent need to a kind of control logic test scheme that can solve the problem.
Summary of the invention
The object of the invention is to overcome prior art Problems existing, a kind of test macro and method of steering logic are provided, this system and method also can perform testing authentication operation by generating test use case automatically in batches, greatly reduce manual operation, user is allowed to complete control logic test checking work easily and quickly, reduce human error, improve test mass and efficiency.
Realize the technical scheme of the object of the invention: a kind of test macro of steering logic, it comprises user profile authentication server, standard testing case management server, test result management server and application work station;
Described application work station comprises user right authentication module, java standard library generation module, model conversion module and testing engine module; User profile authentication server, standard testing case management server and test result management server are coupled together by network by application work station;
Described user profile authentication server comprises user profile and the database for storing these information; The user profile checking request that user profile authentication server sends for the treatment of application work station, user profile authentication server accepts request, and according to the operating right of requests verification user, and result is returned to application work station;
Described standard testing case management server comprises standard testing use-case data and the database for storing these data; The standard testing use-case inquiry that standard testing case management server sends for the treatment of application work station, call request, standard testing case management server is according to request, in standard testing use-case database, inquire about qualified standard testing use-case, obtained standard testing use-case is returned to application work station;
Described test result management server comprises test result data and the database for storing these data; The test result storage resource request that test result management server sends for the treatment of application workstation, application workstation is numbered according to test result, by test result stored in test result data storehouse.
The test macro of a kind of steering logic as above, application work station described in it comprises user right authentication module, java standard library generation module, model conversion module and testing engine module, it is specific as follows: user right authentication module, for user profile being sent to user profile verification management server, the operating right of user profile verification management server authentication user, returns to application work station by the result; Java standard library generation module, for creating standard testing use-case in standard testing case management server; Model conversion module, for by steering logic model conversion be can be mutual with testing engine module test model; First algoritic module in steering logic is converted to function code by described model conversion module, secondly input and output number and algoritic module parameter information generate inventory file in combing steering logic, described input and output number inventory file comprises input and output number name and type thereof, described algoritic module parameter list file comprises parametric variable name and numerical value thereof, finally function code being integrated into can program compiler, just obtain after compiling can be mutual with testing engine module test model;
Testing engine module comprises model analyzing submodule, Test cases technology submodule, test execution submodule, result decision sub-module and result output sub-module; Wherein, described model analyzing submodule, for the tested model that analytic model modular converter generates, obtains the key messages such as the title of mode input point and output point, quantity and type thereof; Described Test cases technology submodule, for according to model analyzing module gained information, searches qualified standard testing use-case in standard testing case management server, and utilizes tested model information and standard testing use-case to generate the test case of tested model; Described test execution submodule, generates for read test use-case in the test case of submodule generation and inputs point value, by its assignment in test model input point, then carries out computing according to the execution time of test case setting, and preserves operation result; Described result decision sub-module, whether the operation result for discriminating test implementation sub-module meets tolerances or meets expectation trend.Described test model variable can be divided into digital quantity and analog quantity two type, and digital quantity can be judged by tolerance, and analog quantity can by expectation tendency judgement; Described result output sub-module, for calling different test report masterplate according to the result of determination of result decision sub-module, generating, exporting test report and test report is stored to test result management server; Described test report masterplate is according to the test masterplate of different test result in external custom, for store test results data.
The test macro of a kind of steering logic as above, standard testing use-case described in it refers to the test case with versatility, reusable is in the test of the tested model of difference, and it comprises test model input and calls the roll, exports roll-call, tolerance, execution time, input point value and output point desired value information.
The test macro of a kind of steering logic as above, all requests in its control logic test process, action are all sent by application work station and perform.
The method of testing of a kind of steering logic of the present invention, it comprises the following steps:
Step S1: call java standard library generation module and create standard testing use-case, described standard testing use-case refers to the test case with versatility, reusable is in the test case of the tested model of difference, and it comprises test model input and calls the roll, exports roll-call, tolerance, execution time, input point value and output point desired value information;
Step S2: steering logic algoritic module is converted to function code by model conversion module, generate input point inventory file, output point inventory file and algoritic module parameter list file, integration function code is compiled into test model that can be mutual with testing engine module; Described input and output number inventory file comprises model and calls the roll and type information, and described algoritic module parameter list file comprises parameter name and type information thereof;
Step S3: calling model analyzing sub-module resolves tested model, obtains mode input point and output point title, quantity and type information thereof;
Step S4: according to the roll-call of step S3 gained model, quantity and type information thereof, call the standard testing use-case satisfied condition in Test cases technology submodule query criteria test case management server, and utilize tested model information and standard testing use-case to generate tested model measurement use-case;
Input point value in step S5: the test execution submodule read step S4 test case generated, by its assignment in test model input point, then carry out computing according to the execution time of test case setting, preserve operation result;
Step S6: whether met tolerances by result decision sub-module comparison operation result or met expectation trend and carry out discriminating test result, described tested model variable can be divided into digital quantity and analog quantity two type;
Step S7: obtain whether passing through test according to step S6 result of determination, if so, then call " test report masterplate Y " and generate test report; If not, then call " test report masterplate N " generate test report and do not pass through item with color mark; Export test report and test result is stored to test result management server.
The method of testing of a kind of steering logic as above, the standard testing use-case described in its step S1 is normally pre-created and is saved to standard testing case management server.
The method of testing of a kind of steering logic as above, test report masterplate described in step S7 is according to the test masterplate of different test result in external custom, for store test results data.
Effect of the present invention is: the test macro and the method that the present invention proposes a kind of steering logic, this system and method also can perform testing authentication operation by generating test use case automatically in batches, greatly reduce manual operation, user is allowed to complete control logic test checking work easily and quickly, reduce human error, improve test mass and efficiency.
Accompanying drawing explanation
Fig. 1 is the test system structure schematic diagram of steering logic of the present invention;
Fig. 2 is the functional block diagram at the station of application work shown in Fig. 1 14;
Fig. 3 is the process flow diagram of the method for testing of steering logic of the present invention.
In figure: 11. user profile authentication servers; 12. standard testing case management servers; 13. test result management servers; 14. application work stations; 141. user right authentication modules; 142. java standard library generation modules; 143. model conversion modules; 144. testing engine modules; 1441. model analyzing submodule; 1442. Test cases technology submodule; 1443. test execution submodule; 1444. result decision sub-module; 1445. result output sub-module.
Embodiment
Below in conjunction with the drawings and specific embodiments, the test macro of a kind of steering logic of the present invention and method are further described.
Embodiment 1
As shown in Figure 1, the test macro of a kind of steering logic of the present invention comprises user profile authentication server 11, standard testing case management server 12, test result management server 13 and application work station 14.
Application work station 14 user profile authentication server 11, standard testing case management server 12 and test result management server 13 is coupled together by network, and it is the core component of whole test macro.All requests in control logic test process, action are all sent by application work station 14 and perform.
The user profile checking request that user profile authentication server 11 sends for the treatment of application work station 14, user profile authentication server 11 accepts request, and according to the operating right of requests verification user, and result is returned to workstation 14.
The standard testing use-case inquiry that standard testing case management server 12 sends for the treatment of application work station 14, call request, standard testing case management server 12 is according to request, in standard testing use-case database, inquire about qualified standard testing use-case, obtained standard testing use-case is returned to workstation 14.
The test result storage resource request that test result management server 13 sends for the treatment of application workstation 14, application workstation 14 is numbered, by test result stored in test result data storehouse according to test result.
As shown in Figure 2, described application work station 14 comprises: user right authentication module 141, java standard library generation module 142, model conversion module 143 and testing engine module 144, and it is specific as follows:
User right authentication module 141, for user profile being sent to user profile verification management server 11, the operating right of user profile verification management server 11 authentication of users, returns to application work station 14 by the result.
Java standard library generation module 142, for creating standard testing use-case in standard testing case management server 12, standard testing use-case refers to that some have the test case of versatility, reusable is in the test of the tested model of difference, and it comprises test model input and calls the roll, exports the information such as roll-call, tolerance, execution time, input point value and output point desired value.
Model conversion module 143, for by steering logic model conversion be can be mutual with testing engine module 144 test model.First algoritic module in steering logic is converted to function code by described model conversion module 143, secondly input and output number and algoritic module parameter information generate inventory file in combing steering logic, described input and output number inventory file comprises input and output number name and type thereof, described algoritic module parameter list file comprises parametric variable name and numerical value thereof, finally function code being integrated into can program compiler, just obtain after compiling can be mutual with testing engine module 144 test model.
Testing engine module 144 comprises model analyzing submodule 1441, Test cases technology submodule 1442, test execution submodule 1443, result decision sub-module 1444 and result output sub-module 1445.
Described model analyzing submodule 1441, for the tested model that analytic model modular converter 143 generates, obtains the key messages such as the title of mode input point and output point, quantity and type thereof;
Described Test cases technology submodule 1442, for according to model analyzing module 1441 gained information, search qualified standard testing use-case in standard testing case management server 142, and utilize tested model information and standard testing use-case to generate the test case of tested model;
Described test execution submodule 1443, generates for read test use-case in the test case of submodule 1442 generation and inputs point value, by its assignment in test model input point, then carries out computing according to the execution time of test case setting, and preserves operation result;
Described result decision sub-module 1444, whether the operation result for discriminating test implementation sub-module 1443 meets tolerances (digital quantity) or meets expectation trend (analog quantity).Described test model variable can be divided into digital quantity and analog quantity two type, and digital quantity can be judged by tolerance, and analog quantity can by expectation tendency judgement;
Described result output sub-module 1445, for calling different test report masterplate according to the result of determination of result decision sub-module 1444, generating, exporting test report and test report is stored to test result management server 143.Described test report masterplate is according to the test masterplate of different test result in external custom, for store test results data.
Embodiment 2
As shown in Figure 3, adopt the method for testing of a kind of steering logic of test macro described in embodiment 1, it comprises the following steps:
Step S1: call java standard library generation module 142 and create standard testing use-case, described standard testing use-case refers to the test case with versatility, reusable is in the test case of the tested model of difference, it comprises test model input and calls the roll, exports the information such as roll-call, tolerance, execution time, input point value and output point desired value, and standard testing use-case is normally pre-created and is saved to standard testing case management server 12;
Step S2: steering logic algoritic module is converted to function code by model conversion module 143, generate input point inventory file, output point inventory file and algoritic module parameter list file, integration function code is compiled into test model that can be mutual with testing engine module 144.Described input and output number inventory file comprises model and calls the roll and type information, and described algoritic module parameter list file comprises parameter name and type information thereof;
Step S3: calling model analyzing sub-module 1441 resolves tested model, obtains the key messages such as mode input point and output point title, quantity and type thereof;
Step S4: according to information such as the roll-call of step S3 gained model, quantity and types thereof, call the standard testing use-case satisfied condition in Test cases technology submodule 1442 query criteria test case management server 12, and utilize tested model information and standard testing use-case to generate tested model measurement use-case;
Input point value in step S5: the test execution submodule 1443 read step S4 test case generated, by its assignment in test model input point, then carry out computing according to the execution time of test case setting, preserve operation result;
Step S6: whether met tolerances (digital quantity) by result decision sub-module 1444 comparison operation result or met expectation trend (analog quantity) and carry out discriminating test result, described tested model variable can be divided into digital quantity and analog quantity two type;
Step S7: obtain whether passing through test according to step S6 result of determination, if so, then call " test report masterplate (Y) " and generate test report (as Suo Shi step S7 (a)); If not, then call " test report masterplate (N) " generate test report and with color mark not by item (as Suo Shi step S7 (b)), export test report and test result be stored to test result management server 13 (as Suo Shi step S7 (c)).Described test report masterplate is according to the test masterplate of different test result in external custom, for store test results data.
Above embodiments of the invention are explained in detail, above-mentioned embodiment is only optimum embodiment of the present invention, but the present invention is not limited to above-described embodiment, in the ken that those of ordinary skill in the art possess, various change can also be made under the prerequisite not departing from present inventive concept.
Claims (7)
1. a test macro for steering logic, is characterized in that: this test macro comprises user profile authentication server (11), standard testing case management server (12), test result management server (13) and application work station (14);
Described application work station (14) comprises user right authentication module, java standard library generation module, model conversion module and testing engine module; User profile authentication server (11), standard testing case management server (12) and test result management server (13) are coupled together by network by application work station (14);
Described user profile authentication server (11) comprises user profile and the database for storing these information; The user profile checking request that user profile authentication server (11) sends for the treatment of application work station (14), user profile authentication server (11) accepts request, according to the operating right of requests verification user, and result is returned to application work station (14);
Described standard testing case management server (12) comprises standard testing use-case data and the database for storing these data; The standard testing use-case inquiry that standard testing case management server (12) sends for the treatment of application work station (14), call request, standard testing case management server (12) is according to request, in standard testing use-case database, inquire about qualified standard testing use-case, obtained standard testing use-case is returned to application work station (14);
Described test result management server (13) comprises test result data and the database for storing these data; The test result storage resource request that test result management server (13) sends for the treatment of application workstation (14), application workstation (14) is numbered, by test result stored in test result data storehouse according to test result.
2. the test macro of a kind of steering logic according to claim 1, it is characterized in that: described application work station (14) comprises user right authentication module (141), java standard library generation module (142), model conversion module (143) and testing engine module (144), and it is specific as follows:
User right authentication module (141), for user profile being sent to user profile verification management server (11), the operating right of user profile verification management server (11) authentication of users, returns to application work station (14) by the result;
Java standard library generation module (142), for creating standard testing use-case in standard testing case management server (12);
Model conversion module (143), for by steering logic model conversion be can be mutual with testing engine module (144) test model; First algoritic module in steering logic is converted to function code by described model conversion module (143), secondly input and output number and algoritic module parameter information generate inventory file in combing steering logic, described input and output number inventory file comprises input and output number name and type thereof, described algoritic module parameter list file comprises parametric variable name and numerical value thereof, finally function code being integrated into can program compiler, just obtain after compiling can be mutual with testing engine module (144) test model;
Testing engine module (144) comprises model analyzing submodule (1441), Test cases technology submodule (1442), test execution submodule (1443), result decision sub-module (1444) and result output sub-module (1445); Wherein,
Described model analyzing submodule (1441), for the tested model that analytic model modular converter (143) generates, obtains the key messages such as the title of mode input point and output point, quantity and type thereof;
Described Test cases technology submodule (1442), for according to model analyzing module (1441) gained information, search qualified standard testing use-case in standard testing case management server (142), and utilize tested model information and standard testing use-case to generate the test case of tested model;
Described test execution submodule (1443), point value is inputted in the test case that read test use-case generation submodule (1442) generates, by its assignment in test model input point, then carry out computing according to the execution time of test case setting, and preserve operation result;
Described result decision sub-module (1444), whether the operation result for discriminating test implementation sub-module (1443) meets tolerances or meets expectation trend.Described test model variable can be divided into digital quantity and analog quantity two type, and digital quantity can be judged by tolerance, and analog quantity can by expectation tendency judgement;
Described result output sub-module (1445), for calling different test report masterplate according to the result of determination of result decision sub-module (1444), generating, export test report and test report be stored to test result management server (143); Described test report masterplate is according to the test masterplate of different test result in external custom, for store test results data.
3. the test macro of a kind of steering logic according to claim 1, it is characterized in that: described standard testing use-case refers to the test case with versatility, reusable is in the test of the tested model of difference, and it comprises test model input and calls the roll, exports roll-call, tolerance, execution time, input point value and output point desired value information.
4. the test macro of a kind of steering logic according to claim 1, is characterized in that: all requests in control logic test process, action are all sent by application work station (14) and performed.
5. adopt a method of testing for the test macro of any one steering logic described in Claims 1-4, it is characterized in that: the method comprises the following steps:
Step S1: call java standard library generation module (142) and create standard testing use-case, described standard testing use-case refers to the test case with versatility, reusable is in the test case of the tested model of difference, and it comprises test model input and calls the roll, exports roll-call, tolerance, execution time, input point value and output point desired value information;
Step S2: steering logic algoritic module is converted to function code by model conversion module (143), generate input point inventory file, output point inventory file and algoritic module parameter list file, integration function code is compiled into test model that can be mutual with testing engine module (144); Described input and output number inventory file comprises model and calls the roll and type information, and described algoritic module parameter list file comprises parameter name and type information thereof;
Step S3: calling model analyzing sub-module (1441) resolves tested model, obtains mode input point and output point title, quantity and type information thereof;
Step S4: according to the roll-call of step S3 gained model, quantity and type information thereof, call the standard testing use-case satisfied condition in Test cases technology submodule (1442) query criteria test case management server (12), and utilize tested model information and standard testing use-case to generate tested model measurement use-case;
Input point value in step S5: test execution submodule (1443) the read step S4 test case generated, by its assignment in test model input point, then carry out computing according to the execution time of test case setting, preserve operation result;
Step S6: whether met tolerances by result decision sub-module (1444) comparison operation result or met expectation trend and carry out discriminating test result, described tested model variable can be divided into digital quantity and analog quantity two type;
Step S7: obtain whether passing through test according to step S6 result of determination, if so, then call " test report masterplate Y " and generate test report; If not, then call " test report masterplate N " generate test report and do not pass through item with color mark; Export test report and test result be stored to test result management server (13).
6. the method for testing of a kind of steering logic according to claim 5, is characterized in that: the standard testing use-case described in step S1 is normally pre-created and is saved to standard testing case management server (12).
7. the method for testing of a kind of steering logic according to claim 5, is characterized in that: test report masterplate described in step S7 is according to the test masterplate of different test result in external custom, for store test results data.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201510415281.1A CN105005295A (en) | 2015-07-15 | 2015-07-15 | Test system and test method for control logic |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201510415281.1A CN105005295A (en) | 2015-07-15 | 2015-07-15 | Test system and test method for control logic |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN105005295A true CN105005295A (en) | 2015-10-28 |
Family
ID=54378003
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201510415281.1A Pending CN105005295A (en) | 2015-07-15 | 2015-07-15 | Test system and test method for control logic |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN105005295A (en) |
Cited By (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105446849A (en) * | 2015-11-06 | 2016-03-30 | 北京中星微电子有限公司 | Product testing method and device |
| CN107124335A (en) * | 2017-06-30 | 2017-09-01 | 郑州云海信息技术有限公司 | One kind is based on cloud sea operating system platform test method and system |
| CN108733028A (en) * | 2018-05-11 | 2018-11-02 | 上海核工程研究设计院有限公司 | A kind of test system and method for control logic |
| CN109299008A (en) * | 2018-09-21 | 2019-02-01 | 北京广利核系统工程有限公司 | A kind of control systems of nuclear power plant security function Auto-Test System and method |
| CN110674049A (en) * | 2019-09-28 | 2020-01-10 | 中电智能科技有限公司 | Intelligent formal verification method for PLC (programmable logic controller) logic programming |
| CN112164481A (en) * | 2020-08-17 | 2021-01-01 | 北京广利核系统工程有限公司 | Intelligent verification method and system for nuclear power safety control display equipment database |
| WO2022135524A1 (en) * | 2020-12-24 | 2022-06-30 | 上海核工程研究设计院有限公司 | System and method for verifying control logic design of nuclear power plant |
Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1738262A (en) * | 2004-08-18 | 2006-02-22 | 华为技术有限公司 | Method and system for testing stimulant user board function |
| CN1952818A (en) * | 2005-10-22 | 2007-04-25 | 康佳集团股份有限公司 | Testing method of program unit with capability of checking test result automatically |
| CN101252471A (en) * | 2008-03-20 | 2008-08-27 | 中兴通讯股份有限公司 | Distributed automatization test system and method |
| KR20100062233A (en) * | 2008-12-01 | 2010-06-10 | 한국항공우주연구원 | Test automation system and method |
| CN102103540A (en) * | 2011-03-23 | 2011-06-22 | 镇江睿泰信息科技有限公司 | Cloud test device and method for general software system |
| JP2014041515A (en) * | 2012-08-23 | 2014-03-06 | Hitachi Ltd | Remote verification system and remote verification device |
| CN104536862A (en) * | 2014-12-19 | 2015-04-22 | 国核自仪系统工程有限公司 | DCS control logic automatic test method |
-
2015
- 2015-07-15 CN CN201510415281.1A patent/CN105005295A/en active Pending
Patent Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN1738262A (en) * | 2004-08-18 | 2006-02-22 | 华为技术有限公司 | Method and system for testing stimulant user board function |
| CN1952818A (en) * | 2005-10-22 | 2007-04-25 | 康佳集团股份有限公司 | Testing method of program unit with capability of checking test result automatically |
| CN101252471A (en) * | 2008-03-20 | 2008-08-27 | 中兴通讯股份有限公司 | Distributed automatization test system and method |
| KR20100062233A (en) * | 2008-12-01 | 2010-06-10 | 한국항공우주연구원 | Test automation system and method |
| CN102103540A (en) * | 2011-03-23 | 2011-06-22 | 镇江睿泰信息科技有限公司 | Cloud test device and method for general software system |
| JP2014041515A (en) * | 2012-08-23 | 2014-03-06 | Hitachi Ltd | Remote verification system and remote verification device |
| CN104536862A (en) * | 2014-12-19 | 2015-04-22 | 国核自仪系统工程有限公司 | DCS control logic automatic test method |
Cited By (10)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105446849A (en) * | 2015-11-06 | 2016-03-30 | 北京中星微电子有限公司 | Product testing method and device |
| CN107124335A (en) * | 2017-06-30 | 2017-09-01 | 郑州云海信息技术有限公司 | One kind is based on cloud sea operating system platform test method and system |
| CN108733028A (en) * | 2018-05-11 | 2018-11-02 | 上海核工程研究设计院有限公司 | A kind of test system and method for control logic |
| CN109299008A (en) * | 2018-09-21 | 2019-02-01 | 北京广利核系统工程有限公司 | A kind of control systems of nuclear power plant security function Auto-Test System and method |
| CN109299008B (en) * | 2018-09-21 | 2021-11-30 | 北京广利核系统工程有限公司 | Automatic safety function testing system and method for nuclear power station control system |
| CN110674049A (en) * | 2019-09-28 | 2020-01-10 | 中电智能科技有限公司 | Intelligent formal verification method for PLC (programmable logic controller) logic programming |
| CN110674049B (en) * | 2019-09-28 | 2023-06-06 | 中电智能科技有限公司 | Intelligent form verification method oriented to PLC logic programming |
| CN112164481A (en) * | 2020-08-17 | 2021-01-01 | 北京广利核系统工程有限公司 | Intelligent verification method and system for nuclear power safety control display equipment database |
| CN112164481B (en) * | 2020-08-17 | 2023-09-29 | 北京广利核系统工程有限公司 | Intelligent verification method and system for nuclear power safety control display equipment database |
| WO2022135524A1 (en) * | 2020-12-24 | 2022-06-30 | 上海核工程研究设计院有限公司 | System and method for verifying control logic design of nuclear power plant |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN105005295A (en) | Test system and test method for control logic | |
| WO2022160707A1 (en) | Human-machine interaction method and apparatus combined with rpa and ai, and storage medium and electronic device | |
| CN102236672B (en) | A kind of data lead-in method and device | |
| CN105446799A (en) | Method and system for performing rule management in computer system | |
| CN103869801A (en) | Test method of nuclear power plant instrumentation control logic function block and system | |
| CN109299083A (en) | A kind of data governing system | |
| CN104423968A (en) | Method of designing business logic, server performing the same and storage medium storing the same | |
| CN105868196A (en) | Method for generating industrial data report in server | |
| CN102136109A (en) | Product structure tree-based design flow dynamic modeling method | |
| CN107169727A (en) | Towards the cloud service combined method and platform of Making mold | |
| CN109977175B (en) | Data configuration query method and device | |
| CN101800661A (en) | Method and system for opening network element | |
| CN109033452B (en) | Intelligent construction loading method and system for data warehouse | |
| CN105868170A (en) | Method for generating industrial data report in server | |
| Jałowiecki et al. | The methods of knowledge acquisition in the Product Lifecycle for a Generative Model's creation process | |
| CN102968305B (en) | Logical process method, device and evaluation system | |
| CN109086476A (en) | It is a kind of for the data processing method of layout design, PLM plug-in unit and calculate equipment | |
| CN112579465A (en) | Test case execution method and device, storage medium and equipment | |
| CN108733028A (en) | A kind of test system and method for control logic | |
| Morshedzadeh et al. | Managing manufacturing data and information in product lifecycle management systems considering changes and revisions | |
| WO2022253165A1 (en) | Scheduling method, system, server and computer readable storage medium | |
| CN113791595B (en) | Measuring point data importing method, system, equipment and medium for distributed control system | |
| CN108304219B (en) | Secondary development platform and method | |
| CN112395339B (en) | Intersystem data admission verification method, device, computer equipment and storage medium | |
| CN104320402B (en) | A kind of service interface access control method and system based on radix-2 algorithm |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| AD01 | Patent right deemed abandoned | ||
| AD01 | Patent right deemed abandoned |
Effective date of abandoning: 20180608 |