Software trustworthiness engineering method based on formalized and unified software model

A software model and software technology, applied in software testing/debugging, instrumentation, electrical and digital data processing, etc., can solve problems such as immature detection methods and tools, improve readability and maintainability, improve software quality, The effect of improving quality

Inactive Publication Date: 2011-07-27
TIANJIN UNIV
View PDF0 Cites 35 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

At present, there are a large number of tools and methods dedicated to detecting and eliminating security defects in the software implementation stage, but the security defect detection methods and tools in the software design stage are not mature

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
  • Software trustworthiness engineering method based on formalized and unified software model
  • Software trustworthiness engineering method based on formalized and unified software model
  • Software trustworthiness engineering method based on formalized and unified software model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0040] In order to make the object, technical solution and advantages of the present invention clearer, the implementation manner of the present invention will be further described in detail below in conjunction with the accompanying drawings.

[0041] In order to solve the shortcomings of traditional software engineering, the embodiment of the present invention provides a software trustworthy engineering method based on a formalized and unified software model, see figure 1 , see the description below:

[0042] 101: Based on formal language and traditional UML view, build a unified software model that includes software requirement design information, software implementation information and operating environment information;

[0043] Wherein, the formal language in this embodiment of the present invention is described by taking the Z language as an example. During specific implementation, other formal languages ​​may also be used, which is not limited in this embodiment of the ...

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 software trustworthiness engineering method based on a formalized and unified software model, belonging to the field of software trustworthiness. The method comprises the following steps: building an unified software model which includes software requirement design information, software implementation information and runtime environment information based on a formalized language and a traditional UML (unified modeling language) view; carrying out the consistency and validity verification of the unified software model according to the software trustworthiness engineering technical architecture and automatically generating an unit test case; building a software security defect knowledge base based on the unified software model; finding out potential software security defects in the unified software model based on the software security defect knowledge base by a formalized language theorem proving machine; and giving out a corresponding alleviating solution according to the potential software security defect. The software trustworthiness engineering method has the beneficial effects of improving the software quality, eliminating the design defect, reducing the development cost, enhancing the maintainability and the like and solves the problems in the traditional software engineering.

Description

technical field [0001] The invention takes the credible software development process as the main object, builds a software engineering theoretical system combined with formal methods, improves the non-formal essential deficiencies of existing software engineering, and introduces a defect detection mechanism to detect and alleviate in the software design stage Defects belong to the field of software trustworthiness, and in particular relate to a software trustworthiness engineering method based on a formalized and unified software model. Background technique [0002] With the continuous development of computer applications, it plays a vital role in the information society. But the current situation of software production is not satisfactory, and software safety accidents, software quality problems and software expansion problems have brought huge losses. Experts and industry giants at home and abroad have regarded the credibility of software as an important attribute of soft...

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 Applications(China)
IPC IPC(8): G06F21/00G06F11/36G06F21/57
Inventor 李晓红曹坤宇陈世展饶国政邢金亮曹燕
Owner TIANJIN 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