Specification-based testing of user interfaces

• Tipo: Artigo em Revista Científica Internacional
• Data: 2003

Autores

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

Revista

A Revista está pendente de validação pelos Serviços Administrativos.

Título: INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION

Vol. 29

Páginas: 139-153

Indexação

ISI Proceedings

ISI Web of Knowledge - 6 Citações

ISI Web of Science

Scopus - 10 Citações

INSPEC

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

CORDIS: Ciências Tecnológicas > Tecnologia > Tecnologia de computadores > Tecnologia de software

Outras Informações

ID Authenticus: 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#.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 15