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

Static analysis method of errors during operation of aerospace embedded C language software

A runtime error, static analysis technology, applied in software testing/debugging and other directions, can solve problems such as low accuracy, lack of security measures, and no array and string boundary checks, achieving strong pertinence, improving efficiency, reducing The effect of complexity

Active Publication Date: 2012-06-20
中国航天科技集团公司第七一〇研究所
View PDF2 Cites 12 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

C language has many advantages, but it lacks necessary security measures for developing high-security software. The main defects are: the non-mandatory type feature of C language reduces its reliability; another feature of C language is that it does not perform pointer operations. Strictly qualified; in addition, the C language does not provide bounds checking for arrays and strings
The abstract interpretation method is more efficient but less accurate

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
  • Static analysis method of errors during operation of aerospace embedded C language software
  • Static analysis method of errors during operation of aerospace embedded C language software
  • Static analysis method of errors during operation of aerospace embedded C language software

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0030] The present invention will be further introduced below in conjunction with the accompanying drawings.

[0031] The runtime errors of aerospace embedded C language software are classified, and the attribute patterns of each type of errors are extracted, and the attribute patterns are represented by attribute finite state machines. Then, construct the control flow graph of the source code of the software to be tested, track the attribute state information in the software under test on each node of the control flow graph, and judge whether there is such an attribute pattern according to whether there is an error state in the attribute state runtime error. Its process is as follows figure 1 As shown, the specific steps are as follows:

[0032] (1) The runtime errors of the aerospace embedded C language software are classified according to the mechanism of the error, and each type of runtime error after specific refinement corresponds to a certain error in the software cod...

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 static analysis method of errors during the operation of aerospace embedded C language software. The static analysis method comprises the following steps of: (1) classifying the errors during the operation of the aerospace embedded C language software according to generation mechanisms of the errors and constructing an attribute state machine according to each type of the errors; (2) getting attribute states and path conditions of all nodes in a program control flow graph according to the constructed program control flow graph of software source codes to be detected and the attribute state machine; and (3) analyzing the errors during the operation according to the obtained attribute states and the path conditions. According to the static analysis method disclosed by the invention, accuracy and efficiency in detection of the errors during the operation of the aerospace embedded C language software are improved.

Description

technical field [0001] The invention relates to a static analysis method for errors in the running of aerospace embedded C language software, belonging to the technical field of software testing. Background technique [0002] At present, in the field of aerospace, C language is widely used to write embedded software, and C language has become the standard of advanced programming language for embedded systems. C language has many advantages, but it lacks necessary security measures for developing high-security software. The main defects are: the non-mandatory type feature of C language reduces its reliability; another feature of C language is that it does not perform pointer operations. Strictly qualified; in addition, the C language does not provide bounds checking for arrays and strings. It is precisely because of these defects of the C language that there will be some loopholes and errors in the C program, one of which is a runtime error. A run-time error is an error tha...

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/36
Inventor 王崑声詹海潭经小川张刚李宁
Owner 中国航天科技集团公司第七一〇研究所
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