Problem of Inconsistency in Textual Requirements Specification

David Šenkýř, Petr Kroha

2021

Abstract

In this contribution, we investigate the inconsistency problem in the textual description of functional requirements specifications. In the past, the inconsistency problem was investigated using analysis of the UML models. We argue that some sources of inconsistency can be revealed in the very first steps of textual requirements analysis using linguistic patterns that we developed. We cluster the sentences according to their semantic similarity given by their lexical content and syntactic structure. Our contribution focus on revealing linguistic contradictions (e.g., a combination of passive voice, antonyms, negated synonyms, etc.) of facts and rules described in different parts of requirements together with contradictions of the internally generated model.

Paper Citation

in Harvard Style

Šenkýř D. and Kroha P. (2021). Problem of Inconsistency in Textual Requirements Specification. In Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-508-1, pages 213-220. DOI: 10.5220/0010421602130220

in Bibtex Style

@conference{enase21,
author={David Šenkýř and Petr Kroha},
title={Problem of Inconsistency in Textual Requirements Specification},
booktitle={Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2021},
pages={213-220},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010421602130220},
isbn={978-989-758-508-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Problem of Inconsistency in Textual Requirements Specification
SN - 978-989-758-508-1
AU - Šenkýř D.
AU - Kroha P.
PY - 2021
SP - 213
EP - 220
DO - 10.5220/0010421602130220