Planejamento da Verificação da Etapa 6 do Grupo 1
Introdução
A verificação e validação (V&V) são processos fundamentais no desenvolvimento de software, desempenhando papéis cruciais na garantia da qualidade e confiabilidade dos artefatos produzidos. A verificação refere-se à avaliação sistemática dos artefatos de software para garantir que eles atendam aos requisitos e padrões especificados. Este processo concentra-se na análise estática e dinâmica do código, na conformidade com as diretrizes de codificação, na identificação de erros e na garantia de que o software seja construído de acordo com as expectativas.
Dito isso, este documento fará a verificação da entrega 6 realizada pelo Grupo 1, que está trabalhando com o aplicativo Economia DF, na disciplina Requisitos de Software.
Objetivos
O propósito deste documento é realizar uma verificação minuciosa dos artefatos desenvolvidos pelo Grupo 1 durante a etapa 6, que abrange o tema Modelagem de Requisitos III. O objetivo é assegurar que esses artefatos estejam em plena conformidade com os requisitos estabelecidos na disciplina de Requisitos de Software, bem como em alinhamento com os padrões consagrados na literatura especializada nesse campo. Essa análise visa garantir a qualidade e a aderência às melhores práticas, contribuindo para o desenvolvimento de artefatos ainda melhores para o projeto.
Metodologia
A metodologia que será utilizada na verificação dos artefatos do Grupo 1 é a de Inspeção, desenvolvida por Michael E. Fagan [1], que é uma abordagem estruturada para revisão de código e outros artefatos de software. Essa metodologia tem como objetivo identificar e corrigir defeitos de forma eficiente durante o processo de desenvolvimento. A inspeção por Fagan é conhecida por sua abordagem sistemática e rigorosa, enfocando a detecção precoce de erros para melhorar a qualidade do software.
Este método pode ser dividido em 5 etapas:
-
Preparação: antes da reunião de inspeção, o autor do artefato (por exemplo, código-fonte) prepara um documento contendo o artefato a ser revisado, além de informações sobre seu contexto e propósito.
-
Inspeção Individual: os participantes (inspetores) revisam o documento individualmente antes da reunião de inspeção. Cada inspetor concentra-se na identificação de erros, como bugs, inconsistências ou violações de padrões de codificação.
-
Reunião de Inspeção: durante a reunião, os inspetores se reúnem com o autor para discutir os problemas identificados. O autor não participa ativamente da inspeção durante a fase individual, permitindo uma revisão mais imparcial.
-
Correção e Reinspeção: o autor corrige os problemas identificados durante a reunião de inspeção. Em seguida, o artefato é reinspecionado para garantir que as correções foram efetuadas adequadamente.
-
Acompanhamento: a metodologia de Fagan enfatiza a coleta de métricas e dados sobre o processo de inspeção. Isso inclui a contagem de defeitos encontrados, tempo gasto e eficácia geral do processo.
Nesta verificação, chegaremos até a etapa de Correção e Reinspeção, pois, após a verificação dos artefatos produzidos, os erros encontrados serão devidamente corrigidos.
Participantes
O integrante do Grupo 1 responsável por fazer a verificação da Entrega 6 do Grupo 1 é o Lucas de Oliveira. Essse participante fará a verificação de todos os documentos produzidos na Entrega 4 e documentará os resultados encontrados, que serão revisados por Lucas Ribeiro, também integrante do Grupo 1. Além disso, a integrante Izabella Alves, também do Grupo 1, participará da verificação como observador, auxiliando na identificação de erros e na documentação dos resultados.
Objetos de verificação
Nesta etapa, serão verificados os seguintes artefatos da tabela 1:
Tabela 1: Tabela de artefatos
| Artefato | Versão | Data | Autor |
|---|---|---|---|
| Backward-From | 1.5 | 17/11/2023 | Gabriel Rosa |
| Forward-From | 1.2 | 16/11/2023 | Izabella Alves |
| Matriz de Rastreabilidade | 1.3 | 15/11/2023 | Lucas Ribeiro |
Fonte: Lucas de Oliveira, 2023
Cronograma
A verificação será executada no período de 25/11/2023 a 27/11/2023, as atividades desenvolvidas nesse processo estão na Tabela 2.
Tabela 2: Cronograma do planejamento da verificação dos artefatos
| Data | Descrição | Responsável |
|---|---|---|
| 25/11/2023 | Planejamento da verificação | Lucas de Oliveira |
| 25/11/2023 | Verificação do artefato "Backward-From" | Lucas de Oliveira |
| 25/11/2023 | Verificação do artefato "Forward-From" | Lucas de Oliveira e Izabella Alves |
| 25/11/2023 | Verificação do artefato "Matriz de Rastreabilidade" | Lucas de Oliveira |
Fonte: Lucas de Oliveira, 2023
Checklists
Nesta etapa, será definido um checklist de verificação geral, 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.
Além disso, as observações devem ser registradas após a tabela, indicando o ID respectivo que gerou a observação.
Os checklists criados se baseiam nos critérios estabelecidos na bibliografia recomendada, no Plano de Ensino da disciplina Requisitos de Software, bem como na observação dos projetos dos semestres anteriores e dos feedbacks dados pelos monitores e pelo Professor após as apresentações.
Checklist Geral
Na tabela 3, estão listados os critérios que devem ser verificados em todos os artefatos da Entrega 6 do Grupo 1.
Tabela 3: Checklist para todos os artefatos da Entrega 3
| ID | Descrição | Fonte | Foto |
|---|---|---|---|
| 1 | O artefato possui histórico de versão padronizado com pelo menos data, descrição, autores e revisores? | ||
| 2 | O artefato possui bibliografia e/ou referência bibliográfica? [2] | Normas ABNT: 2023. Disponível em: https://www.normasabnt.org/normas-abnt-2023/. Acesso em: 18 de novembro de 2023. |  |
| 3 | As referências bibliográficas seguem a ordem de chamada do texto? [2] | Normas ABNT: 2023. Disponível em: https://www.normasabnt.org/normas-abnt-2023/. Acesso em: 18 de novembro de 2023. | |
| 4 | Todas as referências bibliográficas são chamadas no texto? [2] | Normas ABNT: 2023. Disponível em: https://www.normasabnt.org/normas-abnt-2023/. Acesso em: 18 de novembro de 2023. | |
| 5 | O artefato possui introdução? [2] | Normas ABNT: 2023. Disponível em: https://www.normasabnt.org/normas-abnt-2023/. Acesso em: 18 de novembro de 2023. |  |
| 6 | Todas as tabelas possuem legendas e fontes padronizadas? [2] | Normas ABNT: 2023. Disponível em: https://www.normasabnt.org/normas-abnt-2023/. Acesso em: 18 de novembro de 2023. |  |
| 7 | Todas as tabelas são referenciadas no texto? [2] | Normas ABNT: 2023. Disponível em: https://www.normasabnt.org/normas-abnt-2023/. Acesso em: 18 de novembro de 2023. |  |
| 8 | Todas as figuras possuem legendas e fontes padronizadas e todas utilizam a palavra "figura" e não "imagem"? [2] | Normas ABNT: 2023. Disponível em: https://www.normasabnt.org/normas-abnt-2023/. Acesso em: 18 de novembro de 2023. | |
Fonte: Lucas de Oliveira, 2023
Checklist do artefato "Backward-From"
Na tabela 4, estão listados os critérios especificos que devem ser verificados no artefatos de Backward-From do Grupo 1.
Tabela 4: Checklist específico para o artefato "Backward-From"
| ID | Descrição | Avaliação | Observações |
|---|---|---|---|
| 01 | O artefato utiliza os requisitos funcionais e os requisitos não funcionais? | ||
| 02 | Os requisitos presentes estão sendo ligados às suas fontes? [1] | ||
| 03 | Existe a linkagem dos requisitos a sua origem? | ||
| 04 | A metodologia referencia o Meta-modelo proposto por Toranzo? [2] | ||
| 05 | As informações rastreadas estão classificadas em quatro níveis: ambiental, organizacional, gerencial e desenvolvimento? [2] | ||
| 06 | Os tipos de elos utilizados são: Satisfação, Recurso, Responsabilidade, Representação, Alocação e Agregação? [2] | ||
| 07 | Existe legendas para ajudar na leitura do artefato? | ||
| 08 | A Legenda está de acordo com os símbolos presentes no artefato? | ||
| 09 | Os elos informam a Categoria, Elementos Rastreáveis e o tipo de Elo? [1] |
Fonte: Lucas de Oliveira, 2023
Checlist do artefato "Forward-From"
Na tabela 5, estão listados os critérios especificos que devem ser verificados no artefatos de Forward-From do Grupo 1.
Tabela 5: Checklist específico para o artefato "Forward-From"
| ID | Descrição | Avaliação | Observações |
|---|---|---|---|
| 01 | O artefato possui legendas para a identificação dos requisitos ou de outros artefatos? | ||
| 02 | Existe a representação dos requisitos funcionais e não funcionais? | ||
| 03 | Cada integrante do grupo elaborou um prototipo para um requistos não implementado? | ||
| 04 | No artefato diz se o requisito foi implementado ou não? | ||
| 05 | Os requistos estão alinhados com os requistos do backward-from? |
Fonte: Lucas de Oliveira, 2023
Checklist da "Matriz de Rastreabilidade"
Na tabela 6, estão listados os critérios especificos que devem ser verificados no artefatos de Matriz de Rastreabilidade do Grupo 1.
Tabela 6: Checklist específico para o artefato "Matriz de Rastreabilidade"
| ID | Descrição | Avaliação | Observações |
|---|---|---|---|
| 01 | No artefato há uma tabela com ID, Descrição, Artefatos relacionados (Origem), Pré-Rastreabilidade, Implementado e os ELOS ? [3] | ||
| 02 | Os indentificadores possuem likagem de rastreabilidade? [3] | ||
| 03 | Os requisitos listados como não funcionais, são realmente não testaveis? [3] | ||
| 04 | O artefato possui legenda ? [3] |
Fonte: Lucas de Oliveira, 2023
Referências Bibliográficas
[1] FAGAN, Michael E. Design and Code Inspections to Reduce Errors in Program Development. 1976.
[2] Normas ABNT: 2023. Disponível em: https://www.normasabnt.org/normas-abnt-2023/. Acesso em: 18 de novembro de 2023.
[3] BARBOSA, Simone; DINIZ, Bruno. Interação Humano-Computador. Editora Elsevier, Rio de Janeiro, 2010.
[4] SERRANO, Milene. Requisitos - Aula 10. Local: UnB-FGA, Gama, DF. Apresentação de Power Point. 35, color. Disponível em: Requisitos - Aula 10. Acesso em: 18 de novembro de 2022.
[5] SERRANO, Maurício. SERRANO, Milene. Slide “Requisitos - Aula 13”. Local: UnB-FGA, Gama, DF. Apresentação de Power Point. 35, color. Acesso em: 18 de novembro de 2023.
Bibliografia
FAGAN, Michael E. Design and Code Inspections to Reduce Errors in Program Development. 1976.
Histórico de versões
| Versão | Data | Descrição | Autor(es) | Revisor(es) |
|---|---|---|---|---|
1.0 |
27/11/2023 | Criação do documento | Lucas de Oliveira | Lucas Ribeiro |