Please enable JavaScript.
Coggle requires JavaScript to display documents.
Validação, Mayron Camargo - Coggle Diagram
Validação
Desafios
Observabilidade
Controlabilidade
Probe Effect
Inserção de Delay temporal
Erros Reais Escondidos
Novos Erros Inseridos
Projeto para Testabilidade
Particionamento do Sistema
Estabelecimento de estrutura temporal estática
Seleção de dados para teste
Aleatório
Cobertura de Requisitos
Caixa Branca
Baseada em Modelo
Perfil de operação
Carga de Pico
WCET
Mecanismos tolerântes a falhas
Sistemas Ciclicos
Medida de Cobertura
Cobertura da Função
Statement Coverage
Branch Coverage
Condition Coverage
Fault Coverage
Evolução do Sistema
Teste de Regressão
Teste de Nova Função
Metodos Formais
Construção Conceitual do Modelo
Formalização do Modelo
Análise do Modelo
Interpretação dos Resultados
Classificação de Metodos Formais
Aumento do Rigor
Conceitos e notações matemáticas
Linguagem de Especificação Formal
Inserção de Falhas
Proposito
Test e Debug
Previsão de Dependências
Por Implementação de Software
Vantagens
Previsibilidade
Alcançabilidade
Menor esforço de inserção
Por implementação de Hardware
Falhas de Sensores e Atuadores
Representações do Sistema
Modelo da Intenção do Usuário
Informal
Não totalmente documentado
Modelo da Especificação do Sistema
Documenta as intenções do cliente
Obrigações dos desenvolvedores
SUT
Deve performar as funções do sistema conforme o modelo de intenção
Teste de Sistemas baseados em Componentes
Component Provider
Operação correta do componente
Component User
Performance do Componente
Componentes de Comunicação
Validação vs Verificação
Verificação
Consistência entre especificação e SUT
Erros de Implementação
Validação
Consistência do modelo de intenção com SUT
Erros de Especificação
Mayron Camargo