Projekt per år
Sammanfattning
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.
Originalspråk | Odefinierat/okänt |
---|---|
Titel på värdpublikation | Proceedings 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örlag | SCITEPRESS Science And Technology Publications |
Sidor | 15–26 |
ISBN (tryckt) | 978-989-758-194-6 |
DOI | |
Status | Publicerad - 2016 |
MoE-publikationstyp | A4 Artikel i en konferenspublikation |
Evenemang | International Joint Conference on Software Technologies (ICSOFT) - 11th International Joint Conference on Software Technologies (ICSOFT) Varaktighet: 24 juli 2016 → 26 juli 2016 |
Konferens
Konferens | International Joint Conference on Software Technologies (ICSOFT) |
---|---|
Period | 24/07/16 → 26/07/16 |
Projekt
- 2 Slutfört
-
MegaM@Rt2: MegaModelling at Runtime
Truscan, D., Ahmad, T., Iqbal, J., Porres Paltor, I., Siavashi, F. & Ashraf, A.
01/04/17 → 31/03/20
Projekt: EU
-
N4S: Need for Speed
Porres Paltor, I., Nybom, K., Truscan, D., Ashraf, A., Troubitsyna, E., Byholm, B., Rauf, I. M. & Ahmad, T.
01/01/14 → 31/12/16
Projekt: Företag/Business Finland