Planejamento da Verificação da Etapa 3 do Grupo 2
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 3 realizada pelo Grupo 2, que está trabalhando com o aplicativo Carteira Digital de Trânsito, na disciplina Requisitos de Software.
Objetivos
O propósito deste documento é realizar uma verificação minuciosa dos artefatos desenvolvidos pelo Grupo 2 durante a etapa 3, que abrange o tema Modelagem de Requisitos. 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 2 é a de Inspeção, desenvolvida por Michael E. Fagan, 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 Reunião de Inspeção, onde, serão apresentados pros redatores dos artefatos verificados os problemas encontrados, para que eles possam corrigi-los.
Participantes
As integrantes do Grupo 1 responsáveis por fazer a verificação da Entrega 3 do Grupo 2 são Izabella Alves e Zenilda Vieira. Estas participantes farão a verificação de todos os documentos produzidos na Entrega 3 e documentarão os resultados encontrados, que serão revisados por Gabriel Zaranza, também integrante do Grupo 1.
Objetos de verificação
Nesta etapa, serão verificados os seguintes artefatos:
-
Cenários, na versão 1.1, de 06/11/2023.
-
Léxicos, na versão 1.1, de 22/10/2023.
-
Casos de Uso, na versão 1.3, de 21/10/2023.
-
Especificação Suplementar, na versão 1.0, de 22/10/2023.
Cronograma
A verificação será executada nos dias 09/11/2023 e 10/11/2023, as atividades desenvolvidas nesse processo estão na Tabela 1.
Tabela 1: Cronograma do planejamento da verificação dos artefatos
| Data | Descrição | Responsável |
|---|---|---|
| 09/10/2023 | Planejamento da verificação | Izabella Alves Zenilda Vieira |
| 10/10/2023 | Verificação do artefato "Cenários" | Zenilda Vieira |
| 10/10/2023 | Verificação do artefato "Léxicos" | Zenilda Vieira |
| 10/10/2023 | Verificação do artefato "Casos de Uso" | Izabella Alves |
| 10/10/2023 | Verificação do artefato "Especificação Suplementar" | Izabella Alves |
Fonte: Zenilda Vieira, 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 2, estão listados os critérios que devem ser verificados em todos os artefatos da Entrega 3 do Grupo 2.
Tabela 2: Checklist para todos os artefatos da Entrega 3
| ID | Descrição | Avaliação |
|---|---|---|
| 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? | |
| 3 | As referências bibliográficas seguem a ordem de chamada do texto? | |
| 4 | Todas as referências bibliográficas são chamadas? | |
| 5 | O artefato possui introdução? | |
| 6 | Todas as tabelas possuem legendas e fontes padronizadas? | |
| 7 | Todas as tabelas são referenciadas no texto? | |
| 8 | Todas as figuras possuem legendas e fontes padronizadas e todas utilizam a palavra "figura" e não "imagem"? | |
| 9 | Todas as figuras são referenciadas no texto e todas utilizam a palavra "figura" e não "imagem"? |
Fonte: Zenilda Vieira, 2023
Checklist de Cenários
Na tabela 3, estão listados os critérios que devem ser verificados no artefato Cenários do Grupo 2.
Tabela 3: Checklist para o artefato de Cenários
| ID | Descrição | Avaliação |
|---|---|---|
| 1 | O artefato possui as especificações dos cenários para o projeto em estudo? | |
| 2 | Cada cenário possui os seguintes elementos básicos: título, metas/objetivos, contexto, atores, recursos, exceção e episódios? | |
| 3 | O título do cenário é autoexplicativo? | |
| 4 | O objetivo do cenário é condizente com seu título? | |
| 5 | O contexto é descrito em função de local, tempo e pré-condições? | |
| 6 | O cenário descreve situações realistas e relevantes de interação do sistema? | |
| 7 | Os atores são condizentes com o contexto do cenário? | |
| 8 | Os episódios do cenário estão coerentes e seguem uma ordem lógica para atingir o objetivo? | |
| 9 | Existe uma ligação entre os cenários e os léxicos? | |
| 10 | O artefato cita as técnicas utilizadas para especificação dos cenários do projeto? | |
| 11 | O artefato cita os participantes e seus papéis (usuário, personas, Eng. de Requisitos etc) na especificação dos cenários do projeto? | |
| 12 | O artefato cita local/data/horário dos participantes para especificação dos cenários do projeto? |
Fonte: Zenilda Vieira, 2023
Checklist de Léxicos
Na tabela 4, estão listados os critérios que devem ser verificados no artefato Léxicos do Grupo 2.
Tabela 4: Checklist para o artefato de Léxicos
| ID | Descrição | Avaliação |
|---|---|---|
| 1 | O artefato possui a especificação dos léxicos? | |
| 2 | Os Léxicos possuem a especificação (definição) dos usuários da aplicação? | |
| 3 | Os léxicos utilizam a estrutura de dicionário (verbo, objeto, estado ou outra classificação)? | |
| 4 | Os léxicos possuem ligações (hyperlinks) entre si, sendo referenciados e conectados? O princípio circular foi devidamente propagado? | |
| 5 | Cada léxico possui classificação, noção, impacto e sinônimo? | |
| 6 | Cada léxico apresenta sua classificação correta? | |
| 7 | Cada léxico apresenta seu sinônimo correto? | |
| 8 | As definições de noção e impacto se encaixam com o que é descrito e estão de acordo com a classificação? |
Fonte: Zenilda Vieira, 2023
Checklist de Casos de Uso
Na tabela 5, estão listados os critérios que devem ser verificados no artefato Casos de Uso do Grupo 2.
Tabela 5: Checklist para o artefato de Casos de Uso
| ID | Descrição | Avaliação |
|---|---|---|
| 1 | O artefato possui um diagrama de casos de uso? | |
| 2 | O artefato cita a técnica utilizada para elaboração do diagrama de caso de uso do projeto? | |
| 3 | O artefato cita os participantes e seus papéis (usuário, personas, Eng. de Requisitos etc) na elaboração do diagrama de uso do projeto? | |
| 4 | O artefato cita local/data/horário dos participantes para elaboração do diagrama de uso do projeto? | |
| 5 | O diagrama de caso de uso possui os atores principais e atores secundários? | |
| 6 | O ator principal está do lado esquerdo do sistema no diagrama de caso de uso? | |
| 7 | Os atores estão fora da caixa de limite do sistema no diagrama de caso de uso? | |
| 8 | No diagrama de Caso de Uso há pontos de extensão corretamente representados? | |
| 9 | As elipses do diagrama representam ações com o uso de verbos no infinitivo e não substantivos? | |
| 10 | No diagrama há relacionamentos de extend, include e generalization? | |
| 11 | O nome do ator principal condiz com o usuário associado a ele? | |
| 12 | Quando o ator é um software ou um hardware, há a tag << system >>? | |
| 13 | O artefato cita a participação do cliente e/ou persona na validação do Diagrama de Caso de Uso? | |
| 14 | O artefato cita a técnica utilizada na validação do Diagrama de Casa de Uso? | |
| 15 | O artefato possui a especificação de cada caso de uso? | |
| 16 | Cada caso de uso é uma funcionalidade completa (requisito funcional) que fornece um resultado observável e de valor para os atores ou stakeholders? | |
| 17 | A especificação dos casos de uso consistem no detalhamento de execução dos casos de uso? | |
| 18 | Os elementos de atores, sistema e metas estão presentes nos casos de uso? | |
| 19 | A especificação de cada caso de uso possui: nome, descrição, atores, pré-condição, pós-condição? | |
| 20 | Existem fluxos como: principal, alternativo e de exceção? | |
| 21 | Cada especificação de caso uso tem somente um fluxo principal que representa como o usuário usaria a funcionalidade de forma primária? | |
| 22 | Os fluxos alternativos são possibilidades de caminhos alternativos ao fluxo principal? | |
| 23 | Os fluxos de exceção demonstram como o sistema reagirá na presença de situações incomuns ou anormais? |
Fonte: Zenilda Vieira, 2023
Checklist de Especificação Suplementar
Na tabela 6, estão listados os critérios que devem ser verificados no artefato Especificação Suplementar do Grupo 2.
Tabela 7: Checklist para o artefato de Especificação Suplementar
| ID | Descrição | Avaliação |
|---|---|---|
| 1 | O artefato contém a especificação suplementar? | |
| 2 | A especificação suplementar segue o modelo FURPS+? | |
| 3 | O artefato possui um tópico de Funcionalidade? Ele contém requisitos testáveis? | |
| 4 | O artefato possui um tópico de Usabilidade? Ele contém requisitos testáveis? | |
| 5 | Os requisitos apresentados facilitam as tarefas realizadas pelos usuários? | |
| 6 | O artefato possui um tópico de Confiabilidade? | |
| 7 | Os requisitos apresentados aumentam a confiabilidade do sistema? | |
| 8 | O artefato especifica o Tempo Médio entre Falhas (MTBF)? | |
| 9 | O artefato especifica o Tempo Médio para Reparo (MTTR)? | |
| 10 | Os requisitos relacionados à segurança são apresentados? | |
| 11 | O artefato possui um tópico de Desempenho? Ele contém requisitos testáveis? | |
| 12 | Os requisitos sobre os tempos de respostas são apresentados com esses respectivos tempos especificados? | |
| 13 | O artefato especifica tempo de resposta de uma transação (médio, máximo)? | |
| 14 | O artefato especifica tempo de resposta de Taxa de transferência (ex: transações por segundo)? | |
| 15 | Os requisitos sobre a disponibilidade são apresentados? | |
| 16 | O artefato possui um tópico de Suportabilidade? Ele contém requisitos testáveis? | |
| 17 | É apresentado os sistemas operacionais que o sistema funcionará? | |
| 18 | O artefato possui um tópico de Restrições de Design? Ele contém requisitos testáveis? | |
| 19 | Os requisitos apresentados específica ou restringe o design do sistema? | |
| 20 | O artefato possui um tópico de Requisitos de Implementação? Ele contém requisitos testáveis? | |
| 21 | O artefato possui um tópico de Requisitos de Interface? Ele contém requisitos testáveis? | |
| 22 | O artefato possui um tópico de Requisitos Físicos? Ele contém requisitos testáveis? | |
| 23 | As características físicas de onde o sistema funcionará são apresentadas? | |
| 24 | O artefato especifica qual plataforma o aplicativo pode ser executado? |
Fonte: Zenilda Vieira, 2023
Bibliografia
FAGAN, Michael E. Design and Code Inspections to Reduce Errors in Program Development. 1976.
Bilheteria Digital. Planejamento da Verificação da Entrega 3 do Grupo 2. Grupo Bilheteria Digital da disciplina Requisitos de Software, disponível em: https://requisitos-de-software.github.io/2023.1-BilheteriaDigital/verificacao/grupo2/entrega3/planejamento-verificacao-e3-grupo2/. Acesso em: 09 de novembro de 2023.
Artefato: Especificações Suplementares. Centro de Informática - UFPE. Disponível em: https://www.cin.ufpe.br/~gta/rup-vc/core.base_rup/workproducts/rup_supplementary_specification_F5ACAA22.html. Acesso em: 09 de novembro de 2023.
BARBOSA, Simone; DINIZ, Bruno. Interação Humano-Computador. Editora Elsevier, Rio de Janeiro, 2010.
SERRANO, Milene; SERRANO, Maurício. Requisitos - Aula 10. Local: UnB-FGA, Gama, DF. Apresentação de Power Point. 35, color. Disponível em: Requisitos - Aula 10. Acesso em: 09 de novembro de 2022.
SERRANO, Milene; SERRANO, Maurício. Requisitos - Aula 11. Local: UnB-FGA, Gama, DF. Apresentação de Power Point. 35, color. Disponível em: Requisitos - Aula 10. Acesso em: 09 de novembro de 2022.
Lucid Software Português. Tutorial de Caso de Uso UML [Recurso eletrônico: vídeo], 2019. Disponível em: https://www.youtube.com/watch?v=ab6eDdwS3rA. Acesso em: 09 de novembro de 2023.
Histórico de Versões
| Versão | Data | Descrição | Autor | Revisor |
|---|---|---|---|---|
1.0 |
09/11/2023 | Criação do documento | Zenilda Vieira | Gabriel Zaranza |
1.1 |
09/11/2023 | Introdução, objetivos, metodologia, participantes e descrição checklist | Izabella Alves | Gabriel Zaranza |
1.2 |
09/11/2023 | Objetos, cronograma, checklist geral e específicos | Zenilda Vieira | Gabriel Zaranza |