Abstract
It is proposed an approach to integrate formal methods in the software development process, with an emphasis on the user interface development. The approach covers the specification by means of formal models, early model animation and validation, construction and conformity testing of the user interface implementation with respect to the specification. These conformity tests are described in detail through a state transition model with an abstraction function mapping concrete (implementation) to abstract (specification) states and operations. In order to illustrate the approach, it is presented a simple login/password dialog specification in VDM++, using a reusable control specification library, with a straightforward translation to Java or C#.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Puerta, A.: The MECANO Project: Comprehensive and Integrated Support for Model-Based Interface Development. In: Vanderdonckt, J. (ed.) CADUI 1996, pp. 19–36 (1996)
Aichernig, B.K.: Automated black-box testing with abstract VDM oracles. In: Fitzgerald, J., Larsen, P.G. (eds.) Workshop Materials: VDM in Practice!, Part of the FM 1999 World Congress on Formal Methods, Toulouse, September 1999, pp. 57–66 (1999)
Morgan, C.: Programming from Specification, 2nd edn. Prentice Hall, Englewood Cliffs (1998)
Gieskens, D.F., Foley, J.D.: Controlling User Interface Objects Through Pre- and Post-conditions, GVU Technical Report Number GIT-GVU-91-09 (June 1991)
Duke, D., Harrison, M.: Towards a theory of Interactors, Human Computer Interaction Group, Department of Computer Science, University of York (February 1993)
Schlungbaum, E., Elwert, T.: Automatic User Interface Generation from Declarative Models. In: Vanderdonckt, J. (ed.) CADUI 1996, pp. 3–18 (1996)
Bodart, F., Hennebert, A.-M., Leheureux, J.-M., Provot, I., Sacré, B., Vanderdonckt, J.: Towards a Systematic Building of Software Architecture: the TRIDENT Methodological Guide. In: Bastide, P. (ed.) DSVIS 1995, June 5-7, 1995, pp. 262–278 (1995)
Lonczewski, F.: The FUSE-System: an Integrated User Interface Design Environment. In: Vanderdonckt, J. (ed.) CADUI 1996, pp. 37–56 (1996)
MacColl, I., Carrington, D.: User Interface Correctness, Human Computer Interaction. Human Computer Interaction – Spring, 3–3 (Spring 1997)
Fitzgerald, J., Larsen, P.G.: Modelling Systems Practical Tools and Techniques in Software Development. Cambridge University Press, Cambridge (1998)
Liskov, B.H., Wing, J.: Behavioural subtyping using invariants and constraints. Technical Report CMU CS-99-156, School of Computer Science, Carnegie Mellon University (July 1999)
Harning, M.B.: An Approach to Strctured Display Design - Coping with Conceptual Compexity. In: Vanderdonckt, J. (ed.) 2nd International Workshop on Computer-Aided Design of User Interfaces CADUI 1996, Namur, 5-7 June 1996, pp. 121–138. Presses Universitaires de Namur, Namur (1996)
Palanque, P., Bastide, R.: A Formalism for Reliable User Interfaces. Workshop Software Engineering/Human Computer Interaction associated with the IEEE/ICSE 16 conference, Sorento, Italy, May 16-22 (1994)
Alagar, S., Periyasamy, K.: Specification of Software Systems. Springer, Heidelberg (1998)
Flynn, S.: Expression Refinement Explained, Information Technology Centre, National University of Ireland, Galway (1999)
Browne, T.P., Dávila, D., Rugaber, S., Stirewalt, K.: Using Declarative Descriptions to Model User Interfaces with MASTERMIND. In: Paterno, F., Palanque, P. (eds.) Formal Methods in Human Computer Interaction. Springer, Heidelberg (1997)
Wing, J.M.: Formal methods. In: Marciniak, J.J. (ed.) Marciniak, editor, Encyclopedia of Software Engineering, pp. 504–517. John Wiley & Sons, Chichester (1994)
http://www.ifad.dk/ifad.htm [conferred at 9/Oct/2002]
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paiva, A.C.R., Faria, J.C.P., Vidal, R.F.A.M. (2003). Specification-Based Testing of User Interfaces. In: Jorge, J.A., Jardim Nunes, N., Falcão e Cunha, J. (eds) Interactive Systems. Design, Specification, and Verification. DSV-IS 2003. Lecture Notes in Computer Science, vol 2844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39929-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-39929-2_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20159-5
Online ISBN: 978-3-540-39929-2
eBook Packages: Springer Book Archive