A FRAMEWORK FOR PERFORMING VERIFICATION AND VALIDATION IN REUSE-BASEDSOFTWARE ENGINEERING

Verification and Validation (V&V) is currently performed during applic ation development for many systems, especially safety-critical and mis sion-critical systems. The V&V process is intended to discover errors, especially errors related to critical processing, as early as possibl e during the development process. The system application provides the context under which the software artifacts are validated. This paper d escribes a framework that extends V&V from an individual application s ystem to a product line of systems that are developed within an archit ecture-based software engineering environment. This framework includes the activities of traditional application-level V&V, and extends thes e activities into domain engineering and into the transition between d omain engineering and application engineering. The framework includes descriptions of the types of activities to be performed during each of the life-cycle phases, and provides motivation for the activities.