Specification-based Testing of User Interfaces

• Author(s): Ana C. R. Paiva ; João C. P. Faria ; Raul F. A. M. Vidal
• Date: 2003
• Persistent ID: http://hdl.handle.net/10216/56794
• Origin: Repositório Aberto da Universidade do Porto
• Subject(s): Ciências Tecnológicas; Tecnologia; Tecnologia de computadores; Tecnologia de software
• Document Type: Conference Object
• Language: English

Description

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