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

• Type: Article in International Conference Proceedings Book
• Date: 2008

Authors

Ana Cristina Ramada Paiva (Author) FEUP; Rodrigo Moreira (Author) Other

Conference proceedings National

Title: Interacção 2008

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

Évora, 15 a 17 de Outubro de 2008

Scientific classification

CORDIS: Technological sciences > Technology > Computer technology > Software technology ; Technological sciences > Engineering > Computer engineering

Other information

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.

Language: Portuguese

Type (Professor's evaluation): Scientific