Published online by Cambridge University Press: 19 June 2023
In product development, it is of great importance that a complete, unambiguous, and, as far as possible, contradiction-free target system is defined. Requirements documents of complex systems can contain several thousand individual requirements, derived in an interdisciplinary manner and written in natural language by many different stakeholders. Hence, errors, in the form of contradictions, cannot be completely avoided in these documents and today they must be corrected manually with high effort.
This paper presents an important building block for automated contradiction detection and quality analysis of requirements documents. We discuss the necessary identification of conditions in requirements and the extraction of the verbal expressions associated with condition and effect, respectively. We applied and analyzed natural language processing methods based on grammatical versus machine learning models. The models have been applied to 1,861 real-world requirements. Both approaches generate promising results, with an accuracy partly over 98%. However, in structured specification texts, a grammatical model is preferable due to lower effort in preprocessing and better usability.