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

Anais do IHC’2001 - IV Workshop sobre Fatores Humanos em Sistemas Computacionais 55
sua posição na hierarquia. Para realizar este tipo de verificação é necessário indicar um
estado inicial e um estado final. Com estes dados, pode-se verificar os seguintes cenários:
• Existência de um caminho possível: verifica se é possível atingir um estado-alvo a
partir do estado atual. Esta simples verificação automática pode determinar
problemas de usabilidade relacionados a não existência de um caminho para a
informação.
• Identificação do caminho mais curto: verifica automaticamente todos os caminhos
possíveis e, entre eles, o mais curto. Caminhos muito longos podem indicar
problemas de usabilidade se conceitualmente os dois extremos são conceitualmente
próximos. A indicação de caminhos longos dentro do modelo permite que o
designer verifique se o esquema de navegação é coerente com os objetivos para a
aplicação.
• Identificação de caminho obrigatório: a análise de caminho também pode revelar a
existência de caminhos de passagem obrigatórios ao usuário. Esta pode ser uma
estratégia interessante para o designer da aplicação para por exemplo "obrigar" o
usuário a visualizar uma propaganda enquanto está navegando. No entanto,
caminho obrigatórios podem significar que a navegação não é flexível. A
identificação de um caminho obrigatório em si, não indica a ocorrência de problema
de usabilidade mas chama a atenção do designer para este tipo de construção.
iii) Verificação de regras de comportamento do sistema
Este tipo de verificação é feito sobre o modelo a partir de um conjunto de regras de
comportamento do sistema. São denominadas regras de comportamento do sistema o
conjunto de regras que podem ser aplicadas diretamente sobre o modelo e que definem um
comportamento particular para a aplicação. No momento, o interesse é poder aplicar estas
regras sobre o modelo de navegação. Estas regras podem ser descritas formalmente com o
uso de Lógica Temporal [24]. Uma das vantagens do uso de StateWebCharts é que, por ser
um modelo preciso, permite que regras descritas em Lógica Temporal sejam aplicadas ao
modelo. Neste trabalho, nos limitamos a explicar conceitualmente como tais regras podem
ser verificadas automaticamente, uma vez que descrevê-las formalmente esteja além do
escopo deste artigo.
As regras podem ser construídas diretamente sobre instâncias do modelo ou a partir de
dados genéricos. Por exemplo, considerando a regra geral: “nenhum estado deve conter
mais do que 7 links para outros estados”, essa pode ser automaticamente verificada
analisando todos os estados do modelo e contabilizando o número de links em cada um.
Outro exemplo de regra que pode verificada automaticamente pelo mesmo princípio:
“todos os estados do site devem ter um link para a página principal”. Outro exemplo:
“Todos os estados dentro do site devem ser acessíveis a partir da página principal através
de, no máximo, 5 estados intermediários”.
Regras de comportamento do modelo também podem ser obtidas a partir de cenários de
uso ou por análise de tarefas e descrever comportamentos ainda mais específicos. Por
exemplo, considerando a seguinte regra para o modelo HIBAM: “todo usuário deve passar
pela lista de campanhas para ter acesso a um campanha específica”. Este é um tipo de
regra construída sobre instâncias, ou seja, estados e eventos descritos explicitamente no
modelo.