VISUAL ABSTRACT NOTATION FOR GUI MODELLING AND TESTING - VAN4GUIM

Rodrigo M. L. M. Moreira, Ana C. R. Paiva

2008

Abstract

This paper presents a new Visual Notation for GUI Modelling and testing (VAN4GUIM) which aims to hide, as much as possible, formalism details inherent to models used in model-based testing (MBT) approaches and to promote the use of MBT in industrial environments providing a visual front-end for modelling which is more attractive to testers than textual notation. This visual notation is developed as five different UML profiles and based on three notations/concepts: Canonical abstract Prototyping notation; ConcurTaskTrees (CTT) notation; and the Window Manager concept. A set of translation rules was defined in order to automatically perform conversion from VAN4GUIM to Spec#. GUI models are developed with VAN4GUIM notation then translated automatically to Spec# that can be then completed manually with additional behaviour not included in the visual model. As soon as a Spec# model is completed, it can be used as input to Spec Explorer (model-based testing tool) which generates test cases and executes those tests automatically.

Download


Paper Citation


in Harvard Style

M. L. M. Moreira R. and C. R. Paiva A. (2008). VISUAL ABSTRACT NOTATION FOR GUI MODELLING AND TESTING - VAN4GUIM . In Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8111-52-4, pages 104-111. DOI: 10.5220/0001894001040111

in Bibtex Style

@conference{icsoft08,
author={Rodrigo M. L. M. Moreira and Ana C. R. Paiva},
title={VISUAL ABSTRACT NOTATION FOR GUI MODELLING AND TESTING - VAN4GUIM},
booktitle={Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2008},
pages={104-111},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001894001040111},
isbn={978-989-8111-52-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT,
TI - VISUAL ABSTRACT NOTATION FOR GUI MODELLING AND TESTING - VAN4GUIM
SN - 978-989-8111-52-4
AU - M. L. M. Moreira R.
AU - C. R. Paiva A.
PY - 2008
SP - 104
EP - 111
DO - 10.5220/0001894001040111