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

A-grade software object code coverage analysis method conforming to DO-178B/C

A coverage analysis and target code technology, applied in the field of DO-178B/C A-level software target code coverage analysis, which can solve the problems of undisclosed technical details and blockade, and achieve the effect of improving efficiency and reliability.

Active Publication Date: 2015-02-18
AVIC NO 631 RES INST
View PDF4 Cites 11 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

At present, although foreign companies have researched special object code coverage analysis tools and hardware simulation platforms for OCA, they have been blocking and restricting this technology, and the technical details have not been made public.

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
  • A-grade software object code coverage analysis method conforming to DO-178B/C
  • A-grade software object code coverage analysis method conforming to DO-178B/C
  • A-grade software object code coverage analysis method conforming to DO-178B/C

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0024] The following is attached figure 1 The working principle of the target code coverage analysis method of the present invention is described:

[0025] Step 1) According to the one-to-one mapping relationship between source code and object code (determine the coding rules that should be followed in software coding, formulate a coding rule table; the definition of source code and object code tracking technology is to be supplemented.

[0026] The formulation of the coding rule table should minimize the amount of extra object codes generated;

[0027] Step 2) formulate an additional object code mapping table for the source code that violates the coding rules;

[0028] To complete the target code coverage analysis method, the encoding rule table and the additional target code mapping table are needed to support;

[0029] Among them, as shown in Table 1: the encoding rule table should contain the following attributes:

[0030] Identification: identify the coding rules;

[...

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 belongs to the technical field of comprehensive avionics system software, and particularly relates to an A-grade software object code coverage analysis method conforming to DO-178B / C. By adopting a compilation tool LDRA (Liverpool Data Research Associates) Testbed or Verocel VeroCode, the method comprises the main steps of (1) adopting a source code and object code tracer technique to make a coding rule table; (2) making an extra object code mapping table for source codes breaking a coding rule; (3) carrying out coverage analysis on object codes. The application of the method needs neither the support of an object code coverage analysis tool and a hardware simulation device passing FAA certification, nor thorough manual evaluation and analysis carried out on the software, so that the efficiency and the credibility of object code coverage analysis are greatly improved.

Description

technical field [0001] The invention belongs to the technical field of integrated avionics system software, and in particular relates to a method for analyzing target code coverage of DO-178B / C level A software. Background technique [0002] The development of airborne software complies with the requirements of the DO-178B / C standard, which is the basic requirement for its installation and use. At present, the development of airborne software for domestic large aircraft has entered a critical period. Facing the core key technologies (such as target code coverage analysis technology) in the development and certification of A-level software, domestic enterprises have not had an effective solution. The main technical barriers restricting the development of A-level software onboard domestic large aircraft. [0003] Object Code Coverage Analysis (OCA) is a unique technical requirement for Class A software, which is used to ensure the consistency of software source code and execu...

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 AVIC NO 631 RES INST
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