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.

References

  1. Barnett, M., Deline, R., Jacobs, B., Fähndrich, M., Leino, K. R. M., Schulte, W. & Venter, H. (2005) The Spec# Programming System: Challenges and Directions. VSTTE2005.
  2. Blankenhorn, K. (2004) A UML Profile for GUI Layout. Department of Digital Media. University of Applied Sciences Furtwangen.
  3. Blankenhorn, K. & Walter, W. (2004) Extending UML to GUI Modeling. IN R. KEIL-SLAWIK, H. S., G. SZWILLUS (Ed.) Mensch & Computer 2004. Allgegenwärtige Interaktion, München, Oldenbourg Verlag.
  4. Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N. & Veanes, M. (2005) Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Microsoft Research.
  5. Constantine, L. L. (2003) Canonical Abstract Prototypes for Visual and Interaction Design. Interactive Systems. Design, Specification and Verification DSV-IS'03. Springer LNCS 2844.
  6. Nunes, N. J. & Cunha, J. F. E. (2000) Towards a UML profile for interaction design: the Wisdom approach. IN SELIC, A. E. A. S. K. A. B. (Ed.) Third International Conference. York, UK, Springer.
  7. Paiva, A. C. R. (2007) Automated Specification-Based Testing of Graphical User Interfaces. Department of Electrical and Computer Engineering. Porto, Engineering Faculty of Porto University (Ph.D thesis).
  8. Paternò, F., Mancini, C. & Meniconi, S. (1997) ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. Interact'97.
  9. Silva, J. L., Campos, J. C. & Paiva, A. C. R. (2007) Model-based user interface testing with Spec Explorer and ConcurTaskTrees. 2nd International Workshop on Formal Methods for Interactive Systems. Lancaster, UK.
  10. Silva, P. P. D. & Paton, N. W. (2000) UMLi: The Unified Modeling Language for Interactive Applications. Third International Conference UML2000 - The Unified Modeling Language. Advancing the Standard.
  11. Utting, M. & Legeard, B. (2007) Practical Model-Based Testing: A Tools Approach, San Francisco, Morgan Kaufmann Publisher.
  12. Vanderdonckt, J., Limbourg, Q., Michotte, B., Bouillon, L., Trevisan, D. & Florins, M. (2004) USIXML: a User Interface Description Language for Specifying Multimodal User Interfaces. WMI'04: Proceedings of the W3C Workshop on Multimodal Web Applications.
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