A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B

  • Günther Zoffmann
  • Manfred Gingerl
  • Christian Reumann
  • Gerald Sonneck
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2187)

Abstract

A current goal of ARCS is to set up a software lab dedicated to software verification in accordance with international recognized guidelines and standards, e.g. RTCA/DO-178B. Investigations resulted in a large number and variety of commercially available software tools. A practicable classification scheme for software verification tools was needed. This paper provides a tool classification scheme that is based on four basic tool classification categories: “objectives”, “methods”, “metrics”, and “attributes”.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    RTCA/DO-178B “Software Considerations in Airborne Systems and Equipment Certification”. RTCA, Washington (1992)Google Scholar
  2. 2.
    Rakitin, S. R.: “Software Verification and Validation”. Artech House, Boston London (1997)MATHGoogle Scholar
  3. 3.
    ISO/IEC 9126 “Software product evaluation-Quality characteristics and guidelines for their use” (1991)Google Scholar
  4. 4.
    Kaâniche, M., Laprie, J.-C., Blanquart, J.-P.: “A Dependability-Explicit Model for the Development of Computing Systems” in Lecture Notes in Computer Science 1943, Proceedings of the 19th International Conference, SAFECOMP 2000, Springer-VerlagGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Günther Zoffmann
    • 1
  • Manfred Gingerl
    • 1
  • Christian Reumann
    • 1
  • Gerald Sonneck
    • 1
  1. 1.ARCSSeibersdorfAustria

Personalised recommendations