Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10216/94001
Autor(es): | Ana C. R. Paiva João C. P. Faria Raul F. A. M. Vidal |
Título: | Specification-based testing of user interfaces |
Data de publicação: | 2003 |
Resumo: | 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#. |
Assunto: | Tecnologia de software, Ciências da computação e da informação Software technology, Computer and information sciences |
Áreas do conhecimento: | Ciências exactas e naturais::Ciências da computação e da informação Natural sciences::Computer and information sciences |
URI: | https://repositorio-aberto.up.pt/handle/10216/94001 |
Tipo de Documento: | Artigo em Revista Científica Internacional |
Condições de Acesso: | restrictedAccess |
Aparece nas coleções: | FEUP - Artigo em Revista Científica Internacional |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
53952.pdf Restricted Access | 111.35 kB | Adobe PDF | Request a copy from the Author(s) |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.