Processo de Teste de Interfaces Gráficas com o Utilizador Baseado em Modelos Visuais (VAN4GUIM)

• Tipo: Artigo em Livro de Atas de Conferência Nacional
• Data: 2008

Autores

Ana Cristina Ramada Paiva (Autor) FEUP; Rodrigo Moreira (Autor) Outra

Ata de Conferência Nacional

Título: Interacção 2008

3ª Conferência Interacção Pessoa-Máquina

Évora, 15 a 17 de Outubro de 2008

Classificação Científica

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

Outras Informações

Resumo (PT): Este artigo apresenta um processo de teste de interfaces gráficas com o utilizador (GUIs) baseado em modelos e uma notação visual (VAN4GUIM) para modelar GUIs. Em teste baseado em modelos, os casos de teste são calculados automaticamente a partir do modelo. Contudo, para a geração ser automática, é necessário que os modelos sejam formais, com sintaxe e semântica bem definidas, o que requer muito esforço e conhecimento por parte de quem modela. O objectivo da VAN4GUIM é esconder os detalhes do formalismo, fornecendo um ambiente visual mais agradável e menos exigente do que as notações textuais normalmente usadas nestes contextos. Esta notação é constituída por cinco perfis UML e baseia-se em três notações/conceitos da literatura: Canonical Abstract Prototypes (CAP), ConcurTaskTrees (CTT) e o conceito de gestor de janelas. Esta notação é traduzida automaticamente para uma notação formal textual, Spec#, com base num conjunto de regras definidas. É possível adicionar mais detalhe de comportamento ao modelo textual que depois será usado num contexto de teste baseado em modelos para geração e execução automática de casos de teste sobre uma GUI.

Idioma: Português

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