DO-178C software test process orientated object verification and evidence model extracting method

A technology for software testing and extraction methods, applied in the computer field, to solve problems such as lack of solutions

Active Publication Date: 2015-10-14
BEIHANG UNIV
View PDF3 Cites 12 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0011] In view of the above-mentioned analysis, the present invention aims to provide a method for target verification and evidence model extraction facing the DO-178C software testing process, in order to solve the problem of lacking corresponding solutions in the prior art

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
  • DO-178C software test process orientated object verification and evidence model extracting method
  • DO-178C software test process orientated object verification and evidence model extracting method
  • DO-178C software test process orientated object verification and evidence model extracting method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0043] Preferred embodiments of the present invention will be specifically described below in conjunction with the accompanying drawings, wherein the accompanying drawings constitute a part of the application and are used together with the embodiments of the present invention to explain the principles of the present invention.

[0044] as attached Figure 4 As shown, the target verification and evidence model extraction method for the DO-178C software testing process specifically includes the following steps:

[0045] Step 1. According to the DO-178C standard, establish the target decomposition argument model structure of the software test content, that is, the GSN model; the GSN model is to establish the target argument structure represented by the GSN symbol, and the structure will finally be converted into a first-order predicate argument expression logic ;

[0046] The GSN model decomposes the top-level overall goal, and finally decomposes it into sub-goals that can be di...

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 relates to a DO-178C software test process orientated object verification and evidence model extracting method. A demonstration structure of objects associated with a software test process is established; corresponding evidence requirements are analyzed out and an evidence model is established according to the evidence requirements; and according to the evidence model, object demonstration automation is realized when project data is corresponding to the evidence model; and an auto-reasoning solution is disclosed for realizing objects in the DO-178 software test process. According to the DO-178C software test process orientated object verification and evidence model extracting method, the software test process conforms to airworthiness certification specifications better, and effective help is provided for determining the objects of the software test process which passes the airworthiness certification; the step of collecting evidence is completed in a more efficient mode, so that the cost is reduced; automatic reasoning of the object satisfiability is realized, so that the cost is reduced; and especially when a great deal of data needs to demonstrate, the efficiency is remarkably improved.

Description

technical field [0001] The invention relates to the field of computer technology, in particular to a method for target verification and evidence model extraction oriented to the DO-178C software testing process. Background technique [0002] At present, there are many standards for airborne airworthiness software, but the most widely used one is the aviation industry software standard DO-178B proposed by the American Aeronautical Radio Technical Committee. In 2011, on this basis, DO-178C was proposed again. [0003] DO-178C is aimed at the development process of airworthiness software, in order to meet the requirements of safety, it sets different goals for different development stages, provides the activities that can be performed to achieve the corresponding goals, and the corresponding output. [0004] DO-178C divides airworthiness software into four grades, which are A, B, C, and D. Among them, A-level software has the most stringent requirements for safety and needs to...

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): G06F11/36
Inventor 刘超杨阳杨海燕任健
Owner BEIHANG 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