Software reuse in the IV&V of system of systems

In this paper we address the need to increase the effectiveness and productivity of independent verification and validation (IV&V) of complex system-of-systems software via software reuse. We build upon our previous work on computer-aided IV&V techniques that advocate the use of a system reference model (SRM) to capture the IV&V team's understanding of the problem. An SRM is composed of use cases, Unified Modeling Language (UML) artifacts (e.g., activity diagrams, sequence diagrams, and class diagrams), and executable statechart-based assertions. Each statechart-based assertion is accompanied by a set of test scenarios, which is indispensable for a precise description of the required behaviors that satisfy the system goals. This paper describes a framework for reusing the SRM artifacts in the IV&V of system-of-systems software and presents a high-level architecture of a software reuse environment to support the framework.