6 results about "Model-based testing" patented technology

The present invention provides a test case generation method, device, system, and medium based on an AI model. The method includes: obtaining a requirement document, at least one title keyword, and business keywords input by a user, and being able to automatically traverse the requirement document to automatically distinguish different requirement modules by the target title and create corresponding first and second documents; when traversing to a target image, extracting first content from the target image based on an OCR module and writing it into the first document, and being able to record the first content recognized by the OCR module from the flowchart through the first document; when traversing to a new target title, triggering the input of the first document into the AI model to obtain target test cases and first inference information, improving the generation efficiency of test cases, and at the same time recording the inference information of the test cases in the first document, providing a basis for the inference process for testers to judge the reliability of the test cases.

This disclosure describes a policy consistency system that determines when RBAC policies are inconsistently implemented across different devices, platforms, services, and environments. For example, the policy consistency system uses a model-based testing framework to identify cases where user requirement inputs produce different outputs when the policy is implemented in different environments. In some implementations, the policy consistency system utilizes symbolic abstraction models and satisfiability solver models to efficiently identify inconsistencies in the implementation of a policy.

A computer-implemented method for verifying and / or validating whether a technical system fulfills a desired criterion with a predefined probability. The technical system emits output signals based on input signals supplied to the technical system. The method includes: obtaining models for components of the technical system and connections between the models; obtaining test outputs for the models based on test inputs of the models and the connections between the models; determining an upper or lower bound of an output of the technical system; verifying and / or validating whether the technical system fulfills the criterion with the predefined probability based on the determined upper or lower bound of the output.

The invention belongs to the technical field of avionics verification, and particularly relates to a model-based testability verification method and system. Comprising the following steps: analyzing a model, and obtaining related information of a data flow direction, a fault mode and a test point; determining a fault propagation path according to the data flow direction and the fault mode; determining whether each fault mode can be detected by the test point according to the fault propagation path and the test point; according to the model and the test point, analyzing a report path of a test result of the test point; and according to the report path and the fault propagation path, determining whether the test point detection result can be reported successfully. The problem that an existing testability verification result is insufficient in accuracy is solved, and rapid verification of a product is achieved.

A method of model checking a PLC algorithm inscribed in a graphical programming language and a method for automatic test case generation and model-based testing of the PLC implementing these PLC algorithms are provided. The model checking method includes converting the functional block diagram algorithm into a functionally-equivalent formalized functional block diagram algorithm. The method includes model checking the functionally-equivalent formalized functional block diagram algorithm. The verified PLC algorithm is a functional block diagram algorithm including discrete-time deterministic function blocks. The verified PLC algorithm can be then downloaded into a target PLC and periodically executed. The test case generation method includes predefined testable behaviors (unit tests) of each function block and combination of compatible unit tests to valid test cases according the assume-guarantee principle. The resulting test scenarios and test cases are used for model-based grey-box testing in MIL, SIL and HIL testing of the PLC implementing these PLC algorithms.

The invention provides a model-based test method and device and electronic equipment, and relates to the technical fields of artificial intelligence, natural language processing, language models, multi-modal large models and the like. The method comprises the following steps: determining a target test intention for testing interaction data; wherein the test interaction data is test data input in the interaction process of the interaction object and the target model; according to the test interaction data, filling a target slot position corresponding to the target test intention to obtain target slot position data; according to the target slot position data and context data corresponding to the test interaction data, generating a test operation instruction; wherein the context data comprises at least one round of dialogue corresponding to the test interaction data and state information of a test case corresponding to the test interaction data; and executing the test operation instruction, and displaying an execution result to the interaction object.