Parsing BDD Stories for Automated Verification of Software Artefacts

Thiago Rocha Silva; Brian Fitzgerald

Parsing BDD Stories for Automated Verification of Software Artefacts

Thiago Rocha Silva
, Brian Fitzgerald

University of Limerick

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	1-9
Number of pages	9
Journal	Electronic Communications of the EASST
Volume	79
Publication status	Published - 2020

Keywords

Automated Verification
Behaviour-Driven Development (BDD)
Software Artefacts
User Requirements Assessment

Cite this

@article{7aea23bd149a45c796334f07fc8e70d4,

title = "Parsing BDD Stories for Automated Verification of Software Artefacts",

abstract = "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.",

keywords = "Automated Verification, Behaviour-Driven Development (BDD), Software Artefacts, User Requirements Assessment",

author = "Silva, \{Thiago Rocha\} and Brian Fitzgerald",

year = "2020",

language = "English",

volume = "79",

pages = "1--9",

journal = "Electronic Communications of the EASST",

issn = "1863-2122",

}

TY - JOUR

T1 - Parsing BDD Stories for Automated Verification of Software Artefacts

AU - Silva, Thiago Rocha

AU - Fitzgerald, Brian

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 - https://www.scopus.com/pages/publications/85110665625

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 -

Parsing BDD Stories for Automated Verification of Software Artefacts

Abstract

Keywords

Other files and links

Fingerprint

Cite this