A uml activity diagram evaluation method based on statistical model testing

A technique of statistical model testing and activity diagram, applied in the direction of program control devices, etc., can solve problems such as insufficiency, lack of description and verification capabilities, etc., to achieve the effect of strengthening evaluation capabilities, improving evaluation quality, and expanding evaluation content

Active Publication Date: 2018-03-13
EAST CHINA NORMAL UNIV
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

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

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A uml activity diagram evaluation method based on statistical model testing
  • A uml activity diagram evaluation method based on statistical model testing

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0023] The present invention will be further described in detail in conjunction with the following specific embodiments and accompanying drawings. The process, conditions, experimental methods, etc. for implementing the present invention, except for the content specifically mentioned below, are common knowledge and common knowledge in this field, and the present invention has no special limitation content.

[0024] see figure 1 , the present invention proposes a method for evaluating UML activity diagrams based on statistical model testing, comprising the steps of:

[0025] S1. UML activity diagram modeling step: Model the engineering system according to the engineering system logic to generate the corresponding UML activity diagram model;

[0026] S2. Conversion rule formulation step: establish conversion rules between the UML activity diagram model and the time automaton model;

[0027] S3. Model conversion step: mapping the UML activity diagram model into the timed automa...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

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...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Patents(China)
IPC IPC(8): G06F9/44
Inventor 陈铭松顾幡黄赛杰张心潜
Owner EAST CHINA NORMAL UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap