Development scheme verification method and device, computer equipment and storage medium

Abstract

The invention relates to a verification method and device of a development scheme, computer equipment and a storage medium. The method comprises the following steps: acquiring development demand information for a nuclear power model to be developed and development function information in a development scheme determined based on the development demand information; according to the development function information, a system modeling language SysML is adopted to model a development function of the nuclear power model to be developed, and a simulation function system of the nuclear power model to be developed is obtained; and adopting SysML to simulate the simulation function system, and verifying the development scheme according to a simulation result and the development demand information. By adopting the method, the development scheme of the nuclear power model can be quickly verified.

Description

Technical Field

[0001] The present application relates to the field of nuclear power technology, and in particular to a verification method, device, computer equipment and storage medium for a development plan. Background Art

[0002] A nuclear power plant is a very complex and large system. In the overall design stage of a new model, there are many technical difficulties, such as vague development requirements, missing design inputs, low maturity of key technologies, and long R&D cycles. Model-Based Systems Engineering (MBSE) is a model-based digital design method. Compared with the previous document-based design method, this method can establish a traceability relationship between requirements and functions through digital models, thereby realizing early verification of functional design based on digital models to confirm whether the overall design work meets the model development requirements.

[0003] When designing functions, it is necessary to ensure that in the development plan of nuclear power models, all development requirements can be implemented into specific functional designs. At the same time, it is also necessary to ensure the logic of functional designs at all levels to avoid circular dependencies between inputs and outputs of functional designs at all levels, otherwise the functional design will not be able to proceed normally. Therefore, a method that can quickly verify the functional design of nuclear power models is urgently needed. Summary of the invention

[0004] Based on this, it is necessary to provide a verification method, device, computer equipment and storage medium for the development plan of the functional design of nuclear power models, which can quickly verify the above-mentioned technical problems.

[0005] In a first aspect, the present application provides a method for verifying a development solution, comprising:

[0006] Acquire development requirement information for the nuclear power model to be developed and development function information in the development plan determined based on the development requirement information;

[0007] According to the development function information, the development function of the nuclear power model to be developed is modeled using the system modeling language SysML to obtain a simulation function system of the nuclear power model to be developed;

[0008] The simulation function system is simulated using SysML, and the development plan is verified based on the simulation results and the development requirement information.

[0009] In one of the embodiments, the development function includes at least two types of development functions, and the at least two types of development functions include operation type development functions and security type development functions;

[0010] The development function information includes function data corresponding to each type of development function; the function data corresponding to each type of development function includes function parameters of each development function under this type of development function and the association relationship between each development function.

[0011] In one embodiment, the development function of the proposed nuclear power model is modeled using the system modeling language SysML according to the development function information to obtain a simulation function system of the proposed nuclear power model, including:

[0012] For each type of development function, SysML is used to create activities corresponding to each development function according to the functional parameters of each development function under this type of development function;

[0013] Create control flows and object flows between activities based on the relationships between development functions;

[0014] According to the activities corresponding to each development function, as well as the control flow and object flow between each activity, a simulation function system corresponding to this type of development function is created.

[0015] In one embodiment, the use of SysML to simulate the simulation function system and verifying the development plan according to the simulation result and the development requirement information includes:

[0016] Using SysML, simulate the simulation function system corresponding to various development functions to obtain the simulation results corresponding to various development functions;

[0017] Verify the correctness of the development plan based on the simulation results corresponding to various development functions;

[0018] SysML is used to verify the completeness of the development plan based on the development requirement information.

[0019] In one embodiment, the correctness verification of the development plan according to the simulation results corresponding to the various development functions includes:

[0020] If, according to the simulation results corresponding to the various development functions, it is determined that the simulation process of the simulation function system corresponding to the various development functions is successfully completed, then it is determined that the development plan is correct;

[0021] If it is determined based on the simulation results corresponding to various development functions that the simulation process of the simulation function system corresponding to any type of development function is abnormally interrupted, a correctness exception report is generated based on the simulation results corresponding to the type of development function.

[0022] In one embodiment, the development requirement information includes at least two development requirements; and the using SysML to perform completeness verification on the development solution according to the development requirement information includes:

[0023] Use SysML to build a functional requirement tracking matrix based on each development requirement and each development function;

[0024] The development plan is verified for completeness based on the tracking relationship between development functions and development requirements in the functional requirement tracking matrix.

[0025] In one embodiment, the completeness verification of the development plan of the proposed nuclear power model according to the tracking relationship between the development function and the development requirement in the functional requirement tracking matrix includes:

[0026] If each development requirement has a traceability relationship with at least one development function, then the development plan is determined to be complete;

[0027] If there is any development requirement for which there is no development function with a traceability relationship, a completeness exception report is generated based on the development requirement.

[0028] In a second aspect, the present application also provides a verification device for a development solution, including:

[0029] An information acquisition module, used to acquire development requirement information for a nuclear power model to be developed and development function information in a development plan determined based on the development requirement information;

[0030] A system modeling module, used to model the development function of the nuclear power model to be developed using the system modeling language SysML according to the development function information, so as to obtain a simulation function system of the nuclear power model to be developed;

[0031] The solution verification module is used to simulate the simulation function system using SysML, and verify the development solution according to the simulation result and the development requirement information.

[0032] In a third aspect, the present application further provides a computer device, including a memory and a processor, wherein the memory stores a computer program, and when the processor executes the computer program, the following steps are implemented:

[0033] Acquire development requirement information for the nuclear power model to be developed and development function information in the development plan determined based on the development requirement information;

[0034] According to the development function information, the development function of the nuclear power model to be developed is modeled using the system modeling language SysML to obtain a simulation function system of the nuclear power model to be developed;

[0035] The simulation function system is simulated using SysML, and the development plan is verified based on the simulation results and the development requirement information.

[0036] In a fourth aspect, the present application further provides a computer-readable storage medium having a computer program stored thereon, wherein when the computer program is executed by a processor, the following steps are implemented:

[0037] Acquire development requirement information for the nuclear power model to be developed and development function information in the development plan determined based on the development requirement information;

[0038] According to the development function information, the development function of the nuclear power model to be developed is modeled using the system modeling language SysML to obtain a simulation function system of the nuclear power model to be developed;

[0039] The simulation function system is simulated using SysML, and the development plan is verified based on the simulation results and the development requirement information.

[0040] In a fifth aspect, the present application further provides a computer program product, including a computer program, which implements the following steps when executed by a processor:

[0041] Acquire development requirement information for the nuclear power model to be developed and development function information in the development plan determined based on the development requirement information;

[0042] According to the development function information, the development function of the nuclear power model to be developed is modeled using the system modeling language SysML to obtain a simulation function system of the nuclear power model to be developed;

[0043] The simulation function system is simulated using SysML, and the development plan is verified based on the simulation results and the development requirement information.

[0044] The verification method, device, computer equipment and storage medium of the above development plan obtain the development requirement information for the nuclear power model to be developed and the development function information in the development plan determined based on the development requirement information, and according to the development function information, use the system modeling language SysML to model the development function of the nuclear power model to be developed, so as to obtain the simulation function system of the nuclear power model to be developed; further, use SysML to simulate the simulation function system, and verify the development plan according to the simulation results and the development requirement information. The above scheme, by introducing the system modeling language SysML, models the development function, and obtains the simulation function system of the nuclear power model to be developed. Further, by simulating the simulation function system, the accuracy of the obtained simulation function system is guaranteed; at the same time, by introducing SysML, a method for quickly verifying the development plan of a nuclear power model is provided. BRIEF DESCRIPTION OF THE DRAWINGS

[0045] In order to more clearly illustrate the technical solutions in the embodiments of the present application or the related technologies, the drawings required for use in the embodiments or the related technical descriptions are briefly introduced below. Obviously, the drawings described below are only some embodiments of the present application. For ordinary technicians in this field, other drawings can be obtained based on these drawings without paying creative work.

[0046] Figure 1 An application environment diagram of a verification method for a development solution in an embodiment;

[0047] Figure 2 A schematic diagram of a flow chart of a verification method for a development scheme in an embodiment;

[0048] Figure 3 A schematic diagram of a process for constructing a simulation function system in one embodiment;

[0049] Figure 4 A schematic diagram of a process for verifying a development solution in an embodiment;

[0050] Figure 5 A schematic diagram of a process for verifying the completeness of a development solution in one embodiment;

[0051] Figure 6 A schematic diagram of a process for verifying the completeness of a development solution in another embodiment;

[0052] Fig. 7A is an activity diagram corresponding to Example 1 in an embodiment;

[0053] Figure 7B is an activity diagram corresponding to Example 2 in an embodiment;

[0054] Figure 7Cis another activity diagram corresponding to Example 2 in an embodiment;

[0055] Fig. 8A It is a necessary information diagram of the functional requirement traceability matrix in an embodiment;

[0056] Figure 8B An example diagram of a functional requirement traceability matrix in one embodiment;

[0057] Figure 8C It is an example diagram of the tracing result of the functional requirement tracing matrix in one embodiment;

[0058] Fig. 9 A schematic flow chart of a verification method for a development scheme in another embodiment;

[0059] Fig.10 A structural block diagram of a verification device for a development scheme in an embodiment;

[0060] Fig.11 FIG. 4 is a diagram showing the internal structure of a computer device in one embodiment. DETAILED DESCRIPTION

[0061] In order to make the purpose, technical solution and advantages of the present application more clearly understood, the present application is further described in detail below in conjunction with the accompanying drawings and embodiments. It should be understood that the specific embodiments described herein are only used to explain the present application and are not used to limit the present application.

[0062] The verification method of the development solution provided in the embodiment of the present application can be applied to Figure 1 In the application environment shown. Among them, the terminal 101 communicates with the server 102 through the network. The data storage system can store the data that the server 102 needs to process. The data storage system can be integrated on the server 102, or it can be placed on the cloud or other network servers. Among them, the terminal 101 can be, but is not limited to, various personal computers, laptops, etc. The server 102 can be implemented with an independent server or a server cluster composed of multiple servers. The server 102 can be a background server of the terminal.

[0063] In one embodiment, Figure 2 As shown, a verification method for a development solution is provided, which is applied to Figure 1 The server in the example is used as an example to illustrate the specific steps:

[0064] S201, obtaining development requirement information for a nuclear power model to be developed and development function information in a development plan determined based on the development requirement information.

[0065] Among them, the nuclear power model to be developed is the nuclear power model to be developed; the development requirement information is the information obtained through a series of investigations, analyses and definitions to ensure that the design plan can meet the needs and expectations of users. The development plan is a plan formulated for the development of nuclear power models, which includes but is not limited to the functional information, performance information and interface information of the nuclear power model to be developed. The development function information represents the functions of the nuclear power model to be developed.

[0066] Optionally, it is possible to design development functions for the nuclear power model to be developed based on the development requirement information of the nuclear power model to be developed, based on MBSE, and in accordance with the overall design method of the "development requirements - life cycle - operating conditions - mode - function" process, and determine the development function information in the development plan.

[0067] S202, based on the development function information, the development function of the nuclear power model to be developed is modeled using the system modeling language SysML to obtain a simulation function system of the nuclear power model to be developed.

[0068] Among them, the development function is the function designed for the nuclear power model to be developed; the development function may include at least one type of development function, and each type of development function may include at least one development function; considering the general situation, the nuclear power model to be developed is to meet the various needs of users. In the embodiment of the present application, the development function may include at least two types of development functions, and the at least two types of development functions include but are not limited to operation development functions and safety development functions; it should be noted that the development function information includes the function data corresponding to each type of development function; the function data corresponding to each type of development function includes the function parameters of each development function under this type of development function and the association relationship between each development function. The simulation function system is a virtual function system for the development function of the nuclear power model to be developed. System Modeling Language (SysML) is a standard modeling language specially developed for system engineering applications.

[0069] Optionally, the development functions of the proposed nuclear power model can be modeled according to the development function information and the SysML modeling process, and a simulation function system of the proposed nuclear power model can be obtained.

[0070] Optionally, when the development functions include at least two types of development functions, it is necessary to create a simulation function system for each type of development function.

[0071] S203, using SysML, simulate the simulation function system and verify the development plan based on the simulation results and development requirement information.

[0072] Optionally, SysML is used to start the simulation process of the simulated functional system and obtain the simulation results. Furthermore, the simulation results can be compared with the development requirement information to verify whether the development plan achieves the expected results, thereby verifying the correctness and completeness of the development plan.

[0073] In the verification method of the above development plan, by obtaining the development requirement information for the nuclear power model to be developed and the development function information in the development plan determined based on the development requirement information, and based on the development function information, the system modeling language SysML is used to model the development function of the nuclear power model to be developed, so as to obtain the simulation function system of the nuclear power model to be developed; further, SysML is used to simulate the simulation function system, and the development plan is verified based on the simulation results and the development requirement information. The above scheme, by introducing the system modeling language SysML, models the development function, and obtains the simulation function system of the nuclear power model to be developed. Furthermore, by simulating the simulation function system, the accuracy of the obtained simulation function system is ensured; at the same time, by introducing SysML, a method for quickly verifying the development plan of a nuclear power model is provided.

[0074] Optionally, in one embodiment, Figure 3 As shown, a method for constructing a simulation function system is provided to refine the above S202, specifically comprising the following steps:

[0075] S301, for each type of development function, using SysML, according to the function parameters of each development function under the type of development function, create activities corresponding to each development function.

[0076] Among them, the functional parameters of each development function represent the design process and usage process of the development function.

[0077] Optionally, for each development function, based on the setting process of the SysML activity, an activity corresponding to each development function is created according to the functional parameters of each development function under this type of development function.

[0078] S302: Create control flows and object flows between activities according to the association relationship between the development functions.

[0079] Among them, the association relationship between each development function reflects the control relationship and logical relationship between each development function. The control flow describes the control relationship and flow order between each activity; the object flow is used to represent the edge where the object token flows from one node to another when the system is running.

[0080] Optionally, control flows and object flows may be set for activities with association relationships based on the association relationships between the development functions.

[0081] Exemplarily, for any type of development function, the activity corresponding to each development function is called according to the context of the next development function of this type of development function, and the SysML logic simulation function is used to create a control flow of the activity to associate the activities of the development functions, and the control flow points from the current development function to its subsequent development function; until all development function activities have been associated using the control flow.

[0082] For each development function, the input and output of the corresponding activity are displayed on the activity, and the object flow of the activity is created using the SysML modeling platform. The object flow is associated with the corresponding input and output, and the object flow points from the output of the development function to the input of the next development function.

[0083] S303: Create a simulation function system corresponding to the development function according to the activities corresponding to the development functions and the control flows and object flows between the activities.

[0084] Optionally, the activities corresponding to each development function, as well as the control flows and object flows between the activities, can be used as a simulation function system corresponding to the development function of this type.

[0085] In this embodiment, a method for creating a simulation function system corresponding to various development functions is described by introducing activities, control flows and object flows, thereby ensuring the accuracy of the determined simulation function system.

[0086] Optionally, in one embodiment, Figure 4 As shown, a method for verifying a development plan is provided to refine the above S203, specifically including the following steps:

[0087] S401, using SysML, simulate the simulation function system corresponding to each development function to obtain the simulation results corresponding to each development function.

[0088] Optionally, SysML is used to start the simulation process of the simulation function system corresponding to each development function, and the simulation records automatically saved by SysML are obtained as the simulation results corresponding to each development function.

[0089] Exemplarily, for any type of development function, the activity corresponding to each development function is called according to the context of the next development function of this type of development function, and the SysML logic simulation function is used to create a control flow of the activity diagram to associate functional activities, and the control flow points from the current function to its subsequent function; until all functional activities have been associated using the control flow.

[0090] S402, verifying the correctness of the development plan based on the simulation results corresponding to various development functions.

[0091] Optionally, the correctness of the development plan is verified to ensure the logic and feasibility of the development functions in the development plan.

[0092] Optionally, if the simulation process of the simulation function system corresponding to each development function is successfully completed according to the simulation results corresponding to each development function, then the development plan is determined to be correct. In other words, if each development function is logical and feasible, then the development plan can be determined to be correct.

[0093] Optionally, if it is determined based on the simulation results corresponding to various types of development functions that the simulation process of the simulation function system corresponding to any type of development function is abnormally interrupted, a correctness exception report is generated based on the simulation results corresponding to the development function of that type. In other words, if there is any type of development function that is logically incoherent or there is a dependency between the development functions, at this time, it is necessary to generate a correctness exception report based on the simulation results corresponding to the development function of that type, so that the staff can adjust the development functions under that type of development function based on the correctness exception report.

[0094] S403, using SysML, verifies the completeness of the development plan based on the development requirement information.

[0095] Optionally, the completeness verification of the development plan is to ensure that each development function in the development plan completely covers each development requirement in the development requirement information.

[0096] Optionally, SysML can be used to generate a requirement traceability matrix based on the development requirement information to ensure that the designed development solution fully covers the development requirements. If all requirements are fully covered, the development solution is complete.

[0097] In this embodiment, the feasibility and completeness of the development plan are ensured by respectively verifying the correctness and completeness of the development plan; at the same time, by introducing SysML and combining it with the development requirement report, the accuracy and comprehensiveness of the verification results are also ensured.

[0098] Optionally, the development requirement information involved in the above embodiment may include one development requirement, but considering the general situation, in order to meet the comprehensiveness and practicality of the nuclear power signal to be developed, in the embodiment of the present application, the development requirement information may include at least two development requirements; in this case, in one embodiment, Figure 5 As shown, a method for verifying the completeness of a development plan is provided, which specifically includes the following steps:

[0099] S501, using SysML, builds a functional requirement tracking matrix based on each development requirement and each development function.

[0100] Among them, the functional requirement traceability matrix is ​​a matrix built from functions and requirements to verify whether the requirements have been implemented.

[0101] Optionally, the SysML modeling platform can be used to create a requirement model based on the development requirement information of the nuclear power model to be developed, and a general matrix (DiagramMatrix) can be established based on the created requirement model, and the column element type of the general matrix can be set to Requirement, and the column element range can be set to model development requirements; further, the row element type of the general matrix can be set to Activity, and the row element range can be set to development function; finally, the relationship type of the general matrix can be set to Trace, the relationship direction can be set to from row to column, and the display element can be set to display all, so as to obtain the functional requirement tracking matrix.

[0102] S502, verify the completeness of the development plan based on the tracking relationship between the development functions and the development requirements in the functional requirement tracking matrix.

[0103] Optionally, on the configured functional requirement tracking matrix, determine whether there is a tracking relationship between the row element Activity and the column element Requirement, and establish the tracking relationship in the corresponding matrix square; further, after completing the tracking relationship between the row and column elements, determine the completeness of the development plan by checking whether there is a tracking relationship in a column corresponding to each column element Requirement.

[0104] In this embodiment, the functional requirement tracking matrix is ​​introduced, and the development plan is verified for completeness in combination with the tracking relationship between the development functions and the development requirements in the functional requirement tracking matrix, thereby ensuring the accuracy of the completeness verification result.

[0105] Optionally, in one embodiment, Figure 6 As shown, a method for verifying the completeness of a development plan is provided to refine the above S502, and specifically includes the following steps:

[0106] S601: If each development requirement has a traceability relationship with at least one development function, it is determined that the development plan is complete.

[0107] Optionally, if each development requirement has a tracking relationship with at least one development function, it means that the created simulation function system covers all development requirements, that is, the development function information in the determined development plan can meet all development requirements in the development requirement information, that is, the development plan is complete.

[0108] S602: If there is any development requirement for which there is no development function with a traceability relationship, a completeness exception report is generated according to the development requirement.

[0109] Among them, the completeness exception report is a report that records the abnormal situations that occur during the completeness verification of the development plan; in the embodiment of the present application, the completeness exception report includes but is not limited to the non-existence of development function development requirements with a tracking relationship, etc.

[0110] Optionally, if there is any development requirement that does not have a development function with a tracking relationship, it means that there is an uncovered development requirement, that is, the development function information in the development plan cannot fully meet the development requirement information. At this time, it is necessary to record the development requirements that do not have a development function with a tracking relationship, and generate a completeness exception report so that the staff can improve the development function information in the development plan based on the completeness exception report.

[0111] In this embodiment, whether the development plan is complete is determined based on whether each development requirement has a traceability relationship with at least one development function, thereby providing a method for completeness verification and ensuring the accuracy of the determined verification result.

[0112] Optionally, in one embodiment, a modeling process based on the SysML modeling platform is also provided in the design process of the development plan of a nuclear power model to be developed. The specific process is as follows:

[0113] 1) Analyze the model development requirements and the R&D experience of similar models to obtain the life cycle stages required for the nuclear power model to be developed. Use the SysML modeling platform to create the state of the nuclear power model to be developed, where the name of the state is set to the name of the life cycle stage.

[0114] 2) Analyze the life cycle and the applicable laws, regulations and design guidelines of the nuclear power model to be developed, obtain various operating conditions of the nuclear power model to be developed, and use the SysML modeling platform to create the state of the nuclear power model to be developed, where the name of the state is set to the name of the operating condition.

[0115] 3) Analyze the operating conditions, obtain the operating mode under the operating conditions and the initiating event under the accident conditions, and use the SysML modeling platform to create the state of the nuclear power model to be developed, where the name of the state is set to the name of the mode or the name of the initiating event.

[0116] 4) Perform functional analysis on each operating mode under operating conditions to obtain the top-level operating functions under each operating mode of the proposed nuclear power model, decompose each top-level operating function layer by layer to obtain the operating functions of the proposed nuclear power model, and use the SysML modeling platform to create activities corresponding to each operating function, where the name of the Activity is set to the name of the operating function.

[0117] 5) Conduct accident sequence analysis on each initiating event under accident conditions to obtain the top-level safety function of each initiating event of the proposed nuclear power model, decompose each top-level safety function layer by layer to obtain the safety function requirements of the proposed nuclear power model, and use the SysML modeling platform to create activities corresponding to each safety function, where the name of the Activity is set to the name of the safety function.

[0118] 6) Analyze the operation functions and security functions, obtain the parameters of each function, and use the SysML modeling platform to create the parameters of each function corresponding to the activity.

[0119] 7) Analyze the function parameters, obtain the direction information of each parameter, and use the SysML modeling platform to create the direction attribute of the parameter (Parameter) of each function corresponding to the activity (Activity).

[0120] 8) Analyze the operation functions and security functions to obtain the systems that perform each function. Use the SysML modeling platform to create corresponding swimlanes (Swimlane), where the name of the Represents of the swimlane (Swimlane) is set to the name of the system that performs each function.

[0121] Optionally, in one embodiment, in order to more clearly explain the verification method of the development solution provided by the present application, three application examples are also provided. Specifically, they are as follows:

[0122] Example 1: Assume that there are two functions as follows: Function 1: has one output; Function 2: has one input, and the input receives the output of Function 1.

[0123] According to the steps provided in the above embodiment, a SysML activity diagram is created as follows: Fig. 7A As shown: Fig. 7A The first black solid circle in the figure is the start node of the activity diagram. The control flow represented by the dotted line points to the activity representing function 1: the output of function 1 is input to the function 2 activity through the object flow represented by the solid line. The function 2 activity is followed by the control flow pointing to the termination node.

[0124] against Fig. 7A , start the activity diagram simulation, at this time the activity diagram starts to execute from the revelation node, function 1 is executed and generates corresponding output. As the simulation process progresses, the output of function 1 has been sent to the input of function 2 through the object flow, and function 2 is in an executable state. Function 2 has been executed, and the simulation process can be completed smoothly. At this time, it can be determined that there is no circular dependency between function 1 and function 2.

[0125] Example 2: Assume that there are three functions as follows: Function 1: There is one input and one output; Function 2: There is one input, and the input receives the output of Function 1, and there is one output; Function 3: There is one input, and the input receives the output of Function 2; There is one output, which is the input of Function 1.

[0126] Using SysML activity diagram to describe the above functions 1, 2 and 3, the result is as follows Figure 7B As shown. Start the activity diagram simulation. If the simulation process starts successfully, however, when further executing the simulation, it prompts that the simulation is terminated, indicating that there is a circular dependency between function 1 and other functions in the functional design described in the activity diagram, resulting in the inability to execute function 1. At this time, the simulation process can only be terminated early.

[0127] If we adjust the functions in Example 2 and set function 1 to be independent of the input of function 2 and function 3, there will be a circular dependency between input and output between function 2 and function 3. The function design result is as follows: Figure 7C As shown. Figure 7C Start the simulation. If the simulation process can be executed normally to function 1, continuing the simulation process will cause the simulation process to terminate, indicating that the subsequent function of function 1, that is, function 2, has a circular dependency with other functions and cannot be executed.

[0128] The above example shows that when simulating the functional design based on the SysML activity diagram, when the simulation can proceed normally, there is no circular dependency between the functions; when the simulation cannot proceed normally, there is a circular dependency between the functions, and the dependent functions exist in other subsequent functions at the termination point of the simulation process, indicating the scope of the existence of the circular dependency.

[0129] Example 3: Assume there are 3 requirements and 3 functions. Create a SysML functional requirement traceability matrix. The necessary information of the matrix is ​​as follows: Fig. 8A After selecting the corresponding information, the SysML general matrix is ​​as follows Figure 8B As shown. Figure 8B , establish the tracking relationship in the matrix grid corresponding to the row elements and column elements. The general matrix after establishing the function-requirement tracking relationship is as follows Figure 8C shown.

[0130] Fig. 9 FIG. 1 is a flow chart of a verification method for a development solution in another embodiment. Based on the above embodiment, this embodiment provides an optional example of a verification method for a development solution. Fig. 9 The specific implementation process is as follows:

[0131] S901, obtaining development requirement information for the nuclear power model to be developed and development function information in the development plan determined based on the development requirement information.

[0132] The development function information includes function data corresponding to each type of development function; the function data corresponding to each type of development function includes function parameters of each development function under this type of development function and the association relationship between each development function.

[0133] S902, using SysML, according to the function parameters of each development function under each type of development function in the development function information, create activities corresponding to each development function under each type of development function.

[0134] S903, creating control flows and object flows between activities under each type of development function according to the association relationship between the development functions under each type of development function in the development function information.

[0135] S904, creating a simulation function system corresponding to each type of development function according to the activities corresponding to each development function under each type of development function, and the control flow and object flow between each activity.

[0136] S905, using SysML, simulate the simulation function system corresponding to each development function to obtain the simulation results corresponding to each development function.

[0137] S906, verify the correctness of the development plan based on the simulation results corresponding to various development functions.

[0138] Optionally, if it is determined based on the simulation results corresponding to each type of development function that the simulation process of the simulation function system corresponding to each type of development function is successfully completed, then the development plan is determined to be correct; if it is determined based on the simulation results corresponding to each type of development function that the simulation process of the simulation function system corresponding to any type of development function is abnormally interrupted, then a correctness exception report is generated based on the simulation results corresponding to that type of development function.

[0139] S907, using SysML, build a functional requirement tracking matrix based on each development function and each development requirement in the development requirement information.

[0140] S908, verify the completeness of the development plan based on the tracking relationship between the development functions and development requirements in the functional requirements tracking matrix.

[0141] Optionally, if each development requirement has a tracking relationship with at least one development function, the development plan is determined to be complete; if there is any development requirement without a development function having a tracking relationship, a completeness exception report is generated based on the development requirement.

[0142] The specific process of the above S901-S908 can refer to the description of the above method embodiment, and its implementation principle and technical effect are similar, which will not be repeated here.

[0143] It should be understood that, although the various steps in the flowcharts involved in the above-mentioned embodiments are displayed in sequence according to the indication of the arrows, these steps are not necessarily executed in sequence according to the order indicated by the arrows. Unless there is a clear explanation in this article, the execution of these steps does not have a strict order restriction, and these steps can be executed in other orders. Moreover, at least a part of the steps in the flowcharts involved in the above-mentioned embodiments can include multiple steps or multiple stages, and these steps or stages are not necessarily executed at the same time, but can be executed at different times, and the execution order of these steps or stages is not necessarily to be carried out in sequence, but can be executed in turn or alternately with other steps or at least a part of the steps or stages in other steps.

[0144] Based on the same inventive concept, the embodiment of the present application also provides a verification device for a development solution for implementing the verification method of the development solution involved above. The implementation solution provided by the device to solve the problem is similar to the implementation solution recorded in the above method, so the specific limitations in the embodiments of the verification device for one or more development solutions provided below can refer to the limitations of the verification method for the development solution above, and will not be repeated here.

[0145] In an exemplary embodiment, Fig.10 As shown, a development scheme verification device 1000 is provided, comprising: an information acquisition module 1010, a system modeling module 1020 and a scheme verification module 1030, wherein:

[0146] The information acquisition module 1010 is used to obtain development requirement information for the nuclear power model to be developed and development function information in the development plan determined based on the development requirement information.

[0147] The system modeling module 1020 is used to model the development function of the nuclear power model to be developed according to the development function information using the system modeling language SysML to obtain a simulation function system of the nuclear power model to be developed.

[0148] The solution verification module 1030 is used to simulate the simulation function system using SysML, and verify the development solution based on the simulation results and development requirement information.

[0149] The verification device of the above development plan obtains the development requirement information for the nuclear power model to be developed and the development function information in the development plan determined based on the development requirement information, and uses the system modeling language SysML to model the development function of the nuclear power model to be developed according to the development function information, so as to obtain the simulation function system of the nuclear power model to be developed; further, the simulation function system is simulated by using SysML, and the development plan is verified according to the simulation results and the development requirement information. The above scheme, by introducing the system modeling language SysML, after determining the development plan of the nuclear power model to be developed, models the development function, obtains the simulation function system of the nuclear power model to be developed, and ensures the accuracy of the obtained simulation function system; further, by simulating the simulation function system, and verifying the development plan according to the simulation results and the development requirement information, the accuracy of the verification results is ensured; at the same time, by introducing SysML, a method for quickly verifying the development plan of a nuclear power model is provided.

[0150] In one embodiment, the development function includes at least two types of development functions, and the at least two types of development functions include operation-type development functions and security-type development functions;

[0151] The development function information includes function data corresponding to each type of development function; the function data corresponding to each type of development function includes function parameters of each development function under this type of development function and the association relationship between each development function.

[0152] In one embodiment, the system modeling module 1020 is specifically used to:

[0153] For each type of development function, SysML is used to create activities corresponding to each development function according to the functional parameters of each development function under this type of development function; according to the association relationship between each development function, the control flow and object flow between each activity are created; according to the activities corresponding to each development function, and the control flow and object flow between each activity, a simulation function system corresponding to this type of development function is created.

[0154] In one embodiment, the solution verification module 1030 includes:

[0155] The simulation unit is used to simulate the simulation function system corresponding to various development functions by using SysML, and obtain the simulation results corresponding to various development functions.

[0156] The first verification unit is used to verify the correctness of the development plan according to the simulation results corresponding to various development functions.

[0157] The second verification unit is used to verify the completeness of the development plan based on the development requirement information using SysML.

[0158] In one embodiment, the first verification unit is specifically used for:

[0159] If it is determined based on the simulation results corresponding to each type of development function that the simulation process of the simulation function system corresponding to each type of development function is successfully completed, then the development plan is determined to be correct; the second verification slave unit is used to generate a correctness exception report based on the simulation results corresponding to this type of development function if it is determined based on the simulation results corresponding to each type of development function that the simulation process of the simulation function system corresponding to any type of development function is abnormally interrupted.

[0160] In one embodiment, the development requirement information includes at least two development requirements; the second verification unit includes:

[0161] The construction unit is used to build a functional requirement traceability matrix based on each development requirement and each development function using SysML.

[0162] The verification slave unit is used to verify the completeness of the development plan based on the tracking relationship between the development functions and development requirements in the functional requirements tracking matrix.

[0163] In one embodiment, the verification slave unit is specifically used for:

[0164] If each development requirement has a tracking relationship with at least one development function, the development plan is determined to be complete; if there is any development requirement that does not have a development function with a tracking relationship, a completeness exception report is generated based on the development requirement.

[0165] Each module in the verification device of the above development solution can be implemented in whole or in part by software, hardware and their combination. Each module can be embedded in or independent of the processor in the computer device in the form of hardware, or can be stored in the memory of the computer device in the form of software, so that the processor can call and execute the operations corresponding to each module above.

[0166] In an exemplary embodiment, a computer device is provided. The computer device may be a server, and its internal structure diagram may be as shown in FIG. Fig.11As shown. The computer device includes a processor, a memory, an input / output interface (Input / Output, referred to as I / O) and a communication interface. Among them, the processor, the memory and the input / output interface are connected through a system bus, and the communication interface is connected to the system bus through the input / output interface. Among them, the processor of the computer device is used to provide computing and control capabilities. The memory of the computer device includes a non-volatile storage medium and an internal memory. The non-volatile storage medium stores an operating system, a computer program and a database. The internal memory provides an environment for the operation of the operating system and the computer program in the non-volatile storage medium. The input / output interface of the computer device is used to exchange information between the processor and an external device. The communication interface of the computer device is used to communicate with an external terminal through a network connection. When the computer program is executed by the processor, a verification method for a development solution is implemented.

[0167] Those skilled in the art will understand that Fig.11 The structure shown in the figure is only a block diagram of a part of the structure related to the solution of the present application, and does not constitute a limitation on the computer device to which the solution of the present application is applied. The specific computer device may include more or fewer components than those shown in the figure, or combine certain components, or have a different arrangement of components.

[0168] In an exemplary embodiment, a computer device is provided, including a memory and a processor, wherein a computer program is stored in the memory, and when the processor executes the computer program, the following steps are implemented:

[0169] Obtain development requirement information for the nuclear power model to be developed and development function information in the development plan determined based on the development requirement information;

[0170] According to the development function information, the system modeling language SysML is used to model the development function of the nuclear power model to be developed, and the simulation function system of the nuclear power model to be developed is obtained;

[0171] SysML is used to simulate the simulation function system, and the development plan is verified based on the simulation results and development requirement information.

[0172] In one embodiment, the development functions include at least two categories of development functions, including operation-type development functions and security-type development functions; the development function information includes function data corresponding to each category of development functions; the function data corresponding to each category of development functions includes function parameters of each development function under that category of development functions and the association relationship between each development function.

[0173] In one embodiment, the processor executes the computer program to model the development function of the proposed nuclear power model using the system modeling language SysML according to the development function information, and when obtaining the simulation function system of the proposed nuclear power model, the following steps are also implemented:

[0174] For each type of development function, SysML is used to create activities corresponding to each development function according to the functional parameters of each development function under this type of development function; according to the association relationship between each development function, the control flow and object flow between each activity are created; according to the activities corresponding to each development function, and the control flow and object flow between each activity, a simulation function system corresponding to this type of development function is created.

[0175] In one embodiment, when the processor executes the computer program using SysML to simulate the simulation function system and verifies the development plan according to the simulation results and the development requirement information, the following steps are also implemented:

[0176] SysML is used to simulate the simulation function system corresponding to various development functions to obtain the simulation results corresponding to various development functions; the correctness of the development plan is verified based on the simulation results corresponding to various development functions; SysML is used to verify the completeness of the development plan based on the development requirement information.

[0177] In one embodiment, when the processor executes the computer program to verify the correctness of the development plan according to the simulation results corresponding to the various development functions, the processor also implements the following steps:

[0178] If it is determined based on the simulation results corresponding to each type of development function that the simulation process of the simulation function system corresponding to each type of development function is successfully completed, then the development plan is determined to be correct; if it is determined based on the simulation results corresponding to each type of development function that the simulation process of the simulation function system corresponding to any type of development function is abnormally interrupted, then a correctness exception report is generated based on the simulation results corresponding to this type of development function.

[0179] In one embodiment, the development requirement information includes at least two development requirements; when the processor executes the computer program using SysML to perform completeness verification on the development solution according to the development requirement information, the following steps are also implemented:

[0180] Using SysML, a functional requirement tracking matrix is ​​constructed according to each development requirement and each development function. Based on the tracking relationship between development functions and development requirements in the functional requirement tracking matrix, the completeness of the development plan is verified.

[0181] In one embodiment, when the processor executes the computer program to verify the completeness of the development solution according to the tracking relationship between the development functions and the development requirements in the functional requirement tracking matrix, the processor further implements the following steps:

[0182] If each development requirement has a tracking relationship with at least one development function, the development plan is determined to be complete; if there is any development requirement that does not have a development function with a tracking relationship, a completeness exception report is generated based on the development requirement.

[0183] In one embodiment, a computer readable storage medium is provided, on which a computer program is stored, and when the computer program is executed by a processor, the following steps are implemented:

[0184] Obtain development requirement information for the nuclear power model to be developed and development function information in the development plan determined based on the development requirement information;

[0185] According to the development function information, the system modeling language SysML is used to model the development function of the nuclear power model to be developed, and the simulation function system of the nuclear power model to be developed is obtained;

[0186] SysML is used to simulate the simulation function system, and the development plan is verified based on the simulation results and development requirement information.

[0187] In one embodiment, the development functions include at least two categories of development functions, including operation-type development functions and security-type development functions; the development function information includes function data corresponding to each category of development functions; the function data corresponding to each category of development functions includes function parameters of each development function under that category of development functions and the association relationship between each development function.

[0188] In one embodiment, the processor executes the computer program to model the development function of the proposed nuclear power model using the system modeling language SysML according to the development function information, and when obtaining the simulation function system of the proposed nuclear power model, the following steps are also implemented:

[0189] For each type of development function, SysML is used to create activities corresponding to each development function according to the functional parameters of each development function under this type of development function; according to the association relationship between each development function, the control flow and object flow between each activity are created; according to the activities corresponding to each development function, and the control flow and object flow between each activity, a simulation function system corresponding to this type of development function is created.

[0190] In one embodiment, when the processor executes the computer program using SysML to simulate the simulation function system and verifies the development plan according to the simulation results and the development requirement information, the following steps are also implemented:

[0191] SysML is used to simulate the simulation function system corresponding to various development functions to obtain the simulation results corresponding to various development functions; the correctness of the development plan is verified based on the simulation results corresponding to various development functions; SysML is used to verify the completeness of the development plan based on the development requirement information.

[0192] In one embodiment, when the processor executes the computer program to verify the correctness of the development plan according to the simulation results corresponding to the various development functions, the processor also implements the following steps:

[0193] If it is determined based on the simulation results corresponding to each type of development function that the simulation process of the simulation function system corresponding to each type of development function is successfully completed, then the development plan is determined to be correct; if it is determined based on the simulation results corresponding to each type of development function that the simulation process of the simulation function system corresponding to any type of development function is abnormally interrupted, then a correctness exception report is generated based on the simulation results corresponding to this type of development function.

[0194] In one embodiment, the development requirement information includes at least two development requirements; when the processor executes the computer program using SysML to perform completeness verification on the development solution according to the development requirement information, the following steps are also implemented:

[0195] Using SysML, a functional requirement tracking matrix is ​​constructed according to each development requirement and each development function. Based on the tracking relationship between development functions and development requirements in the functional requirement tracking matrix, the completeness of the development plan is verified.

[0196] In one embodiment, when the processor executes the computer program to verify the completeness of the development solution according to the tracking relationship between the development functions and the development requirements in the functional requirement tracking matrix, the processor further implements the following steps:

[0197] If each development requirement has a tracking relationship with at least one development function, the development plan is determined to be complete; if there is any development requirement that does not have a development function with a tracking relationship, a completeness exception report is generated based on the development requirement.

[0198] In one embodiment, a computer program product is provided, comprising a computer program, which, when executed by a processor, implements the following steps:

[0199] Obtain development requirement information for the nuclear power model to be developed and development function information in the development plan determined based on the development requirement information;

[0200] According to the development function information, the system modeling language SysML is used to model the development function of the nuclear power model to be developed, and the simulation function system of the nuclear power model to be developed is obtained;

[0201] SysML is used to simulate the simulation function system, and the development plan is verified based on the simulation results and development requirement information.

[0202] In one embodiment, the development functions include at least two categories of development functions, including operation-type development functions and security-type development functions; the development function information includes function data corresponding to each category of development functions; the function data corresponding to each category of development functions includes function parameters of each development function under that category of development functions and the association relationship between each development function.

[0203] In one embodiment, the processor executes the computer program to model the development function of the proposed nuclear power model using the system modeling language SysML according to the development function information, and when obtaining the simulation function system of the proposed nuclear power model, the following steps are also implemented:

[0204] For each type of development function, SysML is used to create activities corresponding to each development function according to the functional parameters of each development function under this type of development function; according to the association relationship between each development function, the control flow and object flow between each activity are created; according to the activities corresponding to each development function, and the control flow and object flow between each activity, a simulation function system corresponding to this type of development function is created.

[0205] In one embodiment, when the processor executes the computer program using SysML to simulate the simulation function system and verifies the development plan according to the simulation results and the development requirement information, the following steps are also implemented:

[0206] SysML is used to simulate the simulation function system corresponding to various development functions to obtain the simulation results corresponding to various development functions; the correctness of the development plan is verified based on the simulation results corresponding to various development functions; SysML is used to verify the completeness of the development plan based on the development requirement information.

[0207] In one embodiment, when the processor executes the computer program to verify the correctness of the development plan according to the simulation results corresponding to the various development functions, the processor also implements the following steps:

[0208] If it is determined based on the simulation results corresponding to each type of development function that the simulation process of the simulation function system corresponding to each type of development function is successfully completed, then the development plan is determined to be correct; if it is determined based on the simulation results corresponding to each type of development function that the simulation process of the simulation function system corresponding to any type of development function is abnormally interrupted, then a correctness exception report is generated based on the simulation results corresponding to this type of development function.

[0209] In one embodiment, the development requirement information includes at least two development requirements; when the processor executes the computer program using SysML to perform completeness verification on the development solution according to the development requirement information, the following steps are also implemented:

[0210] Using SysML, a functional requirement tracking matrix is ​​constructed according to each development requirement and each development function. Based on the tracking relationship between development functions and development requirements in the functional requirement tracking matrix, the completeness of the development plan is verified.

[0211] In one embodiment, when the processor executes the computer program to verify the completeness of the development solution according to the tracking relationship between the development functions and the development requirements in the functional requirement tracking matrix, the processor further implements the following steps:

[0212] If each development requirement has a tracking relationship with at least one development function, the development plan is determined to be complete; if there is any development requirement that does not have a development function with a tracking relationship, a completeness exception report is generated based on the development requirement.

[0213] It should be noted that the data involved in this application (including but not limited to data used for analysis, stored data, displayed data, etc.) are all information and data authorized by the user or fully authorized by all parties, and the collection, use and processing of relevant data must comply with relevant regulations.

[0214] Those skilled in the art can understand that all or part of the processes in the above-mentioned embodiment methods can be completed by instructing the relevant hardware through a computer program, and the computer program can be stored in a non-volatile computer-readable storage medium. When the computer program is executed, it can include the processes of the embodiments of the above-mentioned methods. Among them, any reference to the memory, database or other medium used in the embodiments provided in this application can include at least one of non-volatile and volatile memory. Non-volatile memory can include read-only memory (ROM), magnetic tape, floppy disk, flash memory, optical memory, high-density embedded non-volatile memory, resistive random access memory (ReRAM), magnetoresistive random access memory (MRAM), ferroelectric random access memory (FRAM), phase change memory (PCM), graphene memory, etc. Volatile memory can include random access memory (RAM) or external cache memory, etc. As an illustration and not limitation, RAM can be in various forms, such as static random access memory (SRAM) or dynamic random access memory (DRAM). The database involved in each embodiment provided in this application may include at least one of a relational database and a non-relational database. Non-relational databases may include distributed databases based on blockchains, etc., but are not limited to this. The processor involved in each embodiment provided in this application may be a general-purpose processor, a central processing unit, a graphics processor, a digital signal processor, a programmable logic device, a data processing logic device based on quantum computing, etc., but are not limited to this.

[0215] The technical features of the above embodiments may be combined arbitrarily. To make the description concise, not all possible combinations of the technical features in the above embodiments are described. However, as long as there is no contradiction in the combination of these technical features, they should be considered to be within the scope of this specification.

[0216] The above-described embodiments only express several implementation methods of the present application, and the descriptions thereof are relatively specific and detailed, but they cannot be understood as limiting the scope of the present application. It should be pointed out that, for a person of ordinary skill in the art, several variations and improvements can be made without departing from the concept of the present application, and these all belong to the protection scope of the present application. Therefore, the protection scope of the present application shall be subject to the attached claims.

Claims

1. A method for verifying a development solution, characterized in that: The method comprises: Acquire development requirement information for the nuclear power model to be developed and development function information in the development plan determined based on the development requirement information; According to the development function information, the development function of the nuclear power model to be developed is modeled using the system modeling language SysML to obtain a simulation function system of the nuclear power model to be developed; The simulation function system is simulated using SysML, and the development plan is verified based on the simulation results and the development requirement information.

2. The method according to claim 1, characterized in that The development functions include at least two types of development functions, and the at least two types of development functions include operation-type development functions and security-type development functions; The development function information includes function data corresponding to each type of development function; the function data corresponding to each type of development function includes function parameters of each development function under this type of development function and the association relationship between each development function.

3. The method according to claim 2, characterized in that According to the development function information, the development function of the nuclear power model to be developed is modeled using the system modeling language SysML to obtain a simulation function system of the nuclear power model to be developed, including: For each type of development function, SysML is used to create activities corresponding to each development function according to the functional parameters of each development function under this type of development function; Create control flows and object flows between activities based on the relationships between development functions; According to the activities corresponding to each development function, as well as the control flow and object flow between each activity, a simulation function system corresponding to this type of development function is created.

4. The method according to claim 2, characterized in that: The adopting SysML to simulate the simulation function system and verifying the development plan according to the simulation result and the development requirement information includes: Using SysML, simulate the simulation function system corresponding to various development functions to obtain the simulation results corresponding to various development functions; Verify the correctness of the development plan based on the simulation results corresponding to various development functions; SysML is used to verify the completeness of the development plan based on the development requirement information.

5. The method according to claim 4, characterized in that The correctness of the development plan is verified according to the simulation results corresponding to various development functions, including: If, according to the simulation results corresponding to the various development functions, it is determined that the simulation process of the simulation function system corresponding to the various development functions is successfully completed, then it is determined that the development plan is correct; If it is determined based on the simulation results corresponding to various development functions that the simulation process of the simulation function system corresponding to any type of development function is abnormally interrupted, a correctness exception report is generated based on the simulation results corresponding to the type of development function.

6. The method according to claim 4, characterized in that The development requirement information includes at least two development requirements; The use of SysML to verify the completeness of the development solution according to the development requirement information includes: Use SysML to build a functional requirement tracking matrix based on each development requirement and each development function; The development plan is verified for completeness based on the tracking relationship between development functions and development requirements in the functional requirement tracking matrix.

7. The method according to claim 6, characterized in that The completeness verification of the development plan according to the tracking relationship between the development functions and the development requirements in the functional requirement tracking matrix includes: If each development requirement has a traceability relationship with at least one development function, then the development plan is determined to be complete; If there is any development requirement for which there is no development function with a traceability relationship, a completeness exception report is generated based on the development requirement.

8. A verification device for a development scheme, characterized in that: The device comprises: An information acquisition module, used to acquire development requirement information for a nuclear power model to be developed and development function information in a development plan determined based on the development requirement information; A system modeling module, used to model the development function of the nuclear power model to be developed using the system modeling language SysML according to the development function information, so as to obtain a simulation function system of the nuclear power model to be developed; The solution verification module is used to simulate the simulation function system using SysML, and verify the development solution according to the simulation result and the development requirement information.

9. A computer device comprising a memory and a processor, wherein the memory stores a computer program, wherein: When the processor executes the computer program, the steps of the method according to any one of claims 1 to 7 are implemented.

10. A computer-readable storage medium having a computer program stored thereon, characterized in that: When the computer program is executed by a processor, the steps of the method according to any one of claims 1 to 7 are implemented.

Images