On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services

Faezeh Siavashi, Dragos Truscan, Jüri Vain

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review


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.
Titel på värdpublikationProceedings of the 11th International Joint Conference on Software Technologies - (Volume 1)
Redaktörer Maciaszek, Leszek, Cardoso, Jorge, Ludwig, André, Sinderen, Marten van, Cabello, Enrique
FörlagSCITEPRESS Science And Technology Publications
ISBN (tryckt)978-989-758-194-6
StatusPublicerad - 2016
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangInternational Joint Conference on Software Technologies (ICSOFT) - 11th International Joint Conference on Software Technologies (ICSOFT)
Varaktighet: 24 juli 201626 juli 2016


KonferensInternational Joint Conference on Software Technologies (ICSOFT)

Citera det här