A uml activity diagram evaluation method based on statistical model testing

Abstract

The invention discloses a method for evaluating a UML activity diagram based on statistical model inspection, comprising: a UML activity diagram modeling step: modeling the engineering system according to the engineering system logic to generate a corresponding UML activity diagram model; a conversion rule formulation step: Establish conversion rules between UML activity diagram model and time automaton model; model transformation step: map UML activity diagram model to time automaton model, and introduce single task execution time interval and distribution information into time automaton model; evaluate Goal description step: describe the coverage criterion with linear temporal logic, and the coverage criterion includes more than one evaluation goal; evaluation execution step: use the statistical model checking method to verify the coverage rate of the time automata model meeting the coverage criterion, so as to obtain the evaluation result. The invention supplements the time modeling ability in the model description ability, can strengthen the evaluation ability for UML activity diagrams, expand the evaluation content, and improve the evaluation quality.

Description

technical field [0001] The invention belongs to the field of computer software, in particular to a method for evaluating UML activity diagrams based on statistical model testing. Background technique [0002] Since UML activity diagrams have both strict mathematical expressions and intuitive graphical expressions, as well as rich system description methods and system behavior analysis techniques, UML activity diagrams are widely used in the field of system modeling and verification. However, UML Activity diagrams are missing and insufficient in description and verification capabilities for systems that contain time information, especially systems that have error intervals at runtime. Therefore, there is an urgent need for an evaluation method that can supplement the description of time information on the basis of UML activity diagrams to obtain broader evaluation goals. [0003] In order to overcome the above-mentioned defects in the prior art, the present invention propose...

AI Technical Summary

Problems solved by technology

[0002] Since UML activity diagrams have both strict mathematical expressions and intuitive graphical expressions, as well as rich system description methods and system behavior analysis techniques, UML activity diagrams are widely used in the field of system modeling and verification. However, UML Activity diagrams are lacking and insufficient in description and verification capabilities for systems containing time information, especially systems with error intervals in runtime

Images