• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services

Faezeh Siavashi, Dragos Truscan, Irum Rauf, Juri Vain, On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. In: Leszek Maciaszek, Jorge Cardoso, André Ludwig, Marten van Sinderen, Enrique Cabello (Eds.), Proceedings of the 11th International Joint Conference on Software Technologies, 1, 15–26, SCITEPRESS-Science and Technology Publications, 2016.

http://dx.doi.org/10.5220/0005970800150026

Abstract:

We present a model-based mutation technique for testing the robustness of Web service compositions. Specifi-
cations 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.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpSiTrVa16a,
  title = {On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services},
  booktitle = {Proceedings of the 11th International Joint Conference on Software Technologies},
  author = {Siavashi, Faezeh and Truscan, Dragos and Rauf, Irum and Vain, Juri},
  volume = {1},
  editor = {Maciaszek, Leszek and Cardoso, Jorge and Ludwig, André and Sinderen, Marten van and Cabello, Enrique},
  publisher = {SCITEPRESS-Science and Technology Publications},
  pages = {15–26},
  year = {2016},
  keywords = {Web Service Composition, Specification Mutation, Robustness Testing, Model-based Testing, UPPAAL, TRON},
}

Belongs to TUCS Research Unit(s): Software Engineering Laboratory (SE Lab)

Publication Forum rating of this publication: level 1

Edit publication