Article (Scientific journals)
An Empirical Study on the Potential Usefulness of Domain Models for Completeness Checking of Requirements
Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel
2019In Empirical Software Engineering, 24 (4), p. 2509–2539
Peer Reviewed verified by ORBi
 

Files


Full Text
Arora2019_Article_AnEmpiricalStudyOnThePotential.pdf
Publisher postprint (3.58 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Requirements Quality Assurance; Requirements Completeness; Natural-language Requirements; Domain Modeling; Case Study Research
Abstract :
[en] [Context] Domain modeling is a common strategy for mitigating incompleteness in requirements. While the benefits of domain models for checking the completeness of requirements are anecdotally known, these benefits have never been evaluated systematically. [Objective] We empirically examine the potential usefulness of domain models for detecting incompleteness in natural-language requirements. We focus on requirements written as “shall”- style statements and domain models captured using UML class diagrams. [Methods] Through a randomized simulation process, we analyze the sensitivity of domain models to omissions in requirements. Sensitivity is a measure of whether a domain model contains information that can lead to the discovery of requirements omissions. Our empirical research method is case study research in an industrial setting. [Results and Conclusions] We have experts construct domain models in three distinct industry domains. We then report on how sensitive the resulting models are to simulated omissions in requirements. We observe that domain models exhibit near-linear sensitivity to both unspecified (i.e., missing) and under-specified requirements (i.e., requirements whose details are incomplete). The level of sensitivity is more than four times higher for unspecified requirements than under-specified ones. These results provide empirical evidence that domain models provide useful cues for checking the completeness of natural-language requirements. Further studies remain necessary to ascertain whether analysts are able to effectively exploit these cues for incompleteness detection.
Disciplines :
Computer science
Author, co-author :
Arora, Chetan ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Sabetzadeh, Mehrdad ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Briand, Lionel ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
no
Language :
English
Title :
An Empirical Study on the Potential Usefulness of Domain Models for Completeness Checking of Requirements
Publication date :
July 2019
Journal title :
Empirical Software Engineering
ISSN :
1573-7616
Publisher :
Kluwer Academic Publishers, Netherlands
Volume :
24
Issue :
4
Pages :
2509–2539
Peer reviewed :
Peer Reviewed verified by ORBi
Focus Area :
Computational Sciences
European Projects :
H2020 - 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems
FnR Project :
FNR11601446 - Reconciling Natural-language Requirements And Model-based Specification For Effective Development Of Critical Infrastructure Systems, 2017 (01/11/2017-31/10/2019) - Chetan Arora
Funders :
CE - Commission Européenne [BE]
Available on ORBilu :
since 13 February 2019

Statistics


Number of views
398 (113 by Unilu)
Number of downloads
212 (47 by Unilu)

Scopus citations®
 
18
Scopus citations®
without self-citations
15
OpenCitations
 
7
WoS citations
 
13

Bibliography


Similar publications



Contact ORBilu