Grafo de Ligações e Estado

As outras funcionalidades no Módulo de Requisitos são o Gráfico de Ligações e o Estado.

Gráfico de Ligações

O gráfico de ligações mostra as relações pai-filho, cópia ligada ou mestre-seguidor para todos os requisitos dentro do módulo. Também mostra se um requisito está verificado ou não. O utilizador pode facilmente distinguir isto observando o código de cores no gráfico de ligações. Para aceder ao gráfico de ligações, clique no módulo de requisitos (1) e selecione o ícone do gráfico de ligações (2).

O utilizador pode transferir os gráficos de ligações como ficheiro de imagem clicando no botão de transferência (3).

Note que os requisitos estão organizados dentro de uma caixa. Esta caixa representa o título da especificação (4). Como mencionado anteriormente, o código de cores representa o estado de verificação do requisito.

• Totalmente verde com caixa verde - o requisito e o seu requisito pai estão verificados (5)

• Totalmente vermelho com caixa vermelha - tanto o requisito como o seu requisito pai não estão verificados (6)

• O identificador está a verde, mas a caixa está a vermelho - o requisito filho está verificado, mas o requisito pai não está verificado.

• Caixa amarela - ou o requisito filho ou o requisito pai não está verificado (7)

Nas definições do gráfico de ligações (ao lado da opção de transferência), pode ativar/desativar a vista compacta (apenas os identificadores são visíveis no gráfico de ligações) ou agrupar por especificações.

Ao nível da especificação e do requisito, tem o ícone valisassistant para executar ações como decompor requisitos, melhorar requisitos, etc., como mostrado na Figura Functionality with Connections graph.

Estado

A outra funcionalidade disponível no módulo de requisitos é o estado. O Estado (1) mostra uma vista em matriz/árvore de quantos Requisitos/Especificações/Blocos foram verificados ou o progresso global do seu processo de verificação de requisitos. O verde na vista em matriz/árvore implica a conclusão ou quase conclusão do seu processo de verificação.

A vista em matriz (2) mostra o estado e o número de métodos de verificação verificados sobre a contagem total de métodos de verificação de cada requisito e Bloco. O utilizador pode alterar a comparação para Especificações/Blocos (3) como mostrado na Figura Status

A árvore dentro do estado mostra o estado de verificação dos Blocos de forma hierárquica. Tal como na matriz, mais verde na árvore significa que o projeto amadureceu bem. Além disso, isto dá ao engenheiro de sistemas uma visão global de quais os requisitos que precisam de ser verificados. Os vermelhos não estão verificados, e os cinzentos não têm quaisquer métodos de verificação. O exemplo da árvore é mostrado na Figura. V&V Status Tree View dentro do Módulo de Design de Sistema.

Vista em Árvore do estado V&V - A vista em árvore mostra os Blocos numa vista hierárquica com diferentes cores a indicar o estado atual de verificação do Bloco