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#. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Paiva, A. C. R., Faria, J. C. P., & Vidal, R. F. A. M. (2003). Specification-based testing of user interfaces. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2844, 139–153. https://doi.org/10.1007/978-3-540-39929-2_10
Mendeley helps you to discover research relevant for your work.