Métodos de verificação e validação utilizados no projeto

Introdução

Este documento tem como objetivo oferecer uma visão clara e concisa dos processos que adotamos para garantir a qualidade e conformidade de nossos requisitos ao longo do ciclo de vida do desenvolvimento.

Ao longo das próximas seções, exploraremos as estratégias e ferramentas que utilizamos para verificar a consistência, completude e corretude dos requisitos estabelecidos, assim como os métodos empregados para validar se esses requisitos atendem efetivamente às necessidades do cliente e aos objetivos do projeto.

Nosso compromisso com a verificação e validação não apenas assegura a robustez dos requisitos, mas também contribui significativamente para a entrega de soluções de software de alta qualidade. Esperamos que este artefato sirva como uma referência útil para compreender as práticas e processos adotados pelo Grupo 3 em nossa jornada na disciplina de Requisitos de Software.

Metodologia

A abordagem de Fagan¹ é reconhecida por sua eficácia na identificação precoce de problemas e na melhoria da qualidade dos artefatos produzidos. E foi a técnica proposta por ele que utilizamos nas verificações do nosso projeto.

A metodologia de Fagan é composta por etapas cuidadosamente delineadas, cada uma desempenhando um papel crucial no processo de verificação. Estas etapas incluem:

Planejamento: Nesta fase, definimos o escopo da inspeção, identificamos os participantes envolvidos e estabelecemos as diretrizes para a revisão do artefato.

Preparação: Cada participante prepara individualmente uma lista de possíveis problemas, questões ou sugestões relacionadas ao artefato.

Reunião de Inspeção: Realizamos uma reunião presencial para revisar e discutir os problemas identificados durante a preparação. Este é um momento crucial para a troca de conhecimentos e a consolidação de insights.

Retrabalho: O autor do artefato é responsável por incorporar as sugestões e correções discutidas durante a reunião de inspeção, aprimorando assim a qualidade do artefato.

Acompanhamento: Uma última verificação é conduzida para garantir que as modificações foram efetuadas conforme acordado, e o artefato é considerado pronto para a próxima fase do ciclo de desenvolvimento.

Ao seguir essa metodologia, buscamos não apenas identificar e corrigir possíveis falhas, mas também promover a colaboração efetiva entre os membros da equipe, resultando em artefatos de requisitos mais sólidos e alinhados com as expectativas do projeto. A eficácia da metodologia de Fagan reside na sua capacidade de garantir uma verificação rigorosa e sistemática, contribuindo assim para o sucesso do nosso empreendimento em Requisitos de Software.

Verificação do Grupo 04

Tabela 1: Relação de artefatos inspecionados da entrega 1

Artefato	Autor da verificação
Rich picture	Caio Lelis e Joel
Aplicativo Selecionado	Caio Lelis e Joel
Cronograma	Caio Lelis e Joel
Metodologia	Caio Lelis e Joel

Fonte: FILHO, Doan.

Tabela 2: Relação de artefatos inspecionados da entrega 2

Artefato	Autor da verificação
Brainstorm	Caio Braga e Gabriel
Moscow	Caio Braga e Gabriel
Brainstorm	Caio Braga e Gabriel
Observação	Caio Braga e Gabriel
Personas	Caio Braga e Gabriel
Questionário	Caio Braga e Gabriel
Three level Scale	Caio Braga e Gabriel
Introspecção	Caio Braga e Gabriel

Fonte: FILHO, Doan.

Tabela 3: Relação de artefatos inspecionados da entrega 3

Artefato	Autor da verificação
Backlog	Doan Filho e Miguel Matos
Casos de Usos	Doan Filho e Miguel Matos
Cenários	Doan Filho e Miguel Matos
Especicifação dos casos de uso	Doan Filho e Miguel Matos
Histórias de usuário	Doan Filho e Miguel Matos
Léxicos	Doan Filho e Miguel Matos
NRF Freamework	Doan Filho e Miguel Matos

Fonte: FILHO, Doan.

Tabela 4: Relação de artefatos inspecionados da entrega 4

Artefato	Autor da verificação
Backward From	Guilherme e Gabriel Barbosa
Forward From	Guilherme e Gabriel Barbosa
Matriz de Rastreabilidade	Guilherme e Gabriel Barbosa

Fonte: FILHO, Doan.

Verificação do Grupo 03

Tabela 5: Relação de artefatos inspecionados da entrega 1

Artefato	Autor da verificação
Rich picture	Gabriel Barbosa

Fonte: BRAGA, Caio.

Tabela 6: Relação de artefatos inspecionados da entrega 2

Artefato	Autor da verificação
Brainstorm	Caio Braga
Moscow	Caio Braga
Brainstorm	Joel Soares
Observação	Joel Soares
Personas	Guilherme Basílio
Questionário	Caio Lelis
Three level Scale	Doan Filho
Introspecção	Doan Filho

Fonte: BRAGA, Caio

Tabela 7: Relação de artefatos inspecionados da entrega 3

Artefato	Autor da verificação
Backlog	Caio Lelis
Casos de Usos	Miguel de Frias
Cenários	Guilherme Basílio
Especicifação dos casos de uso	Guilherme Basílio
Histórias de usuário	Caio Braga
Léxicos	Joel Soares
NRF Freamework	Doan Filho

Fonte: BRAGA, Caio.

Tabela 8: Relação de artefatos inspecionados da entrega 2

Artefato	Autor da verificação
Backward From	Gabriel Barbosa
Forward From	Miguel de Frias
Matriz de Rastreabilidade	Caio Braga

Fonte: BRAGA, Caio.

Validação

O grupo conduziu a validação de um protótipo de alta fidelidade de um requisito não implementado da aplicação do BRB Mobilidade. A validação foi realizada por meio de testes de usabilidade, observando a facilidade com que os usuários conseguiram navegar entre as páginas. As validações foram documentadas na seguinte tabela 9:

Tabela 9: Relação das validações realizadas

Requisito	Autor da validação
Acessar itinerários detalhados de ônibus, facilitando o planejamento de viagens.	Caio Lelis
O aplicativo tem opção de pagamento via cartão de crédito.	Caio Braga

Fonte: BRAGA, Caio

Referências bibliográficas

[1] FAGAN, Michael E. Design and Code Inspections to Reduce Errors in Program Development. 1976.

Histórico de versão

Versão	Descrição	Autor	Data	Revisor	Data de revisão
1.0	Adicionando artefato	Caio Braga e Doan Filho	06/12/2023	Doan Filho	06/12/2023
1.1	Refatoração geral	Caio Braga	06/12/2023	Doan Filho	06/12/2023