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

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

Gerlich, Ralf and Gerlich, Rainer and Fischer, Anton and Pinto, Mário and Prause, Christian (2016) Early Results from Characterizing Verification Tools through Coding Error Candidates Reported in Space Flight Software. In: European Space Agency, (Special Publication) ESA SP. Data Systems In Aerospace, 10.-12.5.2016, Tallinn, Estland. (In Press)

[img] PDF
369kB

Abstract

Six software verification tools have been applied to space flight software and the findings reported by each tool have been compared in order to derive footprints of the tools regarding capabilities of fault identification. Currently available results are provided in this paper: sensitivity and precision of individual tools and combinations of pairs of tools out of the set. A reader should bear in mind that the results as presented here depend on the spectrum of fault types as present in the reference software and on the configuration of tools towards real defects and fault types which are of interest for embedded systems and space flight software.

Item URL in elib:https://elib.dlr.de/104576/
Document Type:Conference or Workshop Item (Speech)
Title:Early Results from Characterizing Verification Tools through Coding Error Candidates Reported in Space Flight Software
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Gerlich, RalfDr. Rainer Gerlich BSSE System and Software EngineeringUNSPECIFIED
Gerlich, RainerDr. Rainer Gerlich BSSE System and Software EngineeringUNSPECIFIED
Fischer, Antonetamax space GmbHUNSPECIFIED
Pinto, Márioetamax space GmbHUNSPECIFIED
Prause, ChristianChristian.Prause (at) dlr.dehttps://orcid.org/0000-0003-4856-529X
Date:May 2016
Journal or Publication Title:European Space Agency, (Special Publication) ESA SP
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:No
Series Name:ESA SP
Status:In Press
Keywords:tool footprints, verification tools, false positives, false negatives, software faults, fault identification, fault coverage, fault report evaluation, software verification, verification efficiency, software verification plan
Event Title:Data Systems In Aerospace
Event Location:Tallinn, Estland
Event Type:international Conference
Event Dates:10.-12.5.2016
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:39
Last Modified:21 Feb 2020 12:37

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.