DocumentCode :
3064654
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
fYear :
2007
fDate :
20-26 May 2007
Firstpage :
9
Lastpage :
9
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Quality, 2007. WoSQ'07: ICSE Workshops 2007. Fifth International Workshop on
Conference_Location :
Minneapolis, MN
Print_ISBN :
0-7695-2959-3
Type :
conf
DOI :
10.1109/WOSQ.2007.4
Filename :
4273476
Link To Document :
بازگشت