CN110688297A - Automatic test method for computational logic configuration - Google Patents

Automatic test method for computational logic configuration Download PDF

Info

Publication number
CN110688297A
CN110688297A CN201910138331.4A CN201910138331A CN110688297A CN 110688297 A CN110688297 A CN 110688297A CN 201910138331 A CN201910138331 A CN 201910138331A CN 110688297 A CN110688297 A CN 110688297A
Authority
CN
China
Prior art keywords
test
result
calculation
automatic
script
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
Application number
CN201910138331.4A
Other languages
Chinese (zh)
Inventor
周健文
刘凯
毛磊
桑玮
王宇帆
王政彦
贺颖
常箫
王伟
张淑慧
张洪
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Shanghai Nuclear Engineering Research and Design Institute Co Ltd
Original Assignee
Shanghai Nuclear Engineering Research and Design Institute Co Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Shanghai Nuclear Engineering Research and Design Institute Co Ltd filed Critical Shanghai Nuclear Engineering Research and Design Institute Co Ltd
Priority to CN201910138331.4A priority Critical patent/CN110688297A/en
Publication of CN110688297A publication Critical patent/CN110688297A/en
Pending legal-status Critical Current

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3688Test management for test execution, e.g. scheduling of test suites

Abstract

The invention aims to disclose an automatic test method aiming at computational logic configuration, compared with the prior art, the method adopts two methods of quantitative test and qualitative test, and can ensure the integrity of test function and performance by supporting direct introduction of test scripts which are already tested, and simultaneously greatly improve the test efficiency; by customizing the test script, all function test samples can be covered, a customized execution period is supported, the test speed and the integrity of the test function can be obviously accelerated, all test requirements of the internal calculation program of the instrument control system of the nuclear power plant during test development are met, and the purpose of the invention is realized.

Description

Automatic test method for computational logic configuration
Technical Field
The invention relates to an automatic test method, in particular to an automatic test method for computational logic configuration when a computation program in an instrument control system of a nuclear power plant carries out test.
Background
The internal calculation programs of the instrument control system of the nuclear power plant are mainly divided into the following categories: technical specification monitoring, computerized operator support, power plant performance evaluation, safety function display, application program support functions, conversion calculation, signal processing and the like, wherein the programs acquire power plant data through communication with a nuclear power plant instrument control system, and write the data back to the nuclear power plant instrument control system after specific data processing or calculation, so that corresponding decision support information is provided for nuclear power plant operators so as to better operate and monitor the power plant.
The method is characterized in that a calculation program in an instrument control system of the nuclear power plant is used as an important system required for supporting operation and monitoring of the nuclear power plant, and according to requirements of a test outline of the instrument control system of the nuclear power plant, complete unit tests (function blocks and algorithm blocks), integration tests (calculation program function tests) and system tests (each application software system, after the integration tests of parts of the calculation program in the instrument control system of the nuclear power plant are completed, and before formal integration with the instrument control system of the nuclear power plant, the functions and performances of the system are verified mainly through the system tests) before the integration tests of the parts are completed.
Currently, there are many commercially available software that can support well both unit testing and integration testing, such as SCADE, MATLAB, etc. However, in the current system test work of such software, some software logic calculation parts adopt software development engineers to simulate data by themselves and develop functional tests in a data excitation mode, and the method cannot simulate a real test scene and is incomplete in test. Some manual point testing methods are similar to single-step testing, each testing needs to consume a large amount of time, testing efficiency is low, workload is large, manual statistical data is inaccurate, and manual testing can hardly be completed in many aspects such as system performance testing under the condition of large data volume concurrence. Some test samples formed in the integrated test cannot be directly used in the system test, and the test script needs to be rewritten, which causes extra workload. Some tests do not need to be carried out, tests are carried out after the tests are integrated with a nuclear power plant instrument control system, once problems occur at the stage, the problems are often difficult to locate, and the test work is time-consuming and labor-consuming.
Therefore, there is a need for an automated testing method for computing logic configuration to solve the above existing problems.
Disclosure of Invention
The invention aims to provide an automatic test method for computational logic configuration, which aims at overcoming the defects of the prior art, meets the function and performance test of a computational program in an instrument control system of a nuclear power plant, and reduces the test risk and test difficulty after the program is integrated with the instrument control system of the nuclear power plant.
The technical problem solved by the invention can be realized by adopting the following technical scheme:
an automatic test method for computing logic configuration is characterized in that the following two test methods are provided:
1) quantitative testing:
directly importing a test script which is developed to be tested as a data excitation source or importing a custom script/external data as the data excitation source, and starting to execute the test;
2) and (3) qualitative test:
after internal calculation is completed by acquiring an excited input signal, an actual calculation result is obtained, the calculation result is displayed on a human-computer interface in a graphical mode, and the accuracy of the test is judged by observing the change trend of the signal on the human-computer interface.
In one embodiment of the invention, the quantitative test is directed to a calculation procedure that is computationally deterministic (i.e., independent of the initial state).
In an embodiment of the invention, the quantitative test identifies an input signal excitation source and an expected result during the test through the input signal and output signal marks of the test script which has been tested, and simultaneously obtains an actual calculation result after completing internal calculation through obtaining the excited input signal, and realizes automatic test and automatic comparison of the results through comparison of the actual result and the expected result.
Furthermore, the comparison result can be directly checked in the human-computer interface to obtain the calculation result and the expected result of each period, if the calculation result and the expected result are inconsistent, the calculation result and the expected result are highlighted, all the test results after the summary can be checked below the interface to generate an automatic test report, and the test result and the overall test result of each period are recorded in detail in the report.
In one embodiment of the invention, the qualitative test is directed to a calculation procedure for which the calculation results are uncertain (i.e. related to the initial state, such as for averaging, rate of change calculation, filtering, etc. of the signal).
In one embodiment of the present invention, the data stimulus manner of the qualitative test includes but is not limited to: and importing the test script with the test developed, the self-defined test script/external data, the self-defined function and the external code.
Compared with the prior art, the automatic test method for the computational logic configuration adopts two methods of quantitative test and qualitative test, and can ensure the integrity of test function and performance and greatly improve the test efficiency by directly introducing the test script which is subjected to the test; by customizing the test script/external data, all function test samples can be covered, a customized execution period is supported, the test speed and the integrity of the test function can be obviously accelerated, all requirements of the internal calculation program of the instrument control system are met, and the purpose of the invention is realized.
The features of the present invention will be apparent from the accompanying drawings and from the detailed description of the preferred embodiments which follows.
Drawings
FIG. 1 is an illustration of a script of the present invention;
FIG. 2 is a schematic diagram of qualitative test signal excitation according to the present invention;
FIG. 3 is a schematic diagram of the automatic comparison of the quantitative test of the present invention.
Detailed Description
In order to make the technical means, the creation characteristics, the achievement purposes and the effects of the invention easy to understand, the invention is further explained below by combining the specific drawings.
Examples
Referring to fig. 1 to 3, the automated testing method for computing logic configuration according to the present invention includes quantitative testing and qualitative testing.
Quantitative testing:
the quantitative test aims at a calculation program with a calculation result determined (namely irrelevant to an initial state), and needs to perform complete unit test, integration test and system test before accessing the nuclear power plant instrument control system according to the requirements of the nuclear power plant instrument control system test outline. The method supports the internal calculation program of the instrument control system of the nuclear power plant to directly import the test script which is already tested as a data excitation source when the test is carried out, and can greatly reduce the workload during the test.
The quantitative test identifies an input signal excitation source and an expected result during the test through the input signal and output signal marks of the test script which is developed, meanwhile, after the calculation program completes internal calculation through acquiring the excited input signal, an actual calculation result is obtained, and automatic test and automatic comparison of the result are realized through comparison of the actual result and the expected result.
The comparison result can be directly used for checking the calculation result and the expected result of each period in the human-computer interface, if the calculation result and the expected result are inconsistent, the calculation result and the expected result are highlighted, all the collected test results (namely whether all the test results pass through, the number of the test results fail and the like) can be checked below the interface, meanwhile, an automatic test report can be generated, and the test results and the overall test results of each period are recorded in detail in the report.
And (3) qualitative test:
qualitative testing refers to a calculation procedure for which the calculation results are uncertain (i.e., related to the initial state, such as for averaging, rate of change calculation, filtering, etc. of the signal).
The data excitation mode of the qualitative test is flexible, and comprises the following steps: and modes of importing test scripts for testing, self-defining test scripts/external data, self-defining functions, external code import and the like are supported.
After the calculation program finishes internal calculation by acquiring the excited input signal, an actual calculation result is obtained, and the calculation result is displayed on a human-computer interface in a graphical mode.
The result judgment of the qualitative test needs the participation of a tester, and the correctness of the test is judged by observing the change trend of the signal on a human-computer interface.
The foregoing shows and describes the general principles and broad features of the present invention and advantages thereof. It will be understood by those skilled in the art that the present invention is not limited to the embodiments described above, which are merely illustrative of the principles of the present invention, but that various changes and modifications may be made without departing from the spirit and scope of the invention, which is defined by the appended claims and their equivalents.

Claims (6)

1. An automatic test method for computational logic configuration is suitable for the development of test of an internal computation program of an instrument control system of a nuclear power plant, and is characterized by providing the following two test methods:
1) quantitative testing:
the test script which carries out the test can be directly imported to serve as a data excitation source or a custom script/external data can be imported to serve as a data excitation source, the test is started to be executed, and the automatic test and the automatic comparison of the result are realized through the comparison of the actual result and the expected result (from the test script which carries out the test);
2) and (3) qualitative test:
after internal calculation is completed by acquiring an excited input signal, an actual calculation result is obtained, the calculation result is displayed on a human-computer interface in a graphical mode, and the accuracy of the test is judged by observing the change trend of the signal on the human-computer interface. The data excitation mode of the qualitative test is flexible, and comprises the following steps: and modes of importing test scripts for testing, self-defining test scripts/external data, self-defining functions, external code import and the like are supported.
2. The method of claim 1, wherein the quantitative test is directed to a computational procedure that is computationally deterministic (i.e., independent of initial state).
3. The method of claim 1, wherein the quantitative test identifies an excitation source of the input signal and an expected result of the test by the input signal and the output signal of the test script having been tested, and obtains an actual calculation result after completing an internal calculation by obtaining the excited input signal, and the automatic test and the automatic comparison of the results are realized by comparing the actual result with the expected result.
4. The automated testing method for computational logic configurations of claim 3, wherein the comparison result is directly displayed in the human-computer interface for the computation result and the expected result in each cycle, if the comparison result is inconsistent with the expected result, the comparison result is highlighted, all the summarized test results are displayed below the interface, an automatic test report is generated, and the test result and the overall test result in each cycle are recorded in detail in the report.
5. The method of claim 1, wherein the qualitative testing is performed on the computational result uncertainty (i.e., correlation with initial state, such as averaging, rate of change calculation, filtering, etc. for signal) of the computational procedure.
6. The method of claim 1, wherein the qualitative testing data stimuli include but are not limited to: and importing the test script with the developed test as an excitation source, self-defining test script/external data, self-defining functions, external code import and the like.
CN201910138331.4A 2019-02-25 2019-02-25 Automatic test method for computational logic configuration Pending CN110688297A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201910138331.4A CN110688297A (en) 2019-02-25 2019-02-25 Automatic test method for computational logic configuration

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201910138331.4A CN110688297A (en) 2019-02-25 2019-02-25 Automatic test method for computational logic configuration

Publications (1)

Publication Number Publication Date
CN110688297A true CN110688297A (en) 2020-01-14

Family

ID=69107599

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201910138331.4A Pending CN110688297A (en) 2019-02-25 2019-02-25 Automatic test method for computational logic configuration

Country Status (1)

Country Link
CN (1) CN110688297A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112559362A (en) * 2020-12-23 2021-03-26 平安银行股份有限公司 Automatic testing method and testing device for dynamic user interface

Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102012861A (en) * 2010-11-01 2011-04-13 北京航空航天大学 Method and system for real-time embedded software test result data analysis
US20130311827A1 (en) * 2012-05-16 2013-11-21 International Business Machines Corporation METHOD and APPARATUS for automatic testing of automation software
CN103869801A (en) * 2012-12-13 2014-06-18 中广核工程有限公司 Test method of nuclear power plant instrumentation control logic function block and system
CN104516818A (en) * 2014-12-29 2015-04-15 北京四方继保自动化股份有限公司 Automatic testing system and method both applicable to compiler in logical configuration software
CN106597250A (en) * 2016-11-24 2017-04-26 深圳市紫光同创电子有限公司 Programmable logic device (PLD) test method and device
CN107291062A (en) * 2017-04-01 2017-10-24 福建福清核电有限公司 A kind of digitalized I&C system logic function experimental rig of PWR nuclear power plant core

Patent Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102012861A (en) * 2010-11-01 2011-04-13 北京航空航天大学 Method and system for real-time embedded software test result data analysis
US20130311827A1 (en) * 2012-05-16 2013-11-21 International Business Machines Corporation METHOD and APPARATUS for automatic testing of automation software
CN103869801A (en) * 2012-12-13 2014-06-18 中广核工程有限公司 Test method of nuclear power plant instrumentation control logic function block and system
CN104516818A (en) * 2014-12-29 2015-04-15 北京四方继保自动化股份有限公司 Automatic testing system and method both applicable to compiler in logical configuration software
CN106597250A (en) * 2016-11-24 2017-04-26 深圳市紫光同创电子有限公司 Programmable logic device (PLD) test method and device
CN107291062A (en) * 2017-04-01 2017-10-24 福建福清核电有限公司 A kind of digitalized I&C system logic function experimental rig of PWR nuclear power plant core

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112559362A (en) * 2020-12-23 2021-03-26 平安银行股份有限公司 Automatic testing method and testing device for dynamic user interface

Similar Documents

Publication Publication Date Title
EP1899876B1 (en) System and method for using model analysis to generate directed test vectors
US7275184B2 (en) Software verification method for control units and verification system
US6820222B2 (en) Apparatus and method for processor power measurement in a digital signal processor using trace data and simulation techniques
US8214701B1 (en) Hardware and software debugging
WO2013158788A2 (en) Devices for indicating a physical layer error
CN109543417B (en) Vulnerability mining method and device based on Qemu platform
CN104699617A (en) Automated testing method for games
CN111831321A (en) Code coverage rate analysis method and device and electronic equipment thereof
CN112835755A (en) Test data acquisition method, device and equipment and computer storage medium
TW201017459A (en) Method and apparatus for debugging an electronic system design (ESD) prototype
CN109002397B (en) Controller smoking test system and test method
CN110688297A (en) Automatic test method for computational logic configuration
CN115803642A (en) Automatically assisted circuit verification
CN107145381A (en) The MIPS cpu test instruments of face the practice teaching
CN112035996A (en) Equipment testability integrated design and evaluation system
CN103165405A (en) Mutli-dimensional variable code real-time generation method through general purpose interface bus (GPIB) interface
CN115373929A (en) Test method, device, equipment, readable storage medium and program product
CN115878454A (en) Torque path testing method and device based on historical testing data and electronic equipment
CN111639028A (en) Account checking rule script test method, device, engine and storage medium
US10060976B1 (en) Method and apparatus for automatic diagnosis of mis-compares
CN111752823A (en) Method, device and equipment for testing vehicle-mounted power supply application software
US11487561B1 (en) Post simulation debug and analysis using a system memory model
CN110688298A (en) Nuclear power plant man-machine interaction system automatic testing device based on event driving
WO2023065438A1 (en) Virtual hardware test acceleration method and apparatus for software function of electricity meter
CN113495844B (en) Automatic testing method, device and system based on virtual click and storage medium

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
WD01 Invention patent application deemed withdrawn after publication

Application publication date: 20200114

WD01 Invention patent application deemed withdrawn after publication