• DocumentCode
    2180737
  • 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
  • fYear
    2005
  • fDate
    30 Aug.-3 Sept. 2005
  • Firstpage
    222
  • Lastpage
    230
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering and Advanced Applications, 2005. 31st EUROMICRO Conference on
  • Print_ISBN
    0-7695-2431-1
  • Type

    conf

  • DOI
    10.1109/EUROMICRO.2005.30
  • Filename
    1517746