Title :
Improvement of design specifications with inspection and testing
Author :
Winkler, Dietmar ; Riedl, Bernhard ; Biffl, Stefan
Author_Institution :
Inst. of Software Technol., Vienna Univ. of Technol., Austria
fDate :
30 Aug.-3 Sept. 2005
Abstract :
Inspection and testing are common verification and validation (V&V) approaches for defect detection and removal in the software development processes. Testing approaches require executable code, typically available in later life-cycle phases. Software inspection is a defect detection technique applicable to early life-cycle documents, e.g., during design. The usage-based reading (UBR) technique approach is a structured method for inspection support. In this paper we introduce a testing variant, usage-based testing (UBT-i) that integrates testing scenarios and inspection techniques. UBT-i is a paper based testing approach (i.e. a desk test without the need for executable software) applicable to design specifications. We present an initial empirical study on defect detection effectiveness and efficiency with respect to several defect severity classes and defect locations (code or design). Main results of the study are (a) UBR and UBT-i perform similarly regarding both effectiveness and efficiency and (b) the approaches focus on different defect classes regarding defect severity and defect location.
Keywords :
formal specification; program testing; program verification; software fault tolerance; software process improvement; defect detection; design specification; software development process; software inspection; software testing; software validation; software verification; usage-based reading; usage-based testing; Application software; Inspection; Life testing; Programming; Quality assurance; Software design; Software engineering; Software quality; Software testing; System testing; Software Inspection; Software Product Improvement.; Usage-Based Testing; Verification and Validation;
Conference_Titel :
Software Engineering and Advanced Applications, 2005. 31st EUROMICRO Conference on
Print_ISBN :
0-7695-2431-1
DOI :
10.1109/EUROMICRO.2005.30