TY - JOUR
T1 - Parsing BDD Stories for Automated Verification of Software Artefacts
AU - Silva, Thiago Rocha
AU - Fitzgerald, Brian
N1 - Publisher Copyright:
© 2020, Electronic Communications of the EASST. All rights reserved.
PY - 2020
Y1 - 2020
N2 - This position paper reports on our ongoing developments towards the automated verification of software artefacts by parsing sentences on Behaviour-Driven Development (BDD) stories. The solution we propose is based on different strategies for analysing the consistency of user requirements specified in BDD stories on task models, graphical user interfaces (GUIs), GUI prototypes, and domain models. We illustrate our solution through concrete examples and discuss its challenges and limitations.
AB - This position paper reports on our ongoing developments towards the automated verification of software artefacts by parsing sentences on Behaviour-Driven Development (BDD) stories. The solution we propose is based on different strategies for analysing the consistency of user requirements specified in BDD stories on task models, graphical user interfaces (GUIs), GUI prototypes, and domain models. We illustrate our solution through concrete examples and discuss its challenges and limitations.
KW - Automated Verification
KW - Behaviour-Driven Development (BDD)
KW - Software Artefacts
KW - User Requirements Assessment
UR - http://www.scopus.com/inward/record.url?scp=85110665625&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:85110665625
SN - 1863-2122
VL - 79
SP - 1
EP - 9
JO - Electronic Communications of the EASST
JF - Electronic Communications of the EASST
ER -