Title :
Automatic Validation and Correction of Formalized, Textual Requirements
Author :
Holtmann, Jörg ; Meyer, Jan ; Von Detten, Markus
Author_Institution :
s-Lab. - Software Quality Lab., Univ. of Paderborn, Paderborn, Germany
Abstract :
Nowadays requirements are mostly specified in unrestricted natural language so that each stakeholder understands them. To ensure high quality and to avoid misunderstandings, the requirements have to be validated. Because of the ambiguity of natural language and the resulting absence of an automatic mechanism, this has to be done manually. Such manual validation techniques are time-consuming, error-prone, and repetitive because hundreds or thousands of requirements must be checked. With an automatic validation the requirements engineering process can be faster and can produce requirements of higher quality. To realize an automatism, we propose a controlled natural language (CNL) for the documentation of requirements. On basis of the CNL, a concept for an automatic requirements validation is developed for the identification of inconsistencies and incomplete requirements. Additionally, automated correction operations for such defective requirements are presented. The approach improves the quality of the requirements and therefore the quality of the whole development process.
Keywords :
formal verification; natural languages; systems analysis; text analysis; automated correction operation; automatic mechanism; automatic validation; controlled natural language; defective requirement; documentation; error-prone; formalized requirements; requirements engineering process; stakeholder; textual requirements; unrestricted natural language; Automotive engineering; Guidelines; Natural languages; Safety; Software; Syntactics; Unified modeling language; Automotive; Graph Transformations; Requirements Correction; Requirements Engineering; Requirements Validation;
Conference_Titel :
Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on
Conference_Location :
Berlin
Print_ISBN :
978-1-4577-0019-4
Electronic_ISBN :
978-0-7695-4345-1
DOI :
10.1109/ICSTW.2011.17