Standard model analysis method based on model detection

A technology of standard models and analysis methods, applied in the direction of model-driven code, error detection/correction, software testing/debugging, etc., can solve the problems of constraint consistency, behavior consistency, state logic errors, etc.

Active Publication Date: 2021-01-12
EAST CHINA NORMAL UNIV
View PDF10 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The four standard models contain four sub-problems, that is, the variable consistency problem exists in the class diagram model; the constraint consistency problem exists in the class diagram and object diagram models; the behavior consistency problem exists in the state diagram and sequence diagram models; the state diagram model exists There is a state logic error problem in

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
  • Standard model analysis method based on model detection
  • Standard model analysis method based on model detection
  • Standard model analysis method based on model detection

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0053] See attached figure 1 , the present invention carries out standard model analysis according to the following steps:

[0054] Step 1: Design a standard model according to the template

[0055] The standard model is designed based on the standard modeling tool. The standard model is divided into standard class model, standard object model, standard state model and standard activity model according to the problem type. The user needs to use the standard modeling tool to carry out the standard model according to the specified template specification requirements. Design and development.

[0056] Embodiments are designed for variable consistency issues and constraint consistency issues. For example, standard class model information includes but not limited to class names, class member attribute names, attribute data types, inter-class relationships, inter-class relationship names, and constraint properties. The standard object model information includes, but is not limited ...

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 standard model analysis method based on model detection, which is characterized in that a detection method of a formalized model with four types of subproblem structures is adopted to analyze the problems of variable consistency in a class diagram model, constraint consistency in a class diagram and an object diagram model, behavior consistency in a state diagram and a sequence diagram model, and the state logic error existing in the state diagram model. Construction and detection of the model specifically comprise the following steps: 1) designing a standard model according to a template; 2) constructing a formalized model of a sub-problem structure; 3) applying a to-be-analyzed property condition to the sub-problem formalized model; 4, and analyzing whether thesub-problem model meets the property condition or not. Compared with the prior art, the invention has the advantages that the analysis result is highly automatic, credible and reliable, the process ofreplacing low-efficiency manual standard examination is effectively replaced, and the scientificity, normalization and working efficiency of standard design are further improved.

Description

technical field [0001] The invention relates to the technical field of model automatic analysis and detection, specifically a standard model analysis method for automatically analyzing, detecting and calibrating logical design errors and specific grammatical and semantic errors generated in the process of standard model design and development based on model detection. Background technique [0002] With the rapid development of science and technology, the construction and development of various fields are diversified, making it an inevitable trend to formulate unified standards in this field. The formulation of international standards, national standards, industry standards and even enterprise standards requires a complete system and system support. The so-called standard is a normative document that obtains the best order within a certain range, is formulated by consensus and approved by a recognized institution, and is commonly used and reused. Standards should be based on...

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
IPC IPC(8): G06F11/36G06F40/186G06F40/253G06F8/35G06F8/30
CPCG06F11/3608G06F40/253G06F8/35G06F40/186G06F8/315
Inventor陈尧衡辰谈铭张敏张民缪纬恺
OwnerEAST CHINA NORMAL UNIV