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

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