Supercharge Your Innovation With Domain-Expert AI Agents!

A Method of Object Verification and Evidence Model Extraction for DO-178c Software Testing Process

A technique of software testing, extracting methods, applied in the computer field, capable of solving problems such as lack of solutions

Active Publication Date: 2017-09-29
BEIHANG UNIV
View PDF3 Cites 0 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
  • A Method of Object Verification and Evidence Model Extraction for DO-178c Software Testing Process
  • A Method of Object Verification and Evidence Model Extraction for DO-178c Software Testing Process
  • A Method of Object Verification and Evidence Model Extraction for DO-178c Software Testing Process

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 present invention relates to a target verification and evidence model extraction method oriented to the DO-178C software testing process, establishes an argumentation structure for related targets in the software testing process, analyzes the corresponding evidence requirements, and establishes an evidence model based on the evidence requirements. According to the evidence model, When the project data corresponds to the evidence model, the automation of the goal demonstration is realized, and a set of automatic reasoning solutions is proposed to realize the goal of the DO‑178C software testing process. Make the software testing process more in line with the airworthiness certification specifications, and provide effective help for determining the goal of the software testing process that has passed the airworthiness certification; complete the step of collecting evidence more efficiently and reduce costs; realize automatic control of target satisfaction Reasoning saves costs, especially when there is a large amount of data that needs to be demonstrated, and the efficiency is significantly 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 Patents(China)
IPC IPC(8): G06F11/36
Inventor 刘超杨阳杨海燕任健
Owner BEIHANG UNIV
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2025 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com