elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Characterizing Verification Tools through Coding Error Candidates Reported in Space Flight Software

Prause, Christian and Gerlich, Ralf and Gerlich, Rainer and Fischer, Anton (2015) Characterizing Verification Tools through Coding Error Candidates Reported in Space Flight Software. DASIA 2015, 2015-05-19 - 2015-05-21, Barcelona, Spanien.

[img] PDF
303kB

Abstract

Mastering the continuously increasing amount of software requires identification of more efficient strategies for software verification. Currently, fault coverage is only indirectly addressed, e.g. by code coverage. The idea as presented in this paper is to get a better understanding of fault coverage by a systematic classification of software fault types, derivation of footprints of verification tools regarding coverage of such fault types, and recording of required effort. A number of issues regarding fault identification and classification are discussed in this context.

Item URL in elib:https://elib.dlr.de/104566/
Document Type:Conference or Workshop Item (Speech)
Title:Characterizing Verification Tools through Coding Error Candidates Reported in Space Flight Software
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Prause, ChristianUNSPECIFIEDhttps://orcid.org/0000-0003-4856-529XUNSPECIFIED
Gerlich, RalfDr. Rainer Gerlich BSSE System and Software EngineeringUNSPECIFIEDUNSPECIFIED
Gerlich, RainerDr. Rainer Gerlich BSSE System and Software EngineeringUNSPECIFIEDUNSPECIFIED
Fischer, Antonetamax Space GmbHUNSPECIFIEDUNSPECIFIED
Date:May 2015
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Volume:732
Series Name:ESA SP
Status:Published
Keywords:software faults, fault identification, fault coverage, software verification, verification tools, verification efficiency, ECSS, DO178, EN 50128
Event Title:DASIA 2015
Event Location:Barcelona, Spanien
Event Type:international Conference
Event Start Date:19 May 2015
Event End Date:21 May 2015
Organizer:Eurospace
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:other
DLR - Research area:Raumfahrt
DLR - Program:R - no assignment
DLR - Research theme (Project):R - no assignment
Location: Bonn-Oberkassel
Institutes and Institutions:Space Administration
Deposited By: Prause, Dr. Christian
Deposited On:21 Nov 2019 11:40
Last Modified:24 Apr 2024 20:09

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.