Verificar o Sistema

No Requirements & Systems Portal, os requisitos estão ligados a um ou mais sistemas, ou subsistemas. Estes sistemas são verificados através de atividades de Verificação e Validação (V&V). O requisito de um bloco pode ser verificado com uma ou várias atividades de V&V. Cada atividade pode ser associada a um ou vários requisitos e pode verificar um ou mais sistemas.

Nesta parte do tutorial, vamos abordar como realizar atividades de V&V utilizando o Requirements & Systems Portal e explicar o seguinte:

• Como criar atividades de V&V.

• Como associar atividades de V&V a requisitos.

• Como executar uma atividade.

• Demonstrar os métodos de verificação automática no Requirements & Systems Portal.

Criar e carregar vistas para verificação

O Requirements & Systems Portal oferece vários atributos pré-selecionados, como Identifier, Text, Parents, Children, Type, State, V&V Status, V&V Activities, V&V Blocks, Tags e Properties. No entanto, isto pode levar a deslocação horizontal excessiva em ecrãs mais pequenos. Pode gerar vistas personalizadas com apenas os atributos essenciais para simplificar o processo de verificação. Vamos criar uma nova vista para a verificação e carregá-la.

1. Navegue até ao Requirements Module () e abra a especificação Fan_Spec.

2. Passe o cursor sobre qualquer cabeçalho de coluna, clique no ícone que aparece e, em seguida, clique no ícone para mostrar uma lista das colunas disponíveis.

   

3. Desselecione todas as colunas da lista e selecione apenas as seguintes colunas:

   • Text

   • Parents

   • Children

   • V&V Activities

   • V&V Status

   • V&V Rules

   • Applicable Block

   • Tags

   Também pode selecionar/desselecionar os atributos utilizando o painel Columns, acedido a partir do lado direito. Esta abordagem é mostrada para que também fique a conhecer as opções adicionais disponíveis nos cabeçalhos das colunas, como filtros e opções de dimensionamento da tabela. Por exemplo, o ícone fornece opções de filtragem para uma coluna específica.

4. Clique com o botão direito na tabela e selecione o comando Save view no menu de contexto. Na janela Save current view que se abre, introduza Verification_View como View name, selecione Private e, em seguida, clique em .

   

   Todas as colunas selecionadas, larguras das colunas e filtros aplicados serão guardados numa vista dedicada. Depois de a vista ser guardada, pode carregá-la clicando com o botão direito na tabela e selecionando a entrada correspondente no submenu Load View.

Adicionar uma atividade de Verificação & Validação a um requisito

O Requirements & Systems Portal oferece três colunas dedicadas à verificação e validação de requisitos (para além de colunas adicionais como Compliance e Compliance Comment ou até colunas personalizadas relacionadas com atividades de verificação):

• V&V Activities – apresenta as atividades de V&V associadas ao requisito.

• V&V Status – indica o estado global de verificação do requisito com base no estado das atividades de V&V associadas. Se o requisito não tiver atividades de V&V associadas, o estado pode ser definido manualmente.

• V&V Rules – permite atribuir regras ao requisito para efetuar comparação automática de vali entre o requisito e o System Design Module.

1. Navegue até ao Verifications & Validations Module  clicando no ícone na barra de navegação de módulos à esquerda.

2. Clique no botão . Na janela Create V&V Activity que se abre, introduza Mass Inspection no campo Name e This activity measures the mass of the Valifan. no campo Description e, em seguida, clique em .

   

3. Agora vamos associar a nova atividade a um dos nossos requisitos a partir do Requirements Module. Clique no nome da atividade na coluna Name e clique no controlo Requirements Statuses no topo da página.

   

4. Clique no botão no canto superior direito. Na janela Link Requirement que se abre, selecione R-Fan-001 na lista pendente Requirement e selecione Fan na lista pendente Block e, em seguida, clique em .

   

5. Vamos assumir que realizou a inspeção de massa de acordo com as instruções da atividade e que agora queremos definir o estado da verificação como verificado. Para o fazer, faça duplo clique na célula da coluna Status e selecione Verified na lista pendente.

   

6. Navegue até ao Requirements Module () e abra a especificação Fan_Spec.

7. Na tabela, verá a atividade de V&V atribuída na coluna V&V Activities e o estado Verified 1/1 na coluna V&V Status.

   

Com isto, criámos com sucesso uma atividade de verificação manual. Vejamos agora como ter verificações automáticas nos nossos requisitos que comparam valis do desenho do sistema com valis do requisito.

Verificar automaticamente o sistema utilizando regras

1. Na especificação Fan_Spec, passe o cursor sobre o vali 300 g na coluna Text do requisito R-Fan-001 e verifique o respetivo nome na janela pop-up. Este nome será utilizado ao criar uma regra na qual este vali será comparado com um vali do System Design Module.

   

   Os valis nos requisitos podem ser editados clicando no ícone na janela pop-up. Pode ajustar parâmetros como nome, margens, etc.

2. Faça duplo clique na célula da coluna V&V Rules do requisito R-Fan-001. Abre-se a janela V&V Rules, onde pode definir uma regra para comparar a massa Valifan do nosso requisito de 300 g com o vali de massa do sistema Fan do System Design Module. Utilize o símbolo $ para referenciar os valis. Na janela pop-up que aparece, pode procurar valis escrevendo os respetivos nomes. Defina a regra da seguinte forma:

   $Valifan.Mass<$R-Fan_001.maximum_valifan_mass

   Repare como o Requirements & Systems Portal obtém os valores reais associados por baixo da caixa de texto.

   

3. Clique no botão na janela V&V Rules e depois feche a janela. Na tabela, verá que agora temos uma regra (que está verificada) associada ao requisito.

   

Próximos passos?

Parabéns, agora já sabe orientar-se no Requirements & Systems Portal!

Pode continuar a melhorar o seu projeto de ventoinha de secretária. Aqui ficam algumas ideias:

• Adicionar conformidade aos seus requisitos

• Adicione algumas relações pai/filho entre requisitos, verifique o gráfico de ligações e repare nos códigos de cor do requisito.

• Que tal criar uma simulação para calcular o deslocamento de ar resultante em função dos modos da ventoinha?

• Adicione um bloco de painel solar para tornar a ventoinha portátil. Pode fazer com que a velocidade máxima de rotação dependa do ângulo solar do painel.