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, 19.-21. Mai 2015, 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 AuthorsAuthors ORCID iD
Prause, Christianchristian.prause (at) dlr.dehttps://orcid.org/0000-0003-4856-529X
Gerlich, RalfDr. Rainer Gerlich BSSE System and Software EngineeringUNSPECIFIED
Gerlich, RainerDr. Rainer Gerlich BSSE System and Software EngineeringUNSPECIFIED
Fischer, Antonetamax Space GmbHUNSPECIFIED
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 Dates:19.-21. Mai 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:21 Nov 2019 11:40

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.