• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. An Empirical Investigation of the Defect Detection Capabilities of Requirements Specification Languages
 
  • Details
  • Full
Options
2001
Conference Paper
Title

An Empirical Investigation of the Defect Detection Capabilities of Requirements Specification Languages

Abstract
It is a frequently reported effect of applying requirements specification languages that the formalization of informal requirements leads to the detection of defects such as omissions, conflicts, and ambiguities. However, there is little quantitative data available on this effect. This paper presents an empirical study with requirements specification languages, which addresses two research questions. First, which types of defects are detected by a requirements engineer during the development of a requirements model, and second, what happen to those defects that are not detected? The results indicate that ambiguities require special care during formalization, because they are less frequently reported than other types of defects. Instead, ambiguities tend to become often disambiguated unconsciously, which is a serious problem, because implicit assumptions are more likely than in our study to be wrong when the system is more complex. Moreover, ambiguities are misinterpreted more often than other types of defects. Finally, ambiguities, if noticed, require immediate clarification.
Author(s)
Kamsties, E.
Knethen, A. von
Philipps, J.
Schätz, B.
Mainwork
Sixth CAiSE/IFIP8.1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design, EMMSAD '01. Proceedings  
Conference
International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD) 2001  
International Conference on Advanced Information Systems Engineering (CAiSE) 2001  
Language
English
Fraunhofer-Institut für Experimentelles Software Engineering IESE  
Keyword(s)
  • empirical evaluation

  • requirements specification language

  • Unified Modeling Language (UML)

  • requirements engineering

  • requirements document

  • ambiguity

  • formalization

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024