Statistical Testing and Formal Proof Methods: A Combined Approach to Verification of Software Built with Re-used Components

J.H.R. May (UK)

Keywords

Component re-use, Verification, Safety-Critical systems

Abstract

This paper examines the possibilities for a new verification method for software containing re-used components. Using Architectural Software Reliability (ASR) models to exploit re-used components that have been proven-in-use in previous applications, the new method offers a new framework for objective software verification that compliments formal proof methods.

Important Links:

• DOI:
• From Proceeding (374) Software Engineering and Applications - 2002

Go Back