Planejamento da Verificação da Etapa 3 do Grupo 6 (2024.2) - Meu INSS
Introdução
A verificação e validação (V&V) são etapas essenciais no ciclo de desenvolvimento e de vida de um software, que efetivamente dá suporte para a qualidade e a confiabilidade dos artefatos construídos. A verificação consiste em uma análise criteriosa dos artefatos, assegurando que estejam em conformidade com os requisitos estabelecidos e os padrões técnicos necessários.
Neste contexto, este documento tem como propósito realizar a verificação da sexta entrega do Grupo 6, que desenvolveu artefatos ligados ao aplicativo do Meu INSS na disciplina de Requisitos de Software, na Universidade de Brasília, no período do segundo semestre de 2024.
Objetivos
O propósito deste documento é realizar uma verificação minuciosa dos artefatos desenvolvidos pelo Grupo 6 durante a etapa 6, que diz respeito a pós rastreabilidade.
O objetivo é assegurar que esses artefatos estejam em plena conformidade com o conteúdo estabelecidos na disciplina de Requisitos de Software, bem como em alinhamento com os padrões consagrados na literatura utilizada e estudada pela equipe.
Essa análise visa garantir a qualidade e a aderência às melhores práticas, o que contribui para o desenvolvimento de artefatos corretos para o projeto.
Metodologia
A metodologia utilizada para a verificação dos artefatos é a desenvolvida por Michael E. Fagan [1], que prega uma abordagem de revisão de artefatos de software. Dessa forma, espera-se identificar e corrigir os eventuais problemas encontrados durante a verificação realizada. A inspeção de Fagan é nitidamente sistemática.
O foco desta inspeção é focar em:
- Preparação: estudo sobre os artefatos a serem analisados;
- Inspeção Individual: criação e aplicação de lista de inspeção;
- Correção e Reinspeção: correções de problemas encontrados;
- Revisão da Inspeção: revisão dos resultados encontrados pela verificação (que será realizada por um membro do grupo, que não seja o responsável pela própria inspeção).
A inspeção será gravada e disponibilizada na página de documentação de cada artefato citado neste documento.
Participantes
O integrante da equipe responsável pela verificação da Etapa 6 foi Nicolas Bomfim. Foi feita uma verificação por meio das listas de inspeção e verificação dos artefatos construídos na Entrega 6. A revisão da verificação da Entrega 6 foi realizada pelo integrante Cristiano Morais.
Objetos de verificação
Nesta etapa, serão verificados os artefatos construídos pela equipe presentes na Tabela 1
Tabela 1 - Tabela de artefatos produzidos na Entrega 3
| Artefato | Versão | Data | Autor |
|---|---|---|---|
| Matriz de rastreabilidade | 1.6 | 19/01/2025 | Nicolas Bomfim |
| Backward-From | 1.0 | 19/01/2025 | Nicolas Bomfim e Ana Catarina Santos |
| Forward-From | 1.0 | 19/01/2025 | Júlia Fortunato, Cristiano Morais e Maurício Ferreira |
Autor: Nicolas Bomfim, 2025
Listas de verificação
Nesta etapa, serão apresentadas listas de verificação para os artefatos construídos na Entrega 6, que deve ser aplicado a todos os artefatos, e um checklist específico para cada artefato. As questões disponíveis no checklist devem ser respondidas com "Sim", "Não", "Incompleto" ou "Não se aplica", que indica a confirmidade do item no artefato a ser analisado em questão. Os itens devem possuir referência, e uma foto dela sempre que possível.
Se forem feitas observações, elas aparecerão ao final da tabela ao qual se refere.
Lista de verificação para itens de padronização e desenvolvimento do projeto
Na Tabela 2, estão listados os critérios gerais que devem ser verificados em todos os artefatos da Entrega 6 do Grupo 6.
Tabela 2 - Lista de verificação para itens de padronização e desenvolvimento do projeto
| ID | Descrição | Fonte | Foto |
|---|---|---|---|
| 1 | O artefato possui histórico de versão padronizado? | SALES, André. Plano de Ensino de Requisitos de Software (UnB) 2024.2. 2024. Disponível em: Plano de Ensino - REQ (2024.2). Acesso em: 03 de fevereiro de 2025. |  |
| 2 | O(s) autor(es) e o(s) revisor(es) estão presentes para cada artefato? | SALES, André. Plano de Ensino de Requisitos de Software (UnB) 2024.2. 2024. Disponível em: Plano de Ensino - REQ (2024.2). Acesso em: 03 de fevereiro de 2025. | |
| 3 | O artefato possui bibliografia e/ou referência bibliográfica? | SALES, André. Plano de Ensino de Requisitos de Software (UnB) 2024.2. 2024. Disponível em: Plano de Ensino - REQ (2024.2). Acesso em: 03 de fevereiro de 2025. | |
| 4 | As tabelas e imagens possuem legenda e fonte/autor e elas chamadas dentro dos texto? | SALES, André. Plano de Ensino de Requisitos de Software (UnB) 2024.2. 2024. Disponível em: Plano de Ensino - REQ (2024.2). Acesso em: 03 de fevereiro de 2025. | |
| 5 | O artefato possui um texto fazendo introdução dele? | SALES, André. Plano de Ensino de Requisitos de Software (UnB) 2024.2. 2024. Disponível em: Plano de Ensino - REQ (2024.2). Acesso em: 01 de fevereiro de 2025. | |
Autor:Nicolas Bomfim, 2025
Lista de verificação para Matriz de rastreabilidade
Na tabela 3, estão listados os critérios que devem ser verificados no artefato Matriz de rastreabilidade do Grupo 6.
Tabela 3 - Lista de verificação para o artefato Matriz de rastreabilidade
| ID | Descrição | Fonte | Foto | Autor |
|---|---|---|---|---|
| 1 | Estão identificados os artefatos gerados pelos requisitos? | Slides da Aula 26 da Professora Milene Serrano. Disponível em: Aula 26 Acesso em: 03 fevereiro 2025. |  |
Cristiano Morais |
| 2 | Os elos estão corretamente associados aos requisitos? | Slides da Aula 26 da Professora Milene Serrano. Disponível em: Aula 26 Acesso em: 03 fevereiro 2025. |  |
Cristiano Morais |
| 3 | A matriz possui alguma legenda para identificação dos termos? | Slides da Aula 26 da Professora Milene Serrano. Disponível em: Aula 26 Acesso em: 03 fevereiro 2025. | Cristiano Morais | |
| 4 | Os requisitos estão rastreáveis? | Slides da Aula 26 da Professora Milene Serrano. Disponível em: Aula 26 Acesso em: 03 fevereiro 2025. | Cristiano Morais | |
| 5 | Os requisitos estão ligados aos artefatos? | Slides da Aula 26 da Professora Milene Serrano. Disponível em: Aula 26 Acesso em: 03 fevereiro 2025. |  |
Nicolas Bomfim |
| 6 | Hyperlinks para os elos de cada requisito? | Slides da Aula 26 da Professora Milene Serrano. Disponível em: Aula 26 Acesso em: 03 fevereiro 2025. | Maurício Ferreira |
Autor: Nicolas Bomfim, 2025
Lista de verificação para Backward-From
Na Tabela 4, estão listados os critérios gerais que devem ser verificados no artefato de Backward-From da Entrega 3 do Grupo 6.
Tabela 4 - Lista de verificação para o artefato Backward-From
| ID | Descrição | Fonte | Foto | Autor |
|---|---|---|---|---|
| 1 | O Backward-From está referenciando as fontes dos requisitos? | Slides da Aula 26 da Professora Milene Serrano. Disponível em: Aula 26 Acesso em: 03 fevereiro 2025. |  |
Cristiano Morais |
| 2 | Estão identificados os tipos de elos dos requisitos? | Slides da Aula 26 da Professora Milene Serrano. Disponível em: Aula 26 Acesso em: 03 fevereiro 2025. |  |
Cristiano Morais |
| 3 | Existem descrições dos elos? | Slides da Aula 26 da Professora Milene Serrano. Disponível em: Aula 26 Acesso em: 03 fevereiro 2025. |  |
Cristiano Morais |
| 4 | Cada elo está identificado de alguma forma como, por exemplo, um ID? | Slides da Aula 26 da Professora Milene Serrano. Disponível em: Aula 26 Acesso em: 03 fevereiro 2025. |  |
Cristiano Morais |
| 5 | Os requisitos estão vinculados corretamente à sua origem? | Slides da Aula 26 da Professora Milene Serrano. Disponível em: Aula 26 Acesso em: 03 fevereiro 2025. |  |
Ana Catarina Santos |
| 6 | A metodologia referencia o Meta-modelo proposto por Toranzo? | Slides da Aula 26 da Professora Milene Serrano. Disponível em: Aula 26 Acesso em: 03 fevereiro 2025. |  |
Ana Catarina Santos |
| 7 | As informações rastreadas estão classificadas nos níveis: ambiental, organizacional, gerencial e desenvolvimento? | Slides da Aula 26 da Professora Milene Serrano. Disponível em: Aula 26 Acesso em: 03 fevereiro 2025. |  |
Ana Catarina Santos |
Autor: Nicolas Bomfim, 2025
Lista de verificação para Forward-From
Na Tabela 5, estão listados os critérios gerais que devem ser verificados no artefato de Forward-From da Entrega 3 do Grupo 6.
Tabela 5 - Lista de verificação para o artefato Forward-From
| ID | Descrição | Fonte | Foto | Autor |
|---|---|---|---|---|
| 1 | Os artefatos e documentos produzidos a partir dos requisitos estão identificados? | Slides da Aula 26 da Professora Milene Serrano. Disponível em: Aula 26 Acesso em: 03 fevereiro 2025. |  |
Cristiano Morais |
| 2 | Estão identificados os tipos de elos dos requisitos? | Slides da Aula 26 da Professora Milene Serrano. Disponível em: Aula 26 Acesso em: 03 fevereiro 2025. |  |
Cristiano Morais |
Autor: Nicolas Bomfim, 2025
Referências bibliográficas
[1] FAGAN, Michael E. Design and Code Inspections to Reduce Errors in Program Development. 1976.
Bibliografia
Economia - DF. Planejamento da Verificação da Entrega 6 do Grupo 1. Grupo Economia DF da disciplina Requisitos de Software, disponível em: https://requisitos-de-software.github.io/2023.2-Economia-DF/verificacao/Grupo-01/Entrega-06/planejamento-verificacao-e6-grupo1/. Acesso em: 03 de fevereiro de 2025.
SERRANO, Milene; SERRANO, Maurício. Requisitos - Aula 10. s.d. Slide 8-11 de 35. Disponível em: https://aprender3.unb.br/pluginfile.php/2972470/mod_resource/content/1/Aula%2010.pdf. Acesso em: 03 de fevereiro de 2025.
SALES, André. Plano de Ensino de Requisitos de Software (UnB) 2024.2. 2024. Disponível em: https://aprender3.unb.br/pluginfile.php/2972367/mod_resource/content/53/Plano_de_Ensino%20RE%20022024%20Turma%2002%20v1.pdf. Acesso em: 03 de fevereiro de 2025.
Histórico de versões
| Versão | Data | Descrição | Autor | Revisor |
|---|---|---|---|---|
1.0 |
03/02/2025 | Criação do documento | Nicolas Bomfim | Cristiano Morais |