Parsing BDD Stories for Automated Verification of Software Artefacts

Authors

  • Thiago Silva Lero - The Irish Software Research Centre, University of Limerick (UL)
  • Brian Fitzgerald Lero - The Irish Software Research Centre, University of Limerick (UL)

DOI:

https://doi.org/10.14279/tuj.eceasst.79.1119

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.

Downloads

Published

2021-05-10

How to Cite

[1]
T. Silva and B. Fitzgerald, “Parsing BDD Stories for Automated Verification of Software Artefacts”, eceasst, vol. 79, May 2021.

Issue

Vol. 79 (2020): Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)

Section

Articles

License

Copyright (c) 2021 Electronic Communications of the EASST

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.