loading
Documents

Research.Publish.Connect.

Paper

Authors: Faezeh Siavashi 1 ; Dragos Truscan 1 ; Irum Rauf 1 and Jüri Vain 2

Affiliations: 1 Åbo Akademi University, Finland ; 2 Tallinn University of Technology, Estonia

ISBN: 978-989-758-194-6

Keyword(s): Web Service Composition, Specification Mutation, Robustness Testing, Model-based Testing, UPPAAL, TRON.

Related Ontology Subjects/Areas/Topics: Cross-Feeding between Data and Software Engineering ; Model-Driven Engineering ; Software Engineering ; Software Engineering Methods and Techniques ; Software Testing and Maintenance

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 wer e not revealing in the conventional conformance testing methods. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.235.48.106

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Siavashi F., Truscan D., Rauf I. and Vain J. (2016). On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services.In Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016) ISBN 978-989-758-194-6, pages 15-26. DOI: 10.5220/0005970800150026

@conference{icsoft-ea16,
author={Faezeh Siavashi and Dragos Truscan and Irum Rauf and Jüri Vain},
title={On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services},
booktitle={Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016)},
year={2016},
pages={15-26},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005970800150026},
isbn={978-989-758-194-6},
}

TY - CONF

JO - Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016)
TI - On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services
SN - 978-989-758-194-6
AU - Siavashi F.
AU - Truscan D.
AU - Rauf I.
AU - Vain J.
PY - 2016
SP - 15
EP - 26
DO - 10.5220/0005970800150026

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.