Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Formal detection method and device of intelligent uml model

A detection method and detection device technology, applied in the field of formal detection of UML models, can solve the problems of formal detection intelligence and intuition, limited application range, correctness of verification, etc., so as to improve user experience and application effect Effect

Active Publication Date: 2016-03-23
TSINGHUA UNIV
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0002] In the process of software design and development, the traditional specification description method UML diagram can express the construction and intention of the software, but it cannot be effectively and intelligently verified its correctness. The correctness of the model establishment is too dependent on the software demand side and developers for the software project itself Familiarity with the software engineering system leads to the need for more manpower and material resources to correct and maintain the software after the development is completed. This defect is especially obvious in the field of military software that has high requirements for correctness and safety.
The existing ways and means to solve this kind of problems are limited by the intelligence and intuition of formal detection, which makes the application of the current detection form not wide

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
  • Formal detection method and device of intelligent uml model
  • Formal detection method and device of intelligent uml model
  • Formal detection method and device of intelligent uml model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0029] Embodiments of the present invention are described in detail below, examples of which are shown in the drawings, wherein the same or similar reference numerals designate the same or similar elements or elements having the same or similar functions throughout. The embodiments described below by referring to the figures are exemplary only for explaining the present invention and should not be construed as limiting the present invention.

[0030] In describing the present invention, it should be understood that the terms "center", "longitudinal", "transverse", "upper", "lower", "front", "rear", "left", "right", " The orientations or positional relationships indicated by "vertical", "horizontal", "top", "bottom", "inner" and "outer" are based on the orientations or positional relationships shown in the drawings, and are only for the convenience of describing the present invention and Simplified descriptions, rather than indicating or implying that the device or element refe...

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 provides a formalized detection method of an intelligent UML (Unified Modeling Language) model and a device. The method comprises the steps of: establishing an UML model for a true system and converting the UML model into an XMI (Extensible Markup Language) model; extracting predetermined element information from the XMI model and converting the predetermined element information semantically to obtain an SMV (Symbolic Modeling Verification) model by applying a set of conversion rule; acquiring an CTL (Complementary Transistor Logic) and / or an LTL (Linear Temporal Logic) propositional logic detection formula, wherein the CTL and / or LTL propositional logic detection formula are / is used for detecting the SMV model; and constructing a binary decision diagram according to the CTL and / or LTL propositional logic detection formula and the SMV model to detect the SMV model so as to obtain a detection result. According to the embodiment disclosed by the invention, the formalized detection method has the advantages of high detection accuracy and wide application, and can comprehensively detect the UML model which has higher demand on safety in a software development process.

Description

technical field [0001] The invention relates to the technical field of computer software, in particular to an intelligent UML model formalized detection method and device. Background technique [0002] In the process of software design and development, the traditional specification description method UML diagram can express the construction and intention of the software, but it cannot be effectively and intelligently verified its correctness. The correctness of the model establishment is too dependent on the software demand side and the developer for the software project itself. Familiarity with the software engineering system leads to the need for more manpower and material resources to correct and maintain the software after the development is completed. This defect is especially obvious in the field of military software that has high requirements for correctness and security. The existing ways and means to solve this kind of problems are limited by the intelligence and in...

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): G06F11/36
Inventor 覃征张伟哲房毓菲
Owner TSINGHUA UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com