Ensuring the Consistency between User Requirements and Task Models: A Behavior-Based Automated Approach - Archive ouverte HAL
Article Dans Une Revue Proceedings of the ACM on Human-Computer Interaction Année : 2020

Ensuring the Consistency between User Requirements and Task Models: A Behavior-Based Automated Approach

Résumé

Evaluating and ensuring the consistency between user requirements and modeling artifacts is a long-time issue for model-based software design. Conflicts in requirements specifications can lead to many design errors and have a decisive impact on the quality of systems under development. This article presents an approach based on Behavior-Driven Development (BDD) to provide automated assessment for task models, which are intended to model the flow of user and system tasks in an interactive system. The approach has been evaluated by exploiting user requirements described by a group of experts in the domain of business trips. Such requirements gave rise to a set of BDD stories that have been used to automatically assess scenarios extracted from task models that were reengineered from an existing web system for booking business trips. The results have shown our approach, by performing a static analysis of the source files, was able to identify different types of inconsistencies between the user requirements and the set of task models analyzed.
Fichier principal
Vignette du fichier
3394979.pdf (8.32 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03138755 , version 1 (12-10-2021)

Identifiants

Citer

Thiago Rocha Silva, Marco Winckler, Hallvard Trætteberg. Ensuring the Consistency between User Requirements and Task Models: A Behavior-Based Automated Approach. Proceedings of the ACM on Human-Computer Interaction , 2020, Proceedings of the ACM on Human-Computer Interaction (HCI), 4 : EICS (article 77), pp.1-32. ⟨10.1145/3394979⟩. ⟨hal-03138755⟩
79 Consultations
29 Téléchargements

Altmetric

Partager

More