Please use this identifier to cite or link to this item:
http://dx.doi.org/10.14279/depositonce-16084
For citation please use:
For citation please use:
Main Title: | Fundamental Research on Detecting Contradictions in Requirements: Taxonomy and Semi-Automated Approach |
Author(s): | Gärtner, Alexander Elenga Fay, Tu-Anh Göhlich, Dietmar |
Type: | Article |
URI: | https://depositonce.tu-berlin.de/handle/11303/17303 http://dx.doi.org/10.14279/depositonce-16084 |
License: | https://creativecommons.org/licenses/by/4.0/ |
Abstract: | Requirements documents can contain several thousand individual requirements. They must be error-free to avoid unnecessary complications and costs in the later product development stages. An important part of this is to identify contradictions between two requirements. The first step is therefore to define what contradictions are and in what form they can occur in requirement documents. In this paper the scientific theories regarding contradictions are discussed, concerning to their usefulness for the topic. In doing so, the Aristotelian Logic proved to provide the best basis for an application in the Requirements Engineering context. Based on this theory, we have created specific subtypes of contradictions to match them to the requirements engineering field. The identification of these subtypes is done by a formalization of the requirement sentences and a subsequent analysis by means of simple questions. To validate the method, industrial requirement documents were searched for contradictions. For each detected type of contradiction, we present an example of the detection process. Thereby, we show that the method is easy to apply and may also be used by non-specialists. Thus, our method provides a taxonomy as a basis for further research on automated contradiction detection as well as on automated quality analysis of requirements documents. |
Subject(s): | requirements engineering contradictions conflicts logic |
Issue Date: | 28-Jul-2022 |
Date Available: | 5-Aug-2022 |
Language Code: | en |
DDC Class: | 620 Ingenieurwissenschaften und zugeordnete Tätigkeiten |
Journal Title: | Applied Sciences |
Publisher: | MDPI |
Volume: | 12 |
Issue: | 15 |
Article Number: | 7628 |
Publisher DOI: | 10.3390/app12157628 |
EISSN: | 2076-3417 |
TU Affiliation(s): | Fak. 5 Verkehrs- und Maschinensysteme » Inst. Maschinenkonstruktion und Systemtechnik » FG Methoden der Produktentwicklung und Mechatronik |
Appears in Collections: | Technische Universität Berlin » Publications |
Files in This Item:
This item is licensed under a Creative Commons License