Title :
The impact of verification and validation of reusable components on software productivity
Author :
Guindi, Dany S. ; Ligon, Walter B. ; McCracken, W. Michael ; Rugaber, Spencer
Author_Institution :
Software Eng. Res. Center, Georgia Inst. of Technol., GA, USA
Abstract :
Discusses the impact of the verification and validation (V&V) of reusable components and how verification and validation complexity can increase with reusable components. It is suggested that with the increase in complexity of V&V comes an associated decrease in expected productivity associated with reuse. Techniques for detecting errors in traditional V&V are examined, and constraint-based analysis is used to support testing of V&V
Keywords :
error detection; program verification; software reusability; complexity; constraint-based analysis; error detection techniques; reusable components; software productivity; testing; validation; verification; Costs; Ducts; Productivity; Programming; Prototypes; Software engineering; Software prototyping; Software reusability; Standardization; Testing;
Conference_Titel :
System Sciences, 1989. Vol.II: Software Track, Proceedings of the Twenty-Second Annual Hawaii International Conference on
Conference_Location :
Kailua-Kona, HI
Print_ISBN :
0-8186-1912-0
DOI :
10.1109/HICSS.1989.48114
