On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services

Faezeh Siavashi; Dragos Truscan; Jüri Vain

doi:10.5220/0005970800150026

On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services

Faezeh Siavashi, Dragos Truscan, Jüri Vain

Information Technology

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

Abstract

We present a model-based mutation technique for testing the robustness of Web service compositions. Specifications of a Web service composition is modeled by UPPAAL Timed Automata and the conformance between the model and the implementation is validated by online model-based testing with the UPPAAL TRON tool. By applying a set of well-defined mutation operators, we generated model mutations. We validate all generate mutants and exclude the invalid ones. The remaining mutants are used for online robustness testing providing invalid test inputs and revealing vulnerabilities of the implementation under test. We experimented our method on a Booking System web service composition. The results show that from a total of 1346 generated mutants, 393 are found suitable for online model-based testing. After running the tests, 40 of the mutants revealed 3 new errors in the implementation. The experiment shows that our approach of mutating specifications is effective in detecting errors that were not revealing in the conventional conformance testing methods.

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 11th International Joint Conference on Software Technologies - (Volume 1)
Editors	Maciaszek, Leszek, Cardoso, Jorge, Ludwig, André, Sinderen, Marten van, Cabello, Enrique
Publisher	SCITEPRESS Science And Technology Publications
Pages	15–26
ISBN (Print)	978-989-758-194-6
DOIs	https://doi.org/10.5220/0005970800150026
Publication status	Published - 2016
MoE publication type	A4 Article in a conference publication
Event	International Joint Conference on Software Technologies (ICSOFT) - 11th International Joint Conference on Software Technologies (ICSOFT) Duration: 24 Jul 2016 → 26 Jul 2016

Conference

Conference	International Joint Conference on Software Technologies (ICSOFT)
Period	24/07/16 → 26/07/16

Access to Document

10.5220/0005970800150026

MegaM@Rt2: MegaModelling at Runtime
Truscan, D. (Principal Investigator), Ahmad, T. (Co-Investigator), Iqbal, J. (Co-Investigator), Porres Paltor, I. (Co-Investigator), Siavashi, F. (Co-Investigator) & Ashraf, A. (Co-Investigator)
European Commission
01/04/17 → 31/03/20
Project: EU
N4S: Need for Speed
Porres Paltor, I. (Principal Investigator), Nybom, K. (Co-Investigator), Truscan, D. (Co-Investigator), Ashraf, A. (Co-Investigator), Troubitsyna, E. (Co-Investigator), Byholm, B. (Co-Investigator), Rauf, I. M. (Co-Investigator) & Ahmad, T. (Co-Investigator)
01/01/14 → 31/12/16
Project: Industry/Business Finland

Cite this

Siavashi, F., Truscan, D., & Vain, J. (2016). On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. In Maciaszek, Leszek, Cardoso, Jorge, Ludwig, André, Sinderen, M. van, Cabello, & Enrique (Eds.), Proceedings of the 11th International Joint Conference on Software Technologies - (Volume 1) (pp. 15–26). SCITEPRESS Science And Technology Publications. https://doi.org/10.5220/0005970800150026

Siavashi, Faezeh ; Truscan, Dragos ; Vain, Jüri. / On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. Proceedings of the 11th International Joint Conference on Software Technologies - (Volume 1). editor / Maciaszek ; Leszek ; Cardoso ; Jorge ; Ludwig ; André ; Sinderen ; Marten van ; Cabello ; Enrique. SCITEPRESS Science And Technology Publications, 2016. pp. 15–26

@inproceedings{59f3eaf5469a4aa3a25441582065883f,

title = "On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services",

abstract = "We present a model-based mutation technique for testing the robustness of Web service compositions. Specifications of a Web service composition is modeled by UPPAAL Timed Automata and the conformance between the model and the implementation is validated by online model-based testing with the UPPAAL TRON tool. By applying a set of well-defined mutation operators, we generated model mutations. We validate all generate mutants and exclude the invalid ones. The remaining mutants are used for online robustness testing providing invalid test inputs and revealing vulnerabilities of the implementation under test. We experimented our method on a Booking System web service composition. The results show that from a total of 1346 generated mutants, 393 are found suitable for online model-based testing. After running the tests, 40 of the mutants revealed 3 new errors in the implementation. The experiment shows that our approach of mutating specifications is effective in detecting errors that were not revealing in the conventional conformance testing methods.",

author = "Faezeh Siavashi and Dragos Truscan and J{\"u}ri Vain",

year = "2016",

doi = "10.5220/0005970800150026",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-989-758-194-6",

pages = "15–26",

editor = "Maciaszek and Leszek and Cardoso and Jorge and Ludwig and Andr{\'e} and Sinderen and Marten van and Cabello and Enrique",

booktitle = "Proceedings of the 11th International Joint Conference on Software Technologies - (Volume 1)",

publisher = "SCITEPRESS Science And Technology Publications",

note = "International Joint Conference on Software Technologies (ICSOFT) ; Conference date: 24-07-2016 Through 26-07-2016",

}

Siavashi, F, Truscan, D & Vain, J 2016, On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. in Maciaszek, Leszek, Cardoso, Jorge, Ludwig, André, Sinderen, M van, Cabello & Enrique (eds), Proceedings of the 11th International Joint Conference on Software Technologies - (Volume 1). SCITEPRESS Science And Technology Publications, pp. 15–26, International Joint Conference on Software Technologies (ICSOFT), 24/07/16. https://doi.org/10.5220/0005970800150026

On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. / Siavashi, Faezeh; Truscan, Dragos; Vain, Jüri.
Proceedings of the 11th International Joint Conference on Software Technologies - (Volume 1). ed. / Maciaszek; Leszek; Cardoso; Jorge; Ludwig; André; Sinderen; Marten van; Cabello; Enrique. SCITEPRESS Science And Technology Publications, 2016. p. 15–26.

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

TY - GEN

T1 - On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services

AU - Siavashi, Faezeh

AU - Truscan, Dragos

AU - Vain, Jüri

PY - 2016

Y1 - 2016

N2 - We present a model-based mutation technique for testing the robustness of Web service compositions. Specifications of a Web service composition is modeled by UPPAAL Timed Automata and the conformance between the model and the implementation is validated by online model-based testing with the UPPAAL TRON tool. By applying a set of well-defined mutation operators, we generated model mutations. We validate all generate mutants and exclude the invalid ones. The remaining mutants are used for online robustness testing providing invalid test inputs and revealing vulnerabilities of the implementation under test. We experimented our method on a Booking System web service composition. The results show that from a total of 1346 generated mutants, 393 are found suitable for online model-based testing. After running the tests, 40 of the mutants revealed 3 new errors in the implementation. The experiment shows that our approach of mutating specifications is effective in detecting errors that were not revealing in the conventional conformance testing methods.

AB - We present a model-based mutation technique for testing the robustness of Web service compositions. Specifications of a Web service composition is modeled by UPPAAL Timed Automata and the conformance between the model and the implementation is validated by online model-based testing with the UPPAAL TRON tool. By applying a set of well-defined mutation operators, we generated model mutations. We validate all generate mutants and exclude the invalid ones. The remaining mutants are used for online robustness testing providing invalid test inputs and revealing vulnerabilities of the implementation under test. We experimented our method on a Booking System web service composition. The results show that from a total of 1346 generated mutants, 393 are found suitable for online model-based testing. After running the tests, 40 of the mutants revealed 3 new errors in the implementation. The experiment shows that our approach of mutating specifications is effective in detecting errors that were not revealing in the conventional conformance testing methods.

U2 - 10.5220/0005970800150026

DO - 10.5220/0005970800150026

M3 - Publicerad konferensartikel

SN - 978-989-758-194-6

SP - 15

EP - 26

BT - Proceedings of the 11th International Joint Conference on Software Technologies - (Volume 1)

A2 - Maciaszek, null

A2 - Leszek, null

A2 - Cardoso, null

A2 - Jorge, null

A2 - Ludwig, null

A2 - André, null

A2 - Sinderen, null

A2 - van, Marten

A2 - Cabello, null

A2 - Enrique, null

PB - SCITEPRESS Science And Technology Publications

T2 - International Joint Conference on Software Technologies (ICSOFT)

Y2 - 24 July 2016 through 26 July 2016

ER -

Siavashi F, Truscan D, Vain J. On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. In Maciaszek, Leszek, Cardoso, Jorge, Ludwig, André, Sinderen, van M, Cabello, Enrique, editors, Proceedings of the 11th International Joint Conference on Software Technologies - (Volume 1). SCITEPRESS Science And Technology Publications. 2016. p. 15–26 doi: 10.5220/0005970800150026

On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services

Abstract

Conference

Access to Document

Projects

MegaM@Rt2: MegaModelling at Runtime

N4S: Need for Speed

Cite this