Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios

Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor

doi:10.1007/978-3-030-02852-7_13

Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios

Silvia Bonfanti
, Angelo Gargantini
, Atif Mashkoor

Institute of Software Systems Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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++.

Original language	English
Title of host publication	New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings
Editors	El Hassan Abdelwahed andLadjel Bellatreche and Djamal Benslimane and Matteo Golfarelli and St'ephane Jean and Dominique M'ery and Kazumi Nakamatsu and Carlos Ordonez
Publisher	Springer
Pages	146-152
Number of pages	7
DOIs	https://doi.org/10.1007/978-3-030-02852-7_13
Publication status	Published - Oct 2018

Fields of science

102 Computer Sciences
102022 Software development

JKU Focus areas

Computation in Informatics and Mathematics
Engineering and Natural Sciences (in general)

Access to Document

10.1007/978-3-030-02852-7_13

Cite this

Bonfanti, S., Gargantini, A., & Mashkoor, A. (2018). Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. In El Hassan Abdelwahed andLadjel Bellatreche and Djamal Benslimane and Matteo Golfarelli and St'ephane Jean and Dominique M'ery and Kazumi Nakamatsu and Carlos Ordonez (Ed.), New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings (pp. 146-152). Springer. https://doi.org/10.1007/978-3-030-02852-7_13

Bonfanti, Silvia ; Gargantini, Angelo ; Mashkoor, Atif. / Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. editor / El Hassan Abdelwahed andLadjel Bellatreche and Djamal Benslimane and Matteo Golfarelli and St'ephane Jean and Dominique M'ery and Kazumi Nakamatsu and Carlos Ordonez. Springer, 2018. pp. 146-152

@inproceedings{642820ac055c44e3aaeba4a6c2d53225,

title = "Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios",

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++.",

author = "Silvia Bonfanti and Angelo Gargantini and Atif Mashkoor",

year = "2018",

month = oct,

doi = "10.1007/978-3-030-02852-7\_13",

language = "English",

pages = "146--152",

editor = "\{El Hassan Abdelwahed andLadjel Bellatreche and Djamal Benslimane and Matteo Golfarelli and St'ephane Jean and Dominique M'ery and Kazumi Nakamatsu and Carlos Ordonez\}",

booktitle = "New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings",

publisher = "Springer",

}

Bonfanti, S, Gargantini, A & Mashkoor, A 2018, Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. in El Hassan Abdelwahed andLadjel Bellatreche and Djamal Benslimane and Matteo Golfarelli and St'ephane Jean and Dominique M'ery and Kazumi Nakamatsu and Carlos Ordonez (ed.), New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Springer, pp. 146-152. https://doi.org/10.1007/978-3-030-02852-7_13

Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. / Bonfanti, Silvia; Gargantini, Angelo; Mashkoor, Atif.
New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. ed. / El Hassan Abdelwahed andLadjel Bellatreche and Djamal Benslimane and Matteo Golfarelli and St'ephane Jean and Dominique M'ery and Kazumi Nakamatsu and Carlos Ordonez. Springer, 2018. p. 146-152.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios

AU - Bonfanti, Silvia

AU - Gargantini, Angelo

AU - Mashkoor, Atif

PY - 2018/10

Y1 - 2018/10

N2 - 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++.

AB - 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++.

UR - https://www.scopus.com/pages/publications/85055776361

U2 - 10.1007/978-3-030-02852-7_13

DO - 10.1007/978-3-030-02852-7_13

M3 - Conference proceedings

SP - 146

EP - 152

BT - New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings

A2 - El Hassan Abdelwahed andLadjel Bellatreche and Djamal Benslimane and Matteo Golfarelli and St'ephane Jean and Dominique M'ery and Kazumi Nakamatsu and Carlos Ordonez, null

PB - Springer

ER -

Bonfanti S, Gargantini A, Mashkoor A. Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. In El Hassan Abdelwahed andLadjel Bellatreche and Djamal Benslimane and Matteo Golfarelli and St'ephane Jean and Dominique M'ery and Kazumi Nakamatsu and Carlos Ordonez, editor, New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Springer. 2018. p. 146-152 doi: 10.1007/978-3-030-02852-7_13

Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios

Abstract

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this