2021/05/10 by Thiago Rocha Silva, Brian Fitzgerald, Silva, Thiago +1
Computer Science · #Advanced Software Engineering Methodologies #Software Engineering Research #Software Engineering Techniques and Practices
paper · doi:10.14279/tuj.eceasst.79.1119
openalex publication_date 2024/03/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/01
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.