In this paper, we present the AsmetaVBDD tool that automatically translates the scenarios written in the AValLa language (used by the asmeta validator (AsmetaV)) into Behavior-Driven Development scenarios for C++.

(2018). Generation of behavior-driven development C++ tests from abstract state machine scenarios . Retrieved from http://hdl.handle.net/10446/131419

Generation of behavior-driven development C++ tests from abstract state machine scenarios

Bonfanti, Silvia;Gargantini, Angelo;
2018-01-01

Abstract

In this paper, we present the AsmetaVBDD tool that automatically translates the scenarios written in the AValLa language (used by the asmeta validator (AsmetaV)) into Behavior-Driven Development scenarios for C++.
[email protected]
WOS:000589675200013
2-s2.0-85055776361
2018
Inglese
New Trends in Model and Data Engineering. MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
El Hassan AbdelwahedLadjel BellatrecheDjamal BenslimaneMatteo GolfarelliStéphane JeanDominique MeryKazumi NakamatsuCarlos Ordonez
978-3-030-02852-7
929
146
152
online
Switzerland
Cham
Springer
8th International Conference on Model and Data Engineering, MEDI 2018, International Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2018, Model and Data Engineering for Social Good Workshop, MEDI4SG 2018, 2nd International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems, IWCFS 2018, International Workshop on Formal Model for Mastering Multifaceted Systems, REMEDY 2018, Marrakesh, Morocco, 24–26 October 2018
Marrakesh (Morocco)
24–26 October 2018
internazionale
Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
Abstract State Machine; Behavior-Driven Development C++; Tests; Avalla
info:eu-repo/semantics/conferenceObject
3
Bonfanti, Silvia; Gargantini, Angelo Michele; Mashkoor, Atif
1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
reserved
Non definito
273
(2018). Generation of behavior-driven development C++ tests from abstract state machine scenarios . Retrieved from http://hdl.handle.net/10446/131419
File allegato/i alla scheda:
File Dimensione del file Formato  
chapter.pdf

Solo gestori di archivio

Versione: postprint - versione referata/accettata senza referaggio
Licenza: Licenza default Aisberg
Dimensione del file 1.46 MB
Formato Adobe PDF
  Visualizza/Apri
1.46 MB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/131419
Citazioni
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 6
social impact