Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-16084
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:
applsci-12-07628-v2.pdf
Format: Adobe PDF | Size: 5.47 MB
DownloadShow Preview
Thumbnail

Item Export Bar

This item is licensed under a Creative Commons License Creative Commons