DocumentCode :
230773
Title :
Requirement boilerplates: Transition from manually-enforced to automatically-verifiable natural language patterns
Author :
Arora, Chetan ; Sabetzadeh, Mehrdad ; Briand, Lionel C. ; Zimmer, Frank
Author_Institution :
SnT Centre for Security, Reliability & Trust, Univ. of Luxembourg, Luxembourg, Luxembourg
fYear :
2014
fDate :
26-26 Aug. 2014
Firstpage :
1
Lastpage :
8
Abstract :
By enforcing predefined linguistic patterns on requirements statements, boilerplates serve as an effective tool for mitigating ambiguities and making Natural Language requirements more amenable to automation. For a boilerplate to be effective, one needs to check whether the boilerplate has been properly applied. This should preferably be done automatically, as manual checking of conformance to a boilerplate can be laborious and error prone. In this paper, we present insights into building an automatic solution for checking conformance to requirement boilerplates using Natural Language Processing (NLP). We present a generalizable method for casting requirement boilerplates into automated NLP pattern matchers and reflect on our practical experience implementing automated checkers for two well-known boilerplates in the RE community. We further highlight the use of NLP for identification of several problematic syntactic constructs in requirements which can lead to ambiguities.
Keywords :
computational linguistics; conformance testing; formal verification; natural language processing; pattern matching; RE community; ambiguity mitigation; automated NLP pattern matching; automated checker; automatic verifiable natural language pattern; boilerplate; generalizable method; linguistic pattern; manual conformance checking; natural language processing; natural language requirement; problematic syntactic; Automation; Ear; Grammar; Natural language processing; Pattern matching; Pipelines; Syntactics; NLP Pattern Matching; Natural Language Processing (NLP); Requirement Boilerplates; Text Chunking;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Requirements Patterns (RePa), 2014 IEEE 4th International Workshop on
Conference_Location :
Karlskrona
Type :
conf
DOI :
10.1109/RePa.2014.6894837
Filename :
6894837
Link To Document :
بازگشت