An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies
[extended version]

Abstract:
The rapid process of verification and validation (V&V) development has resulted in a multitude of V&V technologies making V&V selection difficult for practitioners. Since most V&V technologies will be combined it is important to be aware of how they should be combined and the cost-effectiveness of these combinations. This paper presents a strategy for selecting and evaluating particular V&V combinations that focuses on maximising completeness and minimising effort. The strategy includes a systematic approach for applying empirical information regarding the costs and capabilities of V&V technologies for the selection of cost-effective combinations of such technologies.

“You have to be fast on your feet and adaptive or else a strategy is useless.”   Charles de Gaulle