A state machine-based multi-node interoperability procedure testing system and method
The state machine-based multi-node interoperability process testing system solves the problem of verifying interactive information between multiple nodes, realizes interoperability testing between multiple nodes, supports many-to-many verification capabilities, covers syntax, semantics and pragmatic layer testing, and expands application scenarios.
Patent Information
- Authority / Receiving Office
- CN · China
- Patent Type
- Patents(China)
- Current Assignee / Owner
- CHINA SHIPBUILDING RES INST (SEVENTH RES INST OF CHINA STATE SHIPBUILDING CORP)
- Filing Date
- 2022-12-27
- Publication Date
- 2026-05-08
AI Technical Summary
Existing business process management and verification technologies cannot effectively support the verification of interactive information between multiple nodes, especially in processes with a large number of interactions, where multi-node interoperability testing cannot be achieved.
A state machine-based multi-node interoperability process testing system is adopted, including a data transmission and reception module, a data parsing module, a state machine operation management module, an application simulation module, and a test stimulus generation module. By constructing a scenario library, a role library, and a finite state machine model, the interoperability process between multiple nodes is verified.
It supports many-to-many node interoperability testing, covering the three levels of syntax, semantics, and pragmatics, reducing redundant investment in test system development, expanding application scenarios, and being suitable for different service architectures and development languages.
Smart Images

Figure CN116204413B_ABST
Abstract
Description
Technical Field
[0001] This invention relates to the field of interoperability testing technology, and more specifically, to a multi-node interoperability process testing system and a multi-node interoperability process testing method based on a state machine. Background Technology
[0002] Currently, there are many business process modeling languages and standards for business process management and validation, among which BPMN and BPEL are more widely used. BPMN is a graphical business process representation tool that supports model configuration by providing a visual interface and graphical symbols, and it has become an official standard of the OMG organization. BPEL is an XML-based programming language for describing business processes, mainly used to describe communication processes between web services and the combined application of services.
[0003] Meanwhile, in the area of interoperability testing for business processes, formal methods are a crucial approach. The current common approach is to use finite state machines to build a formal model of the system under test, perform global state reachability analysis, and then generate test sequences. However, current interoperability testing focuses on simple one-to-one verification scenarios and cannot achieve multi-node interaction testing. This results in current business process management and verification being limited to single processes and unsuitable for verifying processes with numerous interactions between business units. Summary of the Invention
[0004] In order to improve at least one of the above-mentioned technical problems, one object of the present invention is to provide a multi-node interoperability process testing system based on a state machine, hereinafter referred to as the testing system, for meeting the interoperability process verification requirements of multiple nodes with a large amount of interactive information.
[0005] To achieve the above objectives, the technical solution of the first aspect of the present invention provides a multi-node interoperability process testing system based on a state machine, including a data transmission and reception module, a data parsing module, a state machine operation management module, an application simulation module, a test stimulus generation module, and a user interface.
[0006] Specifically, the data transceiver module is used to collect test incentive information sent and received by each node in real time; the test incentive information includes human-computer interaction information and interoperability information between nodes; the data parsing module is connected to the data transceiver module and is used to perform syntactic layer testing and semantic layer testing on the test incentive information; the syntactic layer testing is used to check whether the format of the test incentive information meets the preset format requirements, and the semantic layer testing is used to parse the test incentive information to obtain the data content in the test incentive information, including scenarios and roles; the state machine operation management module is connected to the data parsing module and is used to load the scenario library and role library according to the parsed data content, and assign scenarios and roles to each node, so that the node can execute the corresponding task and send the corresponding interoperability information to other nodes in different states; the application simulation module is connected to the data parsing module and is used to perform pragmatic layer testing on the test incentive information obtained by the node, and the pragmatic layer testing is used to determine whether the node can execute the role in the test incentive information in the current state. The task is as follows: the application simulation module is connected to the state machine operation management module, which is used to determine the interoperability process according to the scenario, and drive the state machine operation management module to switch the state of each node according to the interoperability process, so that the node can execute the corresponding role task after passing the pragmatic layer test; the state machine operation management module is used to read the state machine model library under the drive of the application simulation module, and manage the operation of the node's state machine according to the parsed test stimulus information, realize the state switching, and report the state switching status to the application simulation module; the test stimulus generation module is connected to the application simulation module and the data transceiver module, which is used to generate interoperability information between nodes according to the interoperability process, after passing the pragmatic layer test, and send it to the data transceiver module to stimulate another node; the user interface is connected to the application simulation module, which is used to update and display the state switching status, syntax layer test results, semantic layer test results and pragmatic layer test results of each node in real time according to the execution order of the interoperability process.
[0007] In addition, the state machine-based multi-node interoperability process testing system provided by the present invention may also have the following additional technical features:
[0008] In the above technical solution, the data transceiver module is also used to format the test stimulus information and unify the test stimulus information into a preset format.
[0009] In the above technical solutions, the multi-node interoperability process testing system is configured as one of the multiple nodes. In other technical solutions, the multi-node interoperability process testing system and the multiple nodes are deployed on the same physical machine.
[0010] In summary, the testing system provided by this invention is built based on a scenario library, a role library, and a finite state machine model. It can collaboratively construct corresponding interoperable scenarios with the nodes under test, trigger scenario execution, listen to and acquire interactive information in the scenario, and analyze the roles of each node in the actual process through formatting and information matching. At the same time, it performs information time association and information interaction association processing to realize the mapping between the actual application process and the preset process model, and gives the difference between the actual process and the expected result. Then, by completing the entire interoperable process, it realizes the interoperability verification of interactive information between multiple nodes (i.e., including syntactic, semantic, and pragmatic layer testing).
[0011] The second aspect of this invention provides a method for testing multi-node interoperability processes based on a state machine. This testing method includes the following steps:
[0012] Step S1: Construct and initialize the scenario library, role library, and state machine model set. The scenario library is used to assign task scenarios to nodes, the role library is used to load roles for executing tasks to nodes, and the state machine model set is used to assign state machines to nodes to avoid the node existing in multiple interoperability processes at the same time and interfering with each other.
[0013] Step S2: Receive test incentive information and designate the node that receives the test incentive information as the current node; the test incentive information includes human-computer interaction information and interoperability information between nodes;
[0014] Step S3: Perform syntax layer testing and semantic layer testing on the test incentive information; wherein, the syntax layer testing is used to check whether the format of the test incentive information conforms to the preset format requirements, and the semantic layer testing is used to parse the test incentive information to obtain the data content in the test incentive information. The data content includes scenarios and roles, wherein the scenarios are used to determine the interoperability process, and the roles are used to determine the execution tasks of the nodes.
[0015] If the format of the test incentive information meets the preset format requirements, it is considered to have passed the syntax layer test, and step S4 is executed. If the format of the test incentive information does not meet the preset format requirements, it is considered to have failed the syntax layer test, and step S2 is returned to wait for the test incentive information to be received.
[0016] Step S4: Based on the parsed data content, match the corresponding scene from the scene library and the corresponding role from the role library for the current node; perform pragmatic layer testing on the data content, update the state machine of the current node based on the pragmatic layer test results, drive the current node to execute the corresponding task, update the state of the current node, and send interoperability information to other nodes.
[0017] Step S5: Update and display the current node's state switching status, syntax layer test results, semantic layer test results, and pragmatic layer test results.
[0018] Step S4 includes:
[0019] Based on the parsed data, the current node receiving the test stimulus information matches the corresponding scenario from the scenario library and the corresponding role from the role library. Based on the scenario, the current interoperability process is determined, and it is determined whether there is a state machine corresponding to the test stimulus information in the set of state machine models corresponding to the current interoperability process.
[0020] If no corresponding state machine exists, the data content is considered to belong to a new interoperability process. Based on the scenario and role of the current node, a corresponding state machine is created, and the state of the current node is updated according to the created state machine.
[0021] If a corresponding state machine exists, the data content is considered to belong to the current interoperability process, and a pragmatic layer test is performed. The pragmatic layer test is used to determine whether the role assigned to the current node is a role that can perform tasks. If the role of the current node in the current state is a role that can perform tasks, then the pragmatic layer test is considered to have passed. According to the current interoperability process, the current node is driven to execute the corresponding task, update the state of the current node, and send interoperability information to other nodes.
[0022] If the current node's role in its current state is not one that can perform tasks, then it is considered to have failed the pragmatic layer test, and the process returns to step S2 to wait for test incentive information.
[0023] In addition, the state machine-based multi-node interoperability process testing method provided by the present invention may also have the following additional technical features:
[0024] In the above technical solution, the method further includes the following after step S5:
[0025] Step S6: Determine whether the interoperability process has ended. If not, return to step S2.
[0026] In the above technical solution, the display content of the syntax layer test results includes text prompts for cases where the format of the test stimulus information does not meet the preset format requirements;
[0027] The semantic layer test results display includes the steps of the interoperability process corresponding to the scenario.
[0028] The pragmatic layer test results display the execution status of the current step in the interoperability process, including execution completed, execution incomplete, and error present (i.e., the role of the current node in the current state is not a role that can perform tasks).
[0029] It should be noted that the state machine-based multi-node interoperability process testing method provided in the second aspect of the present invention can be based on the multi-node interoperability process testing system in the first aspect of the present invention. Therefore, it can also have all the beneficial effects of the first aspect of the present invention, which will not be elaborated further here.
[0030] Furthermore, the state machine-based multi-node interoperability process testing method provided by this invention has at least the following advantages compared with the one-to-one verification techniques in related technologies:
[0031] 1. This invention has the capability to support "many-to-many" multi-node interoperability testing;
[0032] 2. This invention divides the protocol verification layer into a separate layer, which can shield the influence of the large differences in the composition of different interoperability protocols, reduce the redundant investment in the development of the test system, and simplify the complexity of the syntax layer test.
[0033] 3. This invention can cover interoperability testing at the syntactic, semantic, and pragmatic levels; in addition to fully covering commonly used test cases, it can support error identification and detection in various dimensions.
[0034] 4. It adopts a finite state machine model, which can support different service architectures and development languages, and expand application scenarios.
[0035] Additional aspects and advantages of the invention will become apparent in the following description or may be learned by practice of the invention. Attached Figure Description
[0036] The above and / or additional aspects and advantages of the present invention will become apparent and readily understood from the description of the embodiments taken in conjunction with the following drawings, in which:
[0037] Figure 1 This is a schematic diagram of the architecture of a multi-node interoperability process testing system according to some embodiments of the present invention.
[0038] Figure 2 This is a schematic diagram of the composition of a multi-node interoperability process testing system according to some embodiments of the present invention.
[0039] Figure 3 This is a flowchart of a multi-node interoperability process testing method based on a state machine, according to some embodiments of the present invention.
[0040] Figure 4 These are schematic diagrams illustrating state transitions in some embodiments of the present invention.
[0041] Figure 5 This is a schematic diagram showing the semantic and pragmatic test results of some embodiments of the present invention. Detailed Implementation
[0042] To better understand the above-mentioned objectives, features, and advantages of the present invention, the present invention will be further described in detail below with reference to the accompanying drawings and specific embodiments. It should be noted that, unless otherwise specified, the embodiments and features described in these embodiments can be combined with each other.
[0043] Many specific details are set forth in the following description in order to provide a full understanding of the invention. However, the invention may also be practiced in other ways different from those described herein, and therefore the scope of protection of the invention is not limited to the specific embodiments disclosed below.
[0044] In interoperability testing, formal methods are a crucial area. Currently, finite state machines are commonly used to build formal models of the system under test, perform global state reachability analysis, and then generate test sequences. However, this approach suffers from several problems: first, it focuses on simple "one-to-one" verification, with almost no research on multi-node interactive testing; second, test design primarily covers global interoperability behavior coverage, lacking consideration for system analysis of error coverage; and third, current research emphasizes syntactic and semantic layer testing, with limited attention to pragmatic layer testing.
[0045] Therefore, some embodiments of the present invention provide a multi-node interoperability process testing system.
[0046] The technical architecture of the multi-node interoperability process testing system is as follows: Figure 1 As shown.
[0047] The underlying layer is a general protocol verification layer, based on the verification interoperability application layer protocol, which implements protocol encapsulation and parsing, and supports correctness testing covering the interoperability protocol syntax layer.
[0048] The scene matching layer provides scene presets based on different interoperability processes. The scene includes the number and allocation of roles, interoperability process settings, operation model, and interface display content.
[0049] The character prototype layer supports character division based on preset scenarios, provides state machine prototypes based on different characters, and supports interoperability testing between multiple nodes.
[0050] The state machine model layer, based on interoperability processes, considers various conditions such as correctness, error, and time error for specific scenarios and roles, and generates a set of states, a set of event-driven states, and a matching transition rules to match events with state transitions.
[0051] The test-driven layer, based on functionality, tasks, and information flow, simulates typical supporting nodes according to different task system requirements, application system external characteristics, and interface design. It constructs various application scenarios based on the purpose of each message in the interoperability standard or protocol under test, the type of the system under test, and its role in the standard application scenario, achieving interconnection, interoperability, and interoperability between nodes. It supports test-driven generation through user operation and automatic background sending, and can update user-selectable operations based on the current scenario, role, and status, enabling the gradual implementation of the interoperability process.
[0052] The test result visualization layer initializes and displays the interoperability steps of multiple nodes based on a preset scenario. Each step includes two parts: step content and step status. Each time a state transition is completed, the step content and step status are updated, thus realizing the visualization of test results for the interoperability semantic layer and pragmatic layer.
[0053] To address the shortcomings of existing technologies, this embodiment provides a multi-node interoperability process verification solution based on finite state machines, specifically addressing the need for verification of interoperability processes involving multiple nodes and substantial interactive information. Firstly, it solves the "many-to-many" interoperability verification problem through scenario pre-setting, simulation, and multi-role support. Secondly, it overcomes architectural and programming language limitations and expands application scenarios by utilizing the finite state machine model as a fundamental framework. Thirdly, it addresses syntax layer testing and error coverage during the verification process by extracting a common protocol parsing layer. Fourthly, it constructs pre-set scenarios and state machine transition designs that include error flows, mapping the actual application process to the pre-set process model and displaying the differences between the actual process and the expected results to achieve pragmatic layer testing support and error coverage.
[0054] Meanwhile, the multi-node interoperability process testing system provided in this embodiment is more suitable for process verification with a lot of interaction between business processes compared to existing BPMN and BPEL technologies in terms of business process management and verification. It is not limited to SOA architecture and Web service orchestration, making its application scope wider. Secondly, compared to BPMN, it does not have obvious dependence on tools, and compared to BPEL, it does not need to convert business processes into XML files according to specific standards.
[0055] like Figure 2 As shown, the multi-node interoperability process testing system consists of the following components:
[0056] The data transceiver module performs real-time acquisition, sorting, and formatting of the data (i.e., test stimulus information) transmitted and received by each tested node.
[0057] The data parsing module performs protocol parsing, data content detection, and message structure analysis on the sent and received data, and completes syntax layer testing and semantic layer testing.
[0058] The application simulation module simulates the system based on the current scenario and the information flow specified in the interoperability protocol under test. It performs system simulation according to the category of the current system under test and its role in the standard application scenario. It completes the sending and receiving of interoperability information and the execution of tasks through interaction with the state machine operation management module, and summarizes the execution and test status in the current state to complete the interoperability test of the pragmatic layer.
[0059] The state machine operation management module is based on the scenario library, role library and state machine model library. Driven by the process of the application simulation module, it manages the operation of the state machine according to the parsed interoperability information, realizes state switching and provides feedback on the state switching status.
[0060] The test stimulus generation module can assemble, simulate, and distribute specific interoperability information (i.e., form interoperability information to be sent to another node) according to the data element composition, encoding method, message assembly method, constraints, and transmission rules of the interoperability protocol under test, and based on constraints such as the carrying channel.
[0061] The user interface supports scenario- and role-based function display, allows users to select available operations in the current state, and drives the application simulation module to execute the test process; at the same time, it visualizes the test results of multi-platform interoperability processes at the syntax, semantic, and pragmatic layers.
[0062] The testing system can be used as one of the test nodes in the interoperability process for simultaneous testing and verification, or it can be deployed on the same physical machine as the node under test.
[0063] Some embodiments of the present invention also provide a multi-node interoperability process testing method based on a state machine, including the following process, such as... Figure 3 As shown.
[0064] Step 1: First, based on the interoperability process testing requirements, build and initialize a scenario library, a role library, and a state machine model set;
[0065] Step 2: Receive test drivers (i.e. test incentive information). Test drivers can be implemented in various ways, such as user operations (i.e. human-computer interaction information) and messages from external nodes (i.e. interoperability information between nodes).
[0066] Step 3: Perform a syntax-level parsing test on the incentive protocol and determine whether the parsing result is correct (i.e., whether it conforms to the preset format). If the protocol parsing is incorrect, an error message will be displayed and the test will wait for the next incentive test. If the protocol parsing is correct, the test will continue.
[0067] Step 4: Based on the current test stimulus, match the scenario and role corresponding to the current node (i.e., the node receiving the test drive and also the stimulated node), and match the state machine corresponding to the current node through information time association, information interaction association, etc., to avoid interference caused by multiple interoperability processes being tested simultaneously. If no corresponding state machine is found in the state machine model set, it is assumed that the current node is executing a new interoperability process, and proceed to Step 5; if a corresponding state machine is found in the state machine model set, it is determined that it is not a new interoperability process, and proceed to Step 6. (It should be noted that a node can play different roles in different interoperability processes, thereby performing different tasks. The interoperability process corresponding to a node is determined by the scenario in the parsing results.)
[0068] Step 5: Based on the current scenario and role, create the corresponding state machine and initialize the preset steps of the verification process; (For newly triggered interoperability processes, verification is also required, i.e., following the steps in the interoperability process to drive nodes to execute tasks, send interoperability information, and perform state switching, etc.)
[0069] Step 6: The current state machine executes the test driver and completes the state transition according to the state transition rules;
[0070] Step 7: Update the test results in the test process step display;
[0071] Step 8: Determine whether the interoperability process under test has ended. If not, return to step 2.
[0072] In some specific embodiments, the state machine operation mode of the interoperability verification process is illustrated below with examples, such as... Figure 4 As shown.
[0073] The state machines of nodes A, B, and C are all in their initial states.
[0074] After being driven by event 1, node A transitions to working state 1 and sends interoperability information 1 and interoperability information 2 to nodes B and C while in working state 1.
[0075] According to the matching rules, node B matches interop information 1 as event-driven 1 (i.e., interop information 1 serves as the test driver for node B) and transitions from the initial state to the working state 1.
[0076] Node C matches interop information 2 as event-driven 1 according to the matching rules and transitions from the initial state to the working state 1.
[0077] Node C sends interoperability information 3 to node B when it is in working state 3;
[0078] According to the matching rules, node B matches interoperability information 3 as event-driven 2 and converts it into working state 2;
[0079] Node B sends interoperability information 4 to Node A when it is in working state 2;
[0080] Node A matches interoperability information 4 as event-driven 4. At this point, it checks the current state of the node. If the current state is working state 2, it switches to working state 3; otherwise, it does not process the request.
[0081] In some specific embodiments, the display methods for multi-node interoperability test results are divided into two categories. The first is the display of test results at the syntactic layer, which only provides textual prompts for cases where errors exist in the test; the second is the display of test results at the semantic and pragmatic layers, as shown in the example below. Figure 5 As shown, for each expected step in the interoperability process, two parts are displayed: step content and process status. The step content includes the information source, information destination, and information type that the current step should contain, and displays the content of each field after parsing the corresponding information. The process status displays the execution status of the current step, such as completion status and confirmation status.
[0082] In the description of this specification, the terms "one embodiment," "some embodiments," "specific embodiment," etc., refer to a specific feature, structure, material, or characteristic described in connection with that embodiment or example, which is included in at least one embodiment or example of the present invention. In this specification, the illustrative expressions of the above terms do not necessarily refer to the same embodiment or example. Furthermore, the specific features, structures, materials, or characteristics described may be combined in any suitable manner in one or more embodiments or examples.
[0083] The above are merely preferred embodiments of the present invention and are not intended to limit the present invention. Various modifications and variations can be made to the present invention by those skilled in the art. Any modifications, equivalent substitutions, improvements, etc., made within the spirit and principles of the present invention should be included within the scope of protection of the present invention.
Claims
1. A multi-node interoperability process testing system based on a state machine, characterized in that, include: The data transceiver module is used to collect test stimulus information transmitted and received by each node in real time; The test incentive information includes human-computer interaction information and interoperability information between nodes; The data parsing module, connected to the data sending and receiving module, is used to perform syntactic layer testing and semantic layer testing on the test incentive information; wherein, the syntactic layer testing is used to detect whether the format of the test incentive information conforms to the preset format requirements, and the semantic layer testing is used to parse the test incentive information to obtain the data content in the test incentive information, including the scene and role; The state machine operation management module, connected to the data parsing module, is used to load the scene library and role library according to the parsed data content, and assign scenes and roles to each node so that the node can execute tasks corresponding to the role in different states and send corresponding interoperability information to other nodes. An application simulation module, connected to the data parsing module, performs pragmatic layer testing on the test stimulus information acquired by the nodes. This pragmatic layer testing determines whether the node can execute the task of the role specified in the test stimulus information in its current state. The application simulation module is also connected to the state machine operation management module, which determines the interoperability process based on the scenario and drives the state machine operation management module to switch the state of each node's state machine according to the interoperability process. This switches the node's state so that it can execute the corresponding role task after passing the pragmatic layer test. The state machine operation management module, driven by the application simulation module, reads the state machine model library and manages the operation of the node's state machine based on the parsed test stimulus information, implementing state switching and providing feedback on the state switching status to the application simulation module. The test stimulus generation module, connected to the application simulation module and the data transceiver module, is used to generate interoperability information between nodes after passing the pragmatic layer test according to the interoperability process, and send it to the data transceiver module to stimulate another node. The user interface, connected to the application simulation module, is used to update and display the state switching status of each node, the syntactic layer test results, the semantic layer test results, and the pragmatic layer test results in real time according to the execution order of the interoperability process.
2. The multi-node interoperability process testing system based on a state machine according to claim 1, characterized in that, The data transceiver module is also used to format the test stimulus information, thereby unifying the test stimulus information into a preset format.
3. The state machine-based multi-node interoperability process testing system according to claim 1 or 2, characterized in that, The multi-node interoperability process testing system is configured as one of the multiple nodes; or the multi-node interoperability process testing system and the multiple nodes are deployed on the same physical machine.
4. A method for testing multi-node interoperability processes based on state machines, characterized in that, Includes the following steps: Step S1: Construct and initialize the scenario library, role library, and state machine model set; the scenario library is used to assign task scenarios to nodes, the role library is used to load roles for executing tasks to nodes, and the state machine model set is used to assign state machines to nodes to avoid the node existing in multiple interoperability processes at the same time and interfering with each other. Step S2: Receive test stimulus information and designate the node that receives the test stimulus information as the current node; The test incentive information includes human-computer interaction information and interoperability information between nodes; Step S3: Perform syntactic layer testing and semantic layer testing on the test incentive information; wherein, the syntactic layer testing is used to detect whether the format of the test incentive information conforms to the preset format requirements, and the semantic layer testing is used to parse the test incentive information to obtain the data content in the test incentive information. The data content includes scenarios and roles, wherein the scenarios are used to determine the interoperability process, and the roles are used to determine the execution tasks of the nodes. If the format of the test incentive information meets the preset format requirements, it is considered to have passed the syntax layer test, and step S4 is executed. If the format of the test incentive information does not meet the preset format requirements, it is considered to have failed the syntax layer test, and step S2 is returned to wait for the test incentive information to be received. Step S4: Based on the parsed data content, match the corresponding scene from the scene library and the corresponding role from the role library for the current node; perform pragmatic layer testing on the data content, update the state machine of the current node based on the pragmatic layer test results, drive the current node to execute the corresponding task, update the state of the current node, and send interoperability information to other nodes. Step S5: Update and display the current node's state switching status, syntax layer test results, semantic layer test results, and pragmatic layer test results.
5. The multi-node interoperability process testing method based on a state machine according to claim 4, characterized in that, Step S4 includes: Based on the parsed data content, the current node receiving the test incentive information matches the corresponding scene from the scene library and the corresponding role from the role library, determines the current interoperability process based on the scene, and determines whether there is a state machine corresponding to the test incentive information in the state machine model set corresponding to the current interoperability process. If no corresponding state machine exists, the data content is considered to belong to a new interoperability process. Based on the scenario and role of the current node, a corresponding state machine is created, and the state of the current node is updated according to the created state machine. If a corresponding state machine exists, the data content is considered to belong to the current interoperability process, and a pragmatic layer test is performed. The pragmatic layer test is used to determine whether the role assigned to the current node is a role that can perform tasks. If the role of the current node in the current state is a role that can perform tasks, then the pragmatic layer test is considered to have passed. According to the current interoperability process, the current node is driven to perform the corresponding task, update the state of the current node, and send interoperability information to other nodes. If the current node's role in its current state is not one that can perform tasks, then it is considered to have failed the pragmatic layer test, and the process returns to step S2 to wait for test incentive information.
6. The multi-node interoperability process testing method based on a state machine according to claim 4 or 5, characterized in that, The process after step S5 also includes: Step S6: Determine whether the interoperability process has ended. If not, return to step S2.
7. The multi-node interoperability process testing method based on a state machine according to claim 4 or 5, characterized in that, The display of the syntax layer test results includes text prompts for cases where the format of the test stimulus information does not meet the preset format requirements; The semantic layer test results display includes the steps of the interoperability process corresponding to the scenario. The pragmatic layer test results display the execution status of the current step in the interoperability process, including whether the execution is complete, incomplete, or contains an error.
Citation Information
Patent Citations
Standardized development method and system for communication protocol of train control system
CN102004826A
Method and device for detecting memory access overflow
CN104573503A