Specification-based testing of user interfaces

• Type: Article in International Scientific Journal
• Date: 2003

Authors

Ana C. R. Paiva (Author) FEUP; João C. P. Faria (Author) FEUP; Raul F. A. M. Vidal (Author) Other

Journal

The Journal is awaiting validation by the Administrative Services.

Title: INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION

Vol. 29

Pages: 139-153

Indexing

ISI Proceedings

ISI Web of Knowledge - 6 Citations

ISI Web of Science

Scopus - 10 Citations

INSPEC

Scientific classification

FOS: Natural sciences > Computer and information sciences

CORDIS: Technological sciences > Technology > Computer technology > Software technology

Other information

Authenticus ID: P-000-JX2

DOI: 10.1007/978-3-540-39929-2_10

Abstract (EN): 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#.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 15