3 results about "Model-based testing" patented technology

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.

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.