• Home
  • News
    • News Archive
  • Products
    • DCRTT
    • ISG/ASaP
    • DARTT
    • AutoPilot
  • Service
    • Systematic Project Management (SPM)
    • Systematic Requirements Management (SRM)
  • Experience
    • Rainer Gerlich
    • Ralf Gerlich
    • Company History
  • Papers
  • 2019 Metrics Survey
  • Contact

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

Date19 May 2015 - 21 May 2015
EventDASIA 2015
LocationBarcelona, Spain
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.
Permalink

Files

Paper
Slides
Copyright © 2019 BSSE.
All rights reserved.
Imprint/Impressum Privacy Policy/Datenschutzerklärung Legal Notice