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”.
Unable to display preview. Download preview PDF.
- 1.RTCA/DO-178B “Software Considerations in Airborne Systems and Equipment Certification”. RTCA, Washington (1992)Google Scholar
- 3.ISO/IEC 9126 “Software product evaluation-Quality characteristics and guidelines for their use” (1991)Google Scholar
- 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