Formalized detection method of intelligent UML (Unified Modeling Language) model and device
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, correctness of verification, and limited application range, etc., so as to improve user experience and application effect Effect
Active Publication Date: 2012-10-10
TSINGHUA UNIV
View PDF3 Cites 6 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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
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
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
Login to view more Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36
Inventor 覃征张伟哲房毓菲
Owner TSINGHUA 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
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