Verification method and system of nuclear reaction control operator based on fuzzy data test
The verification method for kernel reaction control operators using fuzzy data testing solves the problems of low verification efficiency and low automation in kernel reaction control operators, realizes automated verification and efficient verification process, and improves the accuracy and sufficiency of verification.
Patent Information
- Application Number
- CN202510882525.0
- Authority / Receiving Office
- CN · China
- Patent Type
- Applications(China)
- Current Assignee / Owner
- Filing Date
- 2025-06-27
- Publication Date
- 2025-11-21
AI Technical Summary
Existing verification methods for nuclear reaction control operators are inefficient, have low automation, insufficient verification data, difficulty in identifying boundary condition problems, and low accuracy of verification results.
A verification method for kernel reaction control operators based on fuzzy data testing is adopted. By replacing manual test case design with fuzzy data testing, the verification process is automated, the boundary condition coverage is improved, and the main program of the kernel reaction control operator verification based on fuzzy data testing is used for automated verification.
The automated verification of nuclear reaction control operators has been achieved, which improves the sufficiency and accuracy of verification, reduces manpower input and verification cycle, simplifies the verification process, and reduces verification costs.
Smart Images
Figure CN120994520A_ABST
Abstract
Description
Technical Field
[0001] This application relates to the field of nuclear reaction control algorithm technology, specifically to a verification method and system for nuclear reaction control operators based on fuzzy data testing. Background Technology
[0002] The accuracy and real-time performance of the nuclear reaction control algorithm effectively guarantee the safety of the nuclear reaction. As the smallest basic unit for constructing the nuclear reaction control algorithm, the accuracy and time efficiency of the nuclear reaction control operator are crucial. Therefore, before applying the nuclear reaction control operator to a practical nuclear reaction control algorithm configuration, its sufficiency and accuracy need to be verified.
[0003] There are currently two main methods for verifying nuclear reaction control operators: one is through software simulation, which verifies the calculated values of the nuclear reaction control operator using specific data; the other is to configure the nuclear reaction control algorithm on a host computer and download it to the device, then perform long-term, large-scale manual monitoring and forced intervention on the device to complete the verification of the nuclear reaction control operator.
[0004] Existing verification methods have the following drawbacks.
[0005] The verification efficiency is low: There are hundreds of nuclear reaction control operators, and existing verification methods rely on manual simulation or equipment testing, which is time-consuming and labor-intensive.
[0006] Limited verification data: Existing verification methods may only cover typical scenarios, and the test data is insufficient, making it difficult to discover boundary condition problems, etc.
[0007] Low level of automation: Existing verification methods lack a standardized verification framework and cannot generate test data in batches or automatically compare results.
[0008] Therefore, there is an urgent need to propose a verification method for nuclear reaction control operators based on fuzzy data testing in order to improve the sufficiency, accuracy and efficiency of nuclear reaction control operator verification. Summary of the Invention
[0009] To address the aforementioned issues, this application provides a verification method and system for nuclear reaction control operators based on fuzzy data testing. This method can improve the automation level of nuclear reaction control operator verification, increase verification sufficiency and accuracy, reduce verification manpower, shorten the verification cycle, simplify the verification process, and lower verification costs.
[0010] The technical solution adopted in this application is as follows:
[0011] Firstly, this application provides a verification method for a nuclear reaction control operator based on fuzzy data testing, the method comprising:
[0012] Receive a verification request and determine the kernel reaction control operator class to be verified based on the verification request;
[0013] Based on the nuclear reaction control operator class to be verified, the corresponding target nuclear reaction control operator verification main program is determined among multiple nuclear reaction control operator verification main programs, and the target nuclear reaction control operator verification main program call configuration is configured in the main verification program; among them, multiple nuclear reaction control operator verification main programs all use fuzzy data testing;
[0014] Receive execution requests, execute the main verification program according to the execution requests, and output the verification results in real time during the execution of the main verification program.
[0015] Secondly, this application provides a verification system for a nuclear reaction control operator based on fuzzy data testing, the system comprising:
[0016] The request receiving unit is used to receive verification requests and determine the kernel reaction control operator class to be verified based on the verification requests.
[0017] The main verification program configuration unit is used to determine the corresponding target nuclear reaction control operator verification main program among multiple nuclear reaction control operator verification main programs based on the nuclear reaction control operator class to be verified, and to configure the target nuclear reaction control operator verification main program call in the main verification program; wherein, multiple nuclear reaction control operator verification main programs all use fuzzy data testing;
[0018] The execution verification unit is used to receive execution requests, execute the main verification program according to the execution requests, and output the verification results in real time during the execution of the main verification program.
[0019] Thirdly, this application provides a computer device, including a memory, a processor, and a computer program stored in the memory and executable on the processor. When the processor executes the computer program, it implements the steps of the verification method for the nuclear reaction control operator based on fuzzy data testing described above.
[0020] Fourthly, this application provides a computer-readable storage medium storing a computer program that, when executed by a processor, implements the steps of the verification method for the nuclear reaction control operator based on fuzzy data testing described above.
[0021] The above-mentioned technical solution adopted in this application can achieve the following beneficial effects:
[0022] The verification method for nuclear reaction control operators based on fuzzy data testing provided in this application first receives a verification request and determines the class of nuclear reaction control operators to be verified based on the verification request. Then, based on the class of nuclear reaction control operators to be verified, the corresponding target nuclear reaction control operator verification main program is determined from multiple nuclear reaction control operator verification main programs, and the target nuclear reaction control operator verification main program is configured to be called in the main verification program. All multiple nuclear reaction control operator verification main programs employ fuzzy testing. Finally, an execution request is received, and the main verification program is executed according to the execution request, with verification results output in real time during the execution of the main verification program. The method provided in this application has the following advantages: Automated verification: By calling the target nuclear reaction control operator verification main program through the main verification program, the verification process is automatically executed, realizing automated verification of the nuclear reaction control operator class to be verified and reducing manual intervention. Big data verification: By replacing manual test case design with fuzzy data testing, the boundary condition coverage is improved, meeting the sufficiency requirements of nuclear reaction control operator verification. Attached Figure Description
[0023] The accompanying drawings, which are included to provide a further understanding of this application and form part of this application, illustrate exemplary embodiments and are used to explain this application, but do not constitute an undue limitation of this application. In the drawings:
[0024] Figure 1 A flowchart illustrating a verification method according to an embodiment of this application is shown;
[0025] Figure 2 A flowchart illustrating a verification method according to another embodiment of this application is shown;
[0026] Figure 3 This diagram illustrates the execution flow of a nuclear reaction control operator verification subroutine in a verification method according to an embodiment of this application.
[0027] Figure 4 A schematic diagram illustrating the execution flow of the main verification procedure of a verification method according to an embodiment of this application is shown;
[0028] Figure 5 This diagram illustrates the structure of a verification system according to an embodiment of the present application;
[0029] Figure 6 A schematic diagram of the structure of a computer device according to an embodiment of this application is shown. Detailed Implementation
[0030] To make the objectives, technical solutions, and advantages of this application clearer, the technical solutions of this application will be clearly and completely described below in conjunction with specific embodiments and corresponding drawings. Obviously, the described embodiments are only a part of the embodiments of this application, and not all of them. Based on the embodiments in this application, all other embodiments obtained by those skilled in the art without creative effort are within the scope of protection of this application.
[0031] The concept of this application is as follows: Current verification methods for nuclear reaction control operators mainly fall into two categories: one is through software simulation, verifying the calculated values of the nuclear reaction control operator using specific data; the other is to configure the nuclear reaction control algorithm on a host computer and download it to the device, then manually monitor and force-intervene the device for a long period of time with large amounts of data to complete the verification of the nuclear reaction control operator. There are hundreds of nuclear reaction control operators, and existing verification methods rely on manual simulation or actual equipment testing, resulting in long verification cycles, high labor costs, and low verification efficiency. Existing verification methods may only cover typical scenarios, with insufficient test data, making it difficult to identify boundary condition issues, and leading to low accuracy of verification results. Furthermore, the lack of a standardized verification framework makes it impossible to generate test data in batches or automatically compare results, resulting in a complex verification process.
[0032] To address the aforementioned drawbacks, this application proposes a verification method and system for nuclear reaction control operators based on fuzzy data testing, which aims to improve the automation level of nuclear reaction control operator verification, increase verification sufficiency and accuracy, reduce verification manpower, shorten verification cycle, simplify verification process, and reduce verification cost.
[0033] Figure 1 A flowchart illustrating a verification method for a nuclear reaction control operator based on fuzzy data testing, according to an embodiment of this application, is shown. Figure 1 As shown, the method in this embodiment includes steps S110 to S130.
[0034] Step S110: Receive a verification request and determine the kernel reaction control operator class to be verified based on the verification request.
[0035] There are hundreds of nuclear reaction control operators. Verification of these operators can be performed on one or more classes, or on all classes, depending on the specific needs of the personnel. Therefore, the system can receive verification requests from personnel, which must include at least the identifier of the nuclear reaction control operator class to be verified.
[0036] In some cases, each nuclear reaction control operator class can have a specific identifier to distinguish it from other nuclear reaction control operator classes. For example, each nuclear reaction control operator class can correspond to a unique name and / or a unique code. The verification request can include at least a unique name and / or a unique code to identify the nuclear reaction control operator class to be verified.
[0037] Step S120: Determine the corresponding target nuclear reaction control operator verification main program among multiple nuclear reaction control operator verification main programs according to the nuclear reaction control operator class to be verified, and configure the target nuclear reaction control operator verification main program call in the main verification program; wherein, multiple nuclear reaction control operator verification main programs all use fuzzy data testing.
[0038] After determining the kernel reaction control operator class to be verified, it is matched against multiple pre-prepared kernel reaction control operator verification main programs to select the target kernel reaction control operator verification main program corresponding to the kernel reaction control operator class. The target kernel reaction control operator verification main program is then used to configure the main verification program so that, when the main verification program is executed, it can verify the kernel reaction control operator class to be verified.
[0039] Multiple kernel reaction control operator verification main programs can be prepared in advance before configuration. Each kernel reaction control operator verification main program can verify the corresponding kernel reaction control operator class when it is called. Each kernel reaction control operator verification main program uses fuzzy data testing.
[0040] Step S130: Receive the execution request, execute the main verification program according to the execution request, and output the verification result in real time during the execution of the main verification program.
[0041] Once the main verification program is configured, it can receive execution requests from personnel, thus initiating its execution. As the main verification program executes, the main program, configured within it, sequentially verifies the corresponding kernel reaction control operator classes to be verified.
[0042] During the execution of the main verification program, the verification results that personnel need to view can be output in real time. For example, the verification results can be printed to a specified file in a programmable format. The verification results may include, but are not limited to, comparison success, comparison failure, performance results, and verification data involved in the verification process.
[0043] from Figure 1As shown in the method, the verification method for nuclear reaction control operators based on fuzzy data testing provided in this application first receives a verification request and determines the nuclear reaction control operator class to be verified based on the verification request; then, based on the nuclear reaction control operator class to be verified, it determines the corresponding target nuclear reaction control operator verification main program among multiple nuclear reaction control operator verification main programs, and configures the target nuclear reaction control operator verification main program to be called in the main verification program; wherein, all multiple nuclear reaction control operator verification main programs adopt fuzzy testing; finally, it receives an execution request, executes the main verification program according to the execution request, and outputs the verification results in real time during the execution of the main verification program. The method provided in this application has the following advantages: Automated verification: By calling the target nuclear reaction control operator verification main program through the main verification program, the verification process is automatically executed, realizing automated verification of the nuclear reaction control operator class to be verified and reducing manual intervention. Big data verification: By replacing manual test case design with fuzzy data testing, the boundary condition coverage is improved, and the sufficiency requirements of nuclear reaction control operator verification are met.
[0044] The present application will be described in detail below through specific embodiments.
[0045] Figure 2 A flowchart illustrating a verification method for a nuclear reaction control operator based on fuzzy data testing, according to another embodiment of this application, is shown. Figure 2 As shown, the method in this embodiment includes steps S201 to S208.
[0046] Step S201: For each nuclear reaction control operator, establish a nuclear reaction control operator verification subroutine framework.
[0047] For each nuclear reaction control operator, a verification subroutine framework is established. This framework includes at least the following: a variable initialization subroutine, a fuzzy input data generation subroutine, a comparison verification subroutine, and a performance verification subroutine.
[0048] Step S202: Configure the variable initialization subframe to initialize variables and data structures; configure the fuzzy input data generation subframe to generate random verification input data; configure the comparison verification subframe to compare and verify the kernel reaction control operator and the reference model; configure the performance verification subframe to verify the performance of the kernel reaction control operator and the reference model; define the processing interface and encapsulate the kernel reaction control operator verification subroutine.
[0049] The variable initialization subframework can be used to initialize variables and data structures. Specifically, the variable initialization subframework is configured, including defining the kernel reaction control operator and the input and output structures of the reference model that have the same function as the kernel reaction control operator.
[0050] The fuzzy input data generation subframework can be used to generate random validation input data. Specifically, the fuzzy input data generation subframework is configured, including: identifying data types, controlling the random range, and defining the generated random validation input data. It automatically identifies data types and controls the random range to provide fuzzy random data input values with a controllable range, covering normal values, outliers, and boundary values to meet validation adequacy requirements. The random validation input data can support the highest precision range of the validation environment.
[0051] The comparison and verification subframework can be used to compare and verify the nuclear reaction control operator and the reference model. Specifically, the comparison and verification subframework is configured as follows: it calls the nuclear reaction control operator, inputs verification input data, and receives the verification output result; it calls the reference model with the same function as the nuclear reaction control operator, inputs verification input data, and receives the reference output result; it compares the differences between the verification output result and the reference output result and outputs the comparison result. The comparison result format is defined, allowing for programmable definition of the paradigm and format of the comparison result. By comparing and verifying the nuclear reaction control operator and the reference model, the accuracy of verification is improved. The reference model with the same function as the nuclear reaction control operator can be a model with corresponding computational functions generated by industrial software such as SCADE.
[0052] The performance verification subframework can be used to verify the performance of kernel reaction control operators. Specifically, the performance verification subframework is configured to include: calculating the total time spent by the kernel reaction control operator during comparison verification; calculating the average time spent by the kernel reaction control operator during comparison verification based on the number of verifications and the total time spent; determining the performance of the kernel reaction control operator based on the average time spent and outputting the performance results. Performance data of the kernel reaction control operator is recorded in CPU clock cycles. The performance result format is defined, allowing for programmable definition of the paradigm and format of the performance results.
[0053] By processing interface definitions and encapsulation, a kernel reaction control operator verification subroutine is formed.
[0054] The following code snippet demonstrates a verification subroutine for the time-dependent TLCC kernel reaction control operator for analog quantities.
[0055] void test_TLCC_ANA_TIME_DEPENDENT()
[0056]
[0057]
[0058] Figure 3This diagram illustrates the execution flow of the nuclear reaction control operator verification subroutine in an embodiment of the verification method for nuclear reaction control operators based on fuzzy data testing proposed in this application. According to... Figure 3 As shown, the execution flow of the nuclear reaction control operator verification subroutine includes steps S301 to S310.
[0059] start.
[0060] Step S301: Initialize variables and data structures. Proceed to step S302.
[0061] Step S302: Randomly generate verification input data. Proceed to steps S303 and S304.
[0062] Step S303: Invoke the nuclear reaction control operator, pass in the verification input data and receive the verification output result. Proceed to step S305.
[0063] Step S304: Call the reference model, which has the same function as the nuclear reaction control operator, input the verification input data, and receive the reference output result. Proceed to step S305.
[0064] Step S305: Determine whether the verification output result and the reference output result are consistent. If they are consistent, proceed to step S306; if they are inconsistent, proceed to step S307.
[0065] Step S306: Record and output the successful comparison result. Proceed to step S308.
[0066] Step S307: Record and output the comparison failure results. Proceed to step S308.
[0067] Step S308: Determine if the required number of verifications has been reached. If yes, proceed to step S309; otherwise, proceed to step S302.
[0068] Step S309: Calculate the total time consumed by the nuclear reaction control operator during comparison verification. Based on the number of verifications and the total time consumed, calculate the average time consumed by the nuclear reaction control operator during comparison verification. Determine the performance of the nuclear reaction control operator based on the average time consumed. Proceed to step S310.
[0069] Step S310: Record and output the performance results.
[0070] Finish.
[0071] Step S203: Register each nuclear reaction control operator verification subroutine to the corresponding nuclear reaction control operator verification main program according to the category to which each nuclear reaction control operator verification subroutine belongs.
[0072] After each nuclear reaction control operator verification subroutine is configured, it is registered in the main nuclear reaction control operator verification program to which each subroutine belongs. This method of registering individual nuclear reaction control operator verification subroutines simplifies the verification mechanism for adding new subroutines.
[0073] The following code snippet demonstrates how a time-dependent TLCC nuclear reaction control operator verification subroutine is registered to its parent nuclear reaction control operator verification main program.
[0074]
[0075] Step S204: Receive a verification request and determine the kernel reaction control operator class to be verified based on the verification request.
[0076] The recipient sends a verification request, which includes at least the identity identifier of the kernel reaction control operator class that needs to be verified.
[0077] For example, if personnel need to verify an analog time-dependent nuclear reaction control operator class with a unique name "ANA_TIME_DEPENDENT", the verification request can include at least "ANA_TIME_DEPENDENT" to identify the analog time-dependent nuclear reaction control operator class to be verified.
[0078] Step S205: Determine the corresponding target nuclear reaction control operator verification main program among multiple nuclear reaction control operator verification main programs according to the nuclear reaction control operator class to be verified.
[0079] Based on multiple pre-configured main programs for verifying nuclear reaction control operators, the classes of nuclear reaction control operators to be verified are matched against these main programs to select the corresponding target main programs. Each main program for verifying nuclear reaction control operators registers at least one subroutine for verifying nuclear reaction control operators.
[0080] For example, for the analog time-dependent nuclear reaction control operator class to be verified, its unique name "ANA_TIME_DEPENDENT" is matched with multiple pre-configured nuclear reaction control operator verification main programs to determine the target nuclear reaction control operator verification main program "ANA_TIME_DEPENDENT".
[0081] Step S206: Establish the main verification program framework.
[0082] The main verification program framework includes at least the following: resource initialization subframework, kernel reaction control operator verification main program call subframework, and resource release subframework.
[0083] Step S207: Configure the resource initialization subframe to initialize resources; configure the kernel reaction control operator verification main program call subframe to call the target kernel reaction control operator verification main program; configure the resource release subframe to release resources; define the processing interface and encapsulate the main verification program.
[0084] The resource initialization subframework can be configured to define global initialization. The kernel reaction control operator verification main program call subframework can be configured to define the target kernel reaction control operator verification main program. The resource release subframework can be configured to define global cleanup. The main verification program is formed through interface definition and encapsulation.
[0085] The following code snippet demonstrates the main verification procedure.
[0086]
[0087]
[0088] Step S208: Receive the execution request, execute the main verification program according to the execution request, and output the verification result in real time during the execution of the main verification program.
[0089] Upon receiving an execution request from personnel, the main verification program begins execution. The target nuclear reaction control operator verification main program (including registered nuclear reaction control operator verification subroutines), configured within the main verification program, verifies the corresponding nuclear reaction control operator class to be verified and outputs the verification results in real time. The verification results are printed to a specified file in a programmable format.
[0090] Figure 4 This diagram illustrates the execution flow of the main verification program for a verification method of a nuclear reaction control operator based on fuzzy data testing, according to an embodiment of this application. According to... Figure 4 As shown, the execution flow of the main verification procedure includes steps S401 to S404.
[0091] start.
[0092] Step S401, global initialization. Proceed to step S402.
[0093] Step S402: Call the main program for verifying the target nuclear reaction control operator class to be verified, and print the verification results to the specified file in real time. Proceed to step S403.
[0094] Step S403, global release.
[0095] Finish.
[0096] In the verification of core domain operators for a certain DCS system, the verification of 200 core reaction control operators was completed. Conventional manual testing methods required approximately 3 people and 30 days to complete this task. However, the verification method for core reaction control operators based on fuzzy data testing proposed in this application reduced this time to approximately 1 person and 5 days. The verification method for core reaction control operators based on fuzzy data testing proposed in this application significantly improves verification efficiency and accuracy, reduces human error and manpower input, and enables the identification of the causes of failures, facilitating subsequent improvements.
[0097] Figure 5 A schematic diagram of the structure of a verification system for a nuclear reaction control operator based on fuzzy data testing, according to an embodiment of this application, is shown. Figure 5 As shown, the system 500 includes:
[0098] The request receiving unit 510 is used to receive verification requests and determine the kernel reaction control operator class to be verified based on the verification requests.
[0099] The main verification program configuration unit 520 is used to determine the corresponding target nuclear reaction control operator verification main program among multiple nuclear reaction control operator verification main programs according to the nuclear reaction control operator class to be verified, and to configure the target nuclear reaction control operator verification main program call in the main verification program; wherein, multiple nuclear reaction control operator verification main programs all adopt fuzzy data testing;
[0100] The execution verification unit 530 is used to receive execution requests, execute the main verification program according to the execution requests, and output the verification results in real time during the execution of the main verification program.
[0101] In some embodiments of this application, the system 500 further includes: a nuclear reaction control operator verification main program configuration unit; the nuclear reaction control operator verification main program configuration unit includes: a nuclear reaction control operator verification subroutine configuration module, used to configure a nuclear reaction control operator verification subroutine for each nuclear reaction control operator; and a nuclear reaction control operator verification subroutine registration module, used to register each nuclear reaction control operator verification subroutine to the corresponding nuclear reaction control operator verification main program according to the category to which each nuclear reaction control operator verification subroutine belongs.
[0102] In some embodiments of this application, the nuclear reaction control operator verification subroutine configuration module includes: a nuclear reaction control operator verification subroutine framework establishment submodule, used to establish a nuclear reaction control operator verification subroutine framework for each nuclear reaction control operator, wherein the nuclear reaction control operator verification subroutine framework includes: a variable initialization subframe, a fuzzy input data generation subframe, a comparison verification subframe, and a performance verification subframe; a variable initialization subframe configuration submodule, used to configure the variable initialization subframe to initialize variables and data structures; a fuzzy input data generation subframe configuration submodule, used to configure the fuzzy input data generation subframe to generate random verification input data; a comparison verification subframe configuration submodule, used to configure the comparison verification subframe to perform comparison verification of the nuclear reaction control operator and a reference model; a performance verification subframe configuration submodule, used to configure the performance verification subframe to perform performance verification of the nuclear reaction control operator; and a nuclear reaction control operator verification subroutine encapsulation submodule, used to define processing interfaces and encapsulate the nuclear reaction control operator verification subroutine.
[0103] In some embodiments of this application, the variable initialization subframe configuration submodule is specifically used to define the input and output structures of the nuclear reaction control operator and the reference model; the fuzzy input data generation subframe configuration submodule is specifically used to identify data types, control the random range, and define the generation of random verification input data; the comparison verification subframe configuration submodule is specifically used to call the nuclear reaction control operator, pass in the verification input data and receive the verification output result, call the reference model, pass in the verification input data and receive the reference output result, compare the difference between the verification output result and the reference output result and output the comparison result; the performance verification subframe configuration submodule is specifically used to calculate the total time consumed by the nuclear reaction control operator during comparison verification, calculate the average time consumed by the nuclear reaction control operator during comparison verification based on the number of verifications and the total time consumed, determine the performance of the nuclear reaction control operator based on the average time consumed and output the performance result.
[0104] In some embodiments of this application, the execution flow of the nuclear reaction control operator verification subroutine includes: initializing variables and data structures; generating random verification input data; calling the nuclear reaction control operator, passing in the verification input data and receiving the verification output result; calling the reference model, passing in the verification input data and receiving the reference output result; determining whether the comparison verification output result and the reference output result are consistent; if consistent, recording and outputting the comparison success result; if inconsistent, recording and outputting the comparison failure result; determining whether the verification count has been reached; if not, generating random verification input data again; if yes, calculating the total time consumed by the nuclear reaction control operator during comparison verification, calculating the average time consumed by the nuclear reaction control operator during comparison verification based on the verification count and the total time consumed, determining the performance of the nuclear reaction control operator based on the average time consumed; and recording and outputting the performance result.
[0105] In some embodiments of this application, the main verification program configuration unit 520 includes: a main verification program framework establishment module, used to establish a main verification program framework, wherein the main verification program framework includes: a resource initialization subframe, a nuclear reaction control operator verification main program invocation subframe, and a resource release subframe; a resource initialization subframe configuration module, used to configure the resource initialization subframe to initialize resources; a nuclear reaction control operator verification main program invocation subframe configuration module, used to configure the nuclear reaction control operator verification main program invocation subframe to invoke the target nuclear reaction control operator verification main program; a resource release subframe configuration module, used to configure the resource release subframe to release resources; and a main verification program encapsulation module, used to define processing interfaces and encapsulate the main verification program.
[0106] In some embodiments of this application, the execution flow of the main verification program includes: global initialization; calling the main program for verifying the target kernel reaction control operator to be verified; global release; and printing the verification results to a specified file in real time.
[0107] It should be noted that the verification system 500 for the nuclear reaction control operator based on fuzzy data testing can implement the aforementioned verification method for the nuclear reaction control operator based on fuzzy data testing, which will not be elaborated further.
[0108] Figure 6 This application shows a schematic diagram of the structure of a computer device according to one embodiment of the present application. Figure 6 As shown, the internal structure of this computer device may include a processor, memory, network interface, and database connected via a system bus. The processor provides computational and control capabilities. The memory includes non-volatile and / or volatile storage media and internal memory. The non-volatile storage media stores the operating system, computer programs, and database. The internal memory provides an environment for the operation of the operating system and computer programs stored in the non-volatile storage media. The network interface is used for communication with external devices via a network connection. When the computer program is executed by the processor, it implements the functions or steps of a verification method for nuclear reaction control operators based on fuzzy data testing.
[0109] In one embodiment, the computer device provided in this application includes a memory and a processor. The memory stores a database and a computer program that can run on the processor. When the processor executes the computer program, it performs the following steps:
[0110] Receive a verification request and determine the kernel reaction control operator class to be verified based on the verification request;
[0111] Based on the nuclear reaction control operator class to be verified, the corresponding target nuclear reaction control operator verification main program is determined among multiple nuclear reaction control operator verification main programs, and the target nuclear reaction control operator verification main program call configuration is configured in the main verification program; among them, multiple nuclear reaction control operator verification main programs all use fuzzy data testing;
[0112] Receive execution requests, execute the main verification program according to the execution requests, and output the verification results in real time during the execution of the main verification program.
[0113] In one embodiment, a computer-readable storage medium is also provided, on which a computer program is stored, the computer program performing the following steps when executed by a processor:
[0114] Receive a verification request and determine the kernel reaction control operator class to be verified based on the verification request;
[0115] Based on the nuclear reaction control operator class to be verified, the corresponding target nuclear reaction control operator verification main program is determined among multiple nuclear reaction control operator verification main programs, and the target nuclear reaction control operator verification main program call configuration is configured in the main verification program; among them, multiple nuclear reaction control operator verification main programs all use fuzzy data testing;
[0116] Receive execution requests, execute the main verification program according to the execution requests, and output the verification results in real time during the execution of the main verification program.
[0117] It should be noted that the functions or steps that can be implemented by the computer device or computer-readable storage medium described above can be referred to the relevant descriptions in the foregoing method embodiments. To avoid repetition, they will not be described one by one here.
[0118] Those skilled in the art will understand that all or part of the processes in the methods of the above embodiments can be implemented by a computer program instructing related hardware. The computer program can be stored in a non-volatile computer-readable storage medium. When executed, the computer program can include the processes of the embodiments of the above methods. Any references to memory, storage, databases, or other media used in the embodiments provided in this application can include non-volatile and / or volatile memory. Non-volatile memory may include read-only memory (ROM), programmable ROM (PROM), electrically programmable ROM (EPROM), electrically erasable programmable ROM (EEPROM), or flash memory. Volatile memory may include random access memory (RAM) or external cache memory. By way of illustration and not limitation, RAM is available in a variety of forms, such as static RAM (SRAM), dynamic RAM (DRAM), synchronous DRAM (SDRAM), dual data rate SDRAM (DDRSDRAM), enhanced SDRAM (ESDRAM), synchronous link DRAM (SLDRAM), RAMbus direct RAM (RDRAM), direct memory bus dynamic RAM (DRDRAM), and memory bus dynamic RAM (RDRAM), etc.
[0119] Those skilled in the art will clearly understand that, for the sake of convenience and brevity, the above-described division of functional units and modules is used as an example. In practical applications, the above functions can be assigned to different functional units and modules as needed, that is, the internal structure of the system can be divided into different functional units or modules to complete all or part of the functions described above.
[0120] The above-described embodiments are only used to illustrate the technical solutions of the present invention, and are not intended to limit it. Although the present invention has been described in detail with reference to the foregoing embodiments, those skilled in the art should understand that modifications can still be made to the technical solutions described in the foregoing embodiments, or equivalent substitutions can be made to some of the technical features. Such modifications or substitutions do not cause the essence of the corresponding technical solutions to deviate from the spirit and scope of the technical solutions of the embodiments of the present invention, and should all be included within the protection scope of the present invention.
Claims
1. A verification method for a kernel reaction control operator based on fuzzy data testing, characterized in that, The method includes: Receive a verification request and determine the kernel reaction control operator class to be verified based on the verification request; Based on the nuclear reaction control operator class to be verified, the corresponding target nuclear reaction control operator verification main program is determined among multiple nuclear reaction control operator verification main programs, and the target nuclear reaction control operator verification main program call configuration is configured in the main verification program; among them, multiple nuclear reaction control operator verification main programs all use fuzzy data testing; Receive execution requests, execute the main verification program according to the execution requests, and output the verification results in real time during the execution of the main verification program.
2. The verification method for the nuclear reaction control operator based on fuzzy data testing according to claim 1, characterized in that, Before the step of receiving the verification request, the method further includes: Configure a nuclear reaction control operator verification subroutine for each nuclear reaction control operator; Each nuclear reaction control operator verification subroutine is registered with the corresponding nuclear reaction control operator verification main program according to its category.
3. The verification method for the nuclear reaction control operator based on fuzzy data testing according to claim 2, characterized in that, The configuration of a nuclear reaction control operator verification subroutine for each nuclear reaction control operator includes: For each nuclear reaction control operator, a verification subroutine framework for the nuclear reaction control operator is established; the verification subroutine framework for the nuclear reaction control operator includes: variable initialization subframe, fuzzy input data generation subframe, comparison verification subframe, and performance verification subframe. Configure the variable initialization subframe to initialize variables and data structures; Configure the fuzzy input data generation subframe to generate random validation input data; Configure the comparison and verification subframework to compare and verify the nuclear reaction control operator and the reference model; Configure the performance verification subframework to perform performance verification on the kernel reaction control operator; Define the processing interface and encapsulate the kernel reaction control operator verification subroutine.
4. The verification method for the nuclear reaction control operator based on fuzzy data testing according to claim 3, characterized in that, The configuration of the variable initialization subframework includes: defining the input and output structures of the kernel reaction control operator and the reference model; The configuration of the fuzzy input data generation subframe includes: identifying data types, controlling the random range, and defining the generation of random verification input data; The configuration of the comparison and verification subframework includes: calling the kernel reaction control operator, passing in the verification input data and receiving the verification output result, calling the reference model, passing in the verification input data and receiving the reference output result, comparing the difference between the verification output result and the reference output result and outputting the comparison result; The configuration of the performance verification subframework includes: calculating the total time consumed by the kernel reaction control operator during comparative verification, calculating the average time consumed by the kernel reaction control operator during comparative verification based on the number of verifications and the total time consumed, determining the performance of the kernel reaction control operator based on the average time consumed, and outputting the performance results.
5. The verification method for the nuclear reaction control operator based on fuzzy data testing according to claim 2, characterized in that, The execution flow of the nuclear reaction control operator verification subroutine includes: Initialize variables and data structures; Generate random validation input data; Invoke the nuclear reaction control operator, pass in the verification input data and receive the verification output result; Call the reference model, pass in the validation input data, and receive the reference output result; Determine whether the output result is consistent with the reference output result; If they match, record and output the successful comparison result; If there is a discrepancy, record and output the comparison failure result; Determine if the required number of verifications has been reached; If not, generate random validation input data again; If so, the total time consumed by the nuclear reaction control operator during comparison verification is statistically analyzed. The average time consumed by the nuclear reaction control operator during comparison verification is calculated based on the number of verifications and the total time consumed. The performance of the nuclear reaction control operator is determined based on the average time consumed. Record and output the performance results.
6. The verification method for the nuclear reaction control operator based on fuzzy data testing according to claim 1, characterized in that, The step of configuring the main verification program call for the target nuclear reaction control operator verification includes: Establish the main verification procedure framework; The main verification program framework includes: a resource initialization subframe, a kernel reaction control operator verification main program call subframe, and a resource release subframe. Configure the resource initialization subframe to initialize resources; Configure the subframework for calling the main program of the nuclear reaction control operator verification to call the target nuclear reaction control operator verification main program; Configure the resource release subframework to release resources; Define the processing interface and encapsulate the main verification program.
7. The verification method for the kernel reaction control operator based on fuzzy testing according to claim 1, characterized in that, The execution flow of the main verification program includes: Global initialization; The main program for verifying the target nuclear reaction control operator is invoked to verify the nuclear reaction control operator class to be verified. Global release; The verification results will be printed to the specified file in real time.
8. A verification system for a kernel reaction control operator based on fuzzy testing, characterized in that, The system includes: The request receiving unit is used to receive verification requests and determine the kernel reaction control operator class to be verified based on the verification requests. The main verification program configuration unit is used to determine the corresponding target nuclear reaction control operator verification main program among multiple nuclear reaction control operator verification main programs based on the nuclear reaction control operator class to be verified, and to configure the target nuclear reaction control operator verification main program call in the main verification program; wherein, multiple nuclear reaction control operator verification main programs all use fuzzy data testing; The execution verification unit is used to receive execution requests, execute the main verification program according to the execution requests, and output the verification results in real time during the execution of the main verification program.
9. A computer device comprising a memory, a processor, and a computer program stored in the memory and executable on the processor, characterized in that, When the processor executes the computer program, it implements the steps of the verification method for the nuclear reaction control operator based on fuzz testing as described in any one of claims 1 to 7.
10. A computer-readable storage medium storing a computer program, characterized in that, When the computer program is instructed by the processor, it implements the steps of the verification method for the nuclear reaction control operator based on fuzz testing as described in any one of claims 1 to 7.