Title :
An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies
Author :
Wojcicki, Margaret A. ; Strooper, Paul
Author_Institution :
Queensland Univ., Brisbane
Abstract :
The rapid development of verification and validation (V&V) 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.
Keywords :
program verification; iterative empirical strategy; systematic selection; validation technologies; verification technologies; Costs; Electrical safety; IEC standards; ISO standards; Information analysis; Information technology; Inspection; Skeleton; Software quality; Testing;
Conference_Titel :
Software Quality, 2007. WoSQ'07: ICSE Workshops 2007. Fifth International Workshop on
Conference_Location :
Minneapolis, MN
Print_ISBN :
0-7695-2959-3
DOI :
10.1109/WOSQ.2007.4