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

Authors:
Günther Zoffmann;Manfred Gingerl;Christian Reumann;Gerald Sonneck
Affiliations:
-;-;-;-
Venue:
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Year:
2001

Citing 2
Cited 0

Software Verification and Validation: A Practitioner's Guide

Software Verification and Validation: A Practitioner's Guide
A Dependability-Explicit Model for the Development of Computing Systems

SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security

Quantified Score

Hi-index	0.00

Visualization

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".