A comparison of state-based modelling tools for model validation

Emine G Aydal; Mark Utting; Jim Woodcock

doi:10.1007/978-3-540-69824-1_16

Back

A comparison of state-based modelling tools for model validation

Conference paper

Open access

Peer reviewed

A comparison of state-based modelling tools for model validation

Emine G Aydal, Mark Utting and Jim Woodcock

Objects, Components, Models and Patterns, pp.278-296

International Conference TOOLS EUROPE 2008, 46th (Zurich, Switzerland, 30-Jun-2008–04-Jul-2008)

Lecture Notes in Business Information Processing (LNBIP), 11, Springer Berlin Heidelberg

2008

DOI: https://doi.org/10.1007/978-3-540-69824-1_16

Files and links (2)

pdf

PDF - Author Accepted Version192.92 kBDownload View

Accepted VersionPDF - Author Accepted Version Open Access

url

https://doi.org/10.1007/978-3-540-69824-1_16View

Published Version

Abstract

Computer Software

model-based testing

UML

alloy

In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation. UML, Alloy and Z are examples of popular state-based modelling languages. In the literature, there has been research about the similarities and the differences between modelling languages. However, we believe that, in addition to recognising the expressive power of modelling languages, it is crucial to detect the capabilities and the weaknesses of analysis tools that parse and analyse models written in these languages. In order to explore this area, we have chosen four model analysis tools: USE, Alloy Analyzer, ZLive and ProZ and observed how modelling and validation stages of MBT are handled by these tools for the same system. Through this experiment, we not only concretise the tasks that form the modelling and validation stages of MBT process, but also reveal how efficiently these tasks are carried out in different tools.

Details

Title: A comparison of state-based modelling tools for model validation
Authors: Emine G Aydal (Author) - University of York, United Kingdom
Mark Utting (Author) - University of Waikato, New Zealand
Jim Woodcock (Author) - University of York, United Kingdom
Contributors: R F Paige (Editor)
Bertrand Meyer (Editor)
Publication details: Objects, Components, Models and Patterns, pp.278-296
Conference details: International Conference TOOLS EUROPE 2008, 46th (Zurich, Switzerland, 30-Jun-2008–04-Jul-2008)
Series: Lecture Notes in Business Information Processing (LNBIP); 11
Publisher: Springer Berlin Heidelberg
Date published: 2008
DOI: 10.1007/978-3-540-69824-1_16
ISBN: 9783540698234
Copyright note: Copyright © Springer 2008. The author's accepted version is reproduced here in accordance with the publisher's copyright policy. The final publication is available at www.springerlink.com
Organisation Unit: School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
Language: English
Record Identifier: 99447779602621
Output Type: Conference paper
Research Statement: false

Metrics

39 File views/ downloads

431 Record Views