Software test system and method for digital reactor protection system of nuclear power plant

[0054] Example one

[0055] Such as figure 1 As shown, the digital reactor protection system software test system for nuclear power plants provided by the present invention includes: a probability distribution component 1, which is used to calculate the probability of multiple selection modules of the parameter generation component 2, and is used to assign each The next branch of the selection module is selected for probability distribution; the parameter generation component 2 includes a plurality of selection modules and is respectively connected to part of the probability distribution component 1, and is used to allocate components according to the probability in each round 1. Assignment of 1, select test conditions, test equipment, trigger conditions, test channels and input parameters, and generate the expected value of each round of testing according to the corresponding running test equipment; data analysis component 3, connected to the parameter generation component 2 , Used to analyze and compare the expected values ​​and operating parameter values ​​of each round, customize statistics and derive the test results of multiple rounds.

[0056] Specifically, the probability distribution component 1 includes: a first-level probability distribution module 11, which is respectively connected to the multiple selection modules of the parameter generation component 2, and is used to determine the branch probabilities and the branch probabilities of the multiple selection modules of the parameter generation component 2 when the test is started. Algorithms for allocation and determination; multiple second-level probability allocation modules 12 are distributed among multiple selection modules in the parameter generation component 2 and are all connected to the first-level probability allocation module 11 for allocation according to the first-level probability The probability and algorithm assigned by module 11 are calculated to confirm the branch to be selected in this round. The conditions for triggering various protection actions of nuclear power plants are randomly generated according to a certain probability, so as to realize the simulation of the operating state of nuclear power plants and the probability and distribution of various protection actions, and fully explore software reliability problems. And other similar systems with operating profile characteristics) to provide technical support for functional testing and reliability evaluation.

[0057] In this embodiment, the multiple selection modules of the parameter generation component 2 include: a test working condition selection module 21, which is used to select the working condition to be tested in this round among the preset working conditions of the nuclear power plant; The module 22 is connected to the test condition selection module 21, and is used to select the equipment or action to be tested in this round among a variety of protective equipment or actions under the conditions selected by the test condition selection module 21; The trigger condition selection module 23 is connected to the test equipment selection module 22, and is used to select the trigger condition to be tested in this round among the preset trigger conditions under the selected working condition; the trigger channel selection module 24 is connected with all The trigger condition selection module 23 is connected, and is used to select the trigger channel of this round of testing among the redundant channels of the trigger condition selected by the trigger condition selection module 23; the operation parameter selection module 25 is connected to the trigger selection component 24 The connection is used to determine the test conditions, trigger conditions, and the corresponding operating parameter intervals of the test channel, select with a certain probability algorithm, and generate the operating parameter values ​​of the current round of testing.

[0058] Combine figure 2 As shown, the operating parameter selection module 25 uses a method of randomly taking values ​​in the signal value interval to cover the parameter test range. The specific process is: when the trigger channel selection module 24 selects the trigger channel, the signal parameter corresponding to the channel will be Random value is performed in the trigger value or normal value interval, where the signal parameter corresponding to the selected channel is randomly selected in the trigger value interval, and the signal parameter corresponding to the unselected channel is randomly selected in the normal value interval. E.g figure 2 If the trigger channel is selected as I, the signal parameter corresponding to the channel will be selected between the trigger value interval [v1, v2) and the normal value interval [v2, v3), and the signal parameter A corresponding to channel I is selected The trigger value interval [v1, v2) will be selected, the signal parameter A corresponding to the unselected channel I will be selected between the normal value interval [v2, v3), and the same is true for other channels. Realize the random selection and combination of multi-level logic paths, and automatically generate test cases corresponding from "operating parameters" to "operating conditions", so that the occurrence of test content has the random characteristics of the operation profile, and comprehensively covers the test paths of complex software.

[0059] Combine image 3 As shown, in this embodiment, the test condition selection module 21 is used as the upstream module, the test equipment selection module 22 is used as the current module, and the trigger condition selection module 23 is used as the downstream module. Each selection module includes a secondary probability distribution module 12 . In the test condition selection module 21, the second-level probability distribution module 12 has been determined by the first-level probability distribution module 11 to determine the probability algorithm (a) and branches "condition 1", "condition 2" and "condition 3" respectively Corresponding probabilities "a%", "b%" and "c%", in the same way, the secondary probability allocation module 12 in the test equipment selection module 22 and the trigger condition selection module 23 has also determined the probability algorithm and the allocation probability. After the test starts, the second-level probability allocation module in each selection module calculates according to the algorithm to obtain the branch selection for this round. According to the branch selection result of the test selection module 21 (working condition 2) as a prerequisite, the test equipment selection module Then select from the equipment corresponding to working condition 2, the branch result (equipment 5) selected according to the calculation result as a prerequisite, the trigger condition selection module selects among the trigger conditions corresponding to equipment 5, and the current round is obtained according to the calculation result The trigger conditions for subsequent selection of modules and so on.

[0060] Combine figure 1 As shown, the data analysis component 3 includes: an expected output module 31, which is connected to the test equipment selection module 22, and is used to set the expected output after determining the equipment or actions that need to be tested in this round; an operating parameter mandatory module 32, respectively It is connected to the target system and the operating parameter selection module 25, and is used to input the operating parameter values ​​generated by the operating parameter selection module 25 into the target system; the data recording and analysis module 33 is connected to the expected output module respectively 31 is connected to the target system for collecting the actual output of the target system after parameter injection and the expected output delivered by the expected output module 31 in each round, and compare the actual output with the expected output, and analyze Its consistency and correctness, custom statistics and export multiple rounds of test results.

[0061] Since the system requires multiple rounds of testing, the nuclear power plant digital reactor protection system software testing system also includes a system recovery module 4, which is connected to the operating parameter mandatory module 32 and is used to save normal operating conditions All parameter states are used to forcibly restore all parameters of the target system after each test execution, and restore the target system to normal operating conditions, so as to facilitate the execution of the next round of tests, and realize the automatic generation of test cases, Testing and result analysis.

[0062] Example two

[0063] Such as Figure 4 As shown, the second embodiment of the present invention provides a software testing method for a nuclear power plant digital reactor protection system, including the following steps:

[0064] S1, by calculating the probability distribution of multiple branch steps in step S2, determine the branch step selected in this round;

[0065] S2. Select test conditions, trigger conditions and test channels, and generate expected values ​​and operating parameter values ​​for each round of testing according to the corresponding operating parameter interval;

[0066] S3. Analyze and compare the expected values ​​and operating parameter values ​​of each round, customize statistics and derive the test results of each round.

[0067] Example three

[0068] Such as Figure 5 As shown, the step S1 includes:

[0069] S11. When the test is started, the branch probability and algorithm in step S2 are allocated and determined, and the probability algorithm and branch probability (%) of the branch step in step S2 are specifically determined.

[0070] S12. Calculate according to the probability and algorithm allocated in step S11, and confirm the branch to be selected in this round.

[0071] Specifically, the step S2 includes:

[0072] S21. Select the working conditions to be tested in this round from the preset working conditions of the nuclear power plant;

[0073] S22. Among the various protective equipment or actions under the selected working conditions, select the equipment or actions to be tested in this round;

[0074] S23. Select the trigger condition that needs to be tested in this round among the preset trigger conditions under the selected working conditions;

[0075] S24. Select the trigger channel of this round of testing from the selected redundant channels of the trigger condition;

[0076] S25. In determining the test operating conditions, trigger conditions, and the corresponding operating parameter interval of the test channel, select with a certain probability algorithm to generate the operating parameter value of the current round of testing.

[0077] Combine figure 2 As shown, in step S25, the method of randomly taking values ​​in the signal value interval is used to cover the parameter test range. The specific process is: when the trigger channel is selected in step S24, the signal parameter corresponding to the channel will be within the trigger value or normal value interval Random value selection is performed, where the signal parameter corresponding to the selected channel is randomly selected in the trigger value interval, and the signal parameter corresponding to the unselected channel is randomly selected in the normal value interval. E.g figure 2 If the trigger channel is selected as I, the signal parameter corresponding to the channel will be selected between the trigger value interval [v1, v2) and the normal value interval [v2, v3), and the signal parameter A corresponding to channel I is selected The trigger value interval [v1, v2) will be selected, the signal parameter A corresponding to the unselected channel I will be selected between the normal value interval [v2, v3), and the same is true for other channels. Realize the random selection and combination of multi-level logic paths, and automatically generate test cases corresponding from "operating parameters" to "operating conditions", so that the occurrence of test content has the random characteristics of the operation profile, and comprehensively covers the test paths of complex software.

[0078] Specifically, step S3 includes:

[0079] S31. Set the expected output after the device or action to be tested in this round is determined in step S22;

[0080] S32. After the operating parameters are generated in step S25, input the operating parameter values ​​generated in this round into the target system;

[0081] S33. Collect the actual output and expected output of the target system after parameter injection in each round, compare the actual output with the expected output, analyze its consistency and correctness, customize statistics and derive each round Test results.

[0082] Since the system requires multiple rounds of testing, the software testing method for the digital reactor protection system of nuclear power plants also includes the following steps:

[0083] S4. After each test is executed, all parameters of the target system are forcibly restored, and the target system is restored to a normal operating condition to facilitate the execution of the next round of tests, and step S1 is restarted. Realize the automatic generation, testing and result analysis of test cases.

[0084] In summary, the solution of the present application has at least the following beneficial technical effects compared with the prior art:

[0085] 1) Make various conditions for triggering protection actions of nuclear power plants to be randomly generated according to a certain probability, realize the simulation of the operating status of nuclear power plants and the probability of occurrence of various protection actions and their distributions, and fully explore software reliability problems. Provide technical support for functional testing and reliability evaluation of the system (and other similar systems with operational profile characteristics);

[0086] 2) Realize the random selection and combination of multi-level logic paths, and automatically generate test cases corresponding from "operating parameters" to "operating conditions", so that the occurrence of test content has the random characteristics of the operation profile, and comprehensively covers the testing of complex software path;

[0087] 3) Achieve sufficient coverage of the parameter value range;

[0088] 4) Realize the automatic generation, testing and result analysis of test cases.