Anais do IHC'2001 - Departamento de Informática e Estatística - UFSC

54
Anais do IHC’2001 - IV Workshop sobre Fatores Humanos em Sistemas Computacionais
Podem ser realizadas cinco classes diferentes de verificações de modelos, todas
complementares entre si: i) análise estática do modelo; ii) análise do caminho navegado;
iii) verificação de regras de comportamento; iv) comparação com a análise de tarefa; e v)
determinação da equivalência entre modelos.
i) Análise estática do modelo
Este tipo de análise compreende um conjunto de verificações que podem ser feitas
automaticamente sobre o modelo, sem considerar dados de simulação ou objetivo da
navegação. Esta análise compreende cinco tipo de verificações:
• Completude do modelo: verifica se todos os itens descritos no modelo hierárquico
de informação estão representados no modelo de navegação. As informações no
modelo hierárquico representam requisitos para a aplicação e, se estes requisitos
não fazem parte do modelo de navegação isto implica que o modelo pode estar
incompleto ou impreciso.
• Identificação de estados inacessíveis: identifica estados que não tem ligações dentro
do modelo e que, por conseqüência, são inacessíveis pelos usuários, o que pode ser
considerado um problema de usabilidade.
• Identificação de links para estados inválidos: identificar links que não tem
associações com estados válidos (broken links). Links inválidos podem ocorrer
dentro do modelo quando, por exemplo, um estado é removido mas ainda existem
referências no modelo. Se o estado é externo ao modelo, pode ser verificado a
validade da URL indicada. Links inválidos podem ser considerados como
problemas graves de usabilidade pois frustam o usuário e limitam a disponibilidade
a um recurso da interface.
• Identificação de links redundantes: links redundantes podem ocorrer quando dois os
mais links são incluídos na mesma lista de objetos de um estado ou pela
composição de estados concorrentes. Links redundantes podem ser tanto desejáveis,
quando se quer múltiplas possibilidades de acesso a um recurso da interface como
podem representar problemas de usabilidade quando são excessivamente
redundantes ou confundem os usuários. Por isto, tal situação deve ser verificada.
• Anomalia de composição visual: pela associação de elementos concorrentes
verifica-se a composição visual destes estados e eventuais anomalias. Como
exemplo de anomalia cita-se a ocorrência de dois estados concorrentes que possuem
o mesmo conteúdo. Outro tipo de anomalia que pode ocorrer é a existência de
looping entre janelas (uma dentro da outra sucessivamente).
ii) Análise do caminho navegado
Teoricamente, a estrutura de navegação deveria dar ao usuário a possibilidade de explorar
toda a interface de maneira flexível. Contudo, quando uma aplicação Web ultrapassa uma
centena de páginas, torna-se, por vezes, difícil assegurar flexibilidade. A flexibilidade de
navegação pode ser analisada pelo caminho navegado. O caminho é definido como a
seqüência de estados que podem ser alcançados através dos links definidos em cada estado.
Para fins de análise, qualquer estado dentro do modelo pode ser considerado como estado
inicial. Dentro de modelos StateWebCharts, é possível isolar sub-estados de tal modo a
analisar qualquer estado com relação a sua navegação rumo a outro estado independente da