Verificação
Histórico de Versão
| Data | Data Prevista de Revisão | Versão | Descrição | Autor | Revisor |
|---|---|---|---|---|---|
| 07/01/2023 | 08/01/2023 | 1.0 | Criação do documento | João Lucas | - |
Introdução
Se optarmos por uma definição mais rigorosa, a validação entre modelos é feita via software e não é necessária nenhuma intervenção humana.
No entanto, consideramos validação a análise de modelos que não são diretamente comparáveis ao universo da informação. Essa análise é uma tarefa realizada tanto por humanos quanto por software de acordo com regras bem definidas.
Em resumo, há algo de errado com o modelo em termos de notação, processos, procedimentos? Ele atende às expectativas? Portanto, interessa apenas aos desenvolvedores de software. Nenhuma intervenção do cliente é necessária.
Metodologias
Existem várias estratégias de verificação de software. Dado que algumas destas estratégias estão relacionadas com o levantamento de requisitos, há algumas que se destacam:
• Inspeções.
Inspeção
A Inspeção pode ser aplicada ao definir requisitos de verificação em um documento de requisitos. Isso é aplicável se for escrito por um cliente e não tiver estrutura própria ou se for escrito por um engenheiro de software/requisitos (lista de requisitos neste caso).
Uma técnica de gerenciamento de reuniões destinada a detectar erros em documentos. Ele define claramente o papel que cada membro da equipe deve desempenhar e quais resultados devem ser alcançados.
De acordo com relatórios da indústria, a produtividade do uso de inspeções em desenhos e revisões de código é excelente. Portanto, você pode encontrar bugs com eficiência antes de testar seu sistema.
O principal objetivo da verificação é garantir que o modelo de requisitos esteja em conformidade com a notação do modelo e com o que se espera desse modelo. Segundo Fagan, existe um método de inspeção que define o processo em seis etapas principais. conhecimento:
• Planejamento
• Visão Geral
• Preparação
• Inspeção
• Correção
• Acompanhamento
Estratégias formais
Aqui o engenheiro de software assume o papel de provador de teoremas. Portanto, é realizada uma verificação para a possibilidade de detectar uma discrepância.
Na lógica e na matemática, a lógica proposicional é um sistema de formalismos no qual expressões representam proposições que podem ser formadas pela combinação de proposições atômicas usando conexões lógicas e um sistema de regras de derivação pelas quais uma determinada expressão pode ser declarada como um sistema formal de "teorema".
Uma proposição é uma afirmação que tem um valor verdadeiro ou falso. A lógica proposicional estuda como inferir declarações verdadeiras ou falsas derivando de um conjunto particular de hipóteses (declarações verdadeiras) e considerando um contexto particular.
Reutilização de domínios
Técnicas usando estratégias de inteligência artificial e heurísticas. Destina-se a criticar requisitos e comparar com domínios previamente codificados.
A formação desse domínio é, portanto, baseada em fatos de sistemas semelhantes que já foram determinados. Assistentes inteligentes fornecem feedback sobre requisitos preparados por engenheiros de software/requisitos. Dada a disponibilidade do domínio. É possível identificar fatos falsos ou ausentes.
Conclusão
O grupo 3 do projeto MEI ao analisar essas 3 técnicas de verificação, optou por utilizar a estratégia de Inspeção.
Bibliografia
SERRANO, Maurício; SERRANO, Milene; Requisitos - Aula 23.