The impact of verification and validation of reusable components on software productivity

Abstract

Discusses the impact of the verification and validation (V&V) of reusable components and how verification and validation complexity can increase with reusable components. It is suggested that with the increase in complexity of V&V comes an associated decrease in expected productivity associated with reuse. Techniques for detecting errors in traditional V&V are examined, and constraint-based analysis is used to support testing of V&V.<>