On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services

Faezeh Siavashi, Dragos Truscan, Jüri Vain

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Abstrakti

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.
AlkuperäiskieliEi tiedossa
OtsikkoProceedings of the 11th International Joint Conference on Software Technologies - (Volume 1)
Toimittajat Maciaszek, Leszek, Cardoso, Jorge, Ludwig, André, Sinderen, Marten van, Cabello, Enrique
KustantajaSCITEPRESS Science And Technology Publications
Sivut15–26
ISBN (painettu)978-989-758-194-6
DOI - pysyväislinkit
TilaJulkaistu - 2016
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Joint Conference on Software Technologies (ICSOFT) - 11th International Joint Conference on Software Technologies (ICSOFT)
Kesto: 24 heinäkuuta 201626 heinäkuuta 2016

Konferenssi

KonferenssiInternational Joint Conference on Software Technologies (ICSOFT)
Ajanjakso24/07/1626/07/16

Viittausmuodot