Specification-Based Testing of User Interfaces

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#.

[1]  Bernhard K. Aichernig,et al.  Automated Black-Box Testing with Abstract VDM Oracles , 1999, SAFECOMP.

[2]  Frank Lonczewski,et al.  The FUSE-System: an Integrated User Interface Design Environment , 1996, CADUI.

[3]  Vangalur S. Alagar,et al.  Specification of Software Systems , 1998, Graduate Texts in Computer Science.

[4]  Peter Gorm Larsen,et al.  Modelling Systems: Practical Tools and Techniques in Software Development , 1998 .

[5]  Spencer Rugaber,et al.  Using Declarative Descriptions to Model User Interfaces with MASTERMIND , 1997 .

[6]  Michael D. Harrison,et al.  Formal methods in human-computer interaction , 1990 .

[7]  Angel R. Puerta,et al.  The MECANO Project: Comprehensive and Integrated Support for Model-Based Interface Development , 1996, CADUI.

[8]  Egbert Schlungbaum,et al.  Automatic User Interface Generation from Declarative Models , 1996, CADUI.

[9]  Jean Vanderdonckt,et al.  Towards a Systematic Building of Software Architectures: the TRIDENT Methodological Guide , 1995, DSV-IS.

[10]  Ian MacColl,et al.  User interface correctness , 1997, CROS.

[11]  Sharon Flynn.  Expression Refinement Explained , 1999 .

[12]  James D. Foley,et al.  Controlling user interface objects through pre- and postconditions , 1992, CHI.

[13]  Jeannette M. Wing,et al.  Behavioral Subtyping Using Invariants and Constraints , 2001, FME 2001.

[14]  Philippe Palanque,et al.  Using Declarative Descriptions to Model User Interfaces with MASTERMIND , 1998 .

[15]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[16]  Morten Borup Harning,et al.  An Approach to Structured Display Design - Coping with Conceptual Complexity , 1996, CADUI.