Upload
minastestingconference
View
91
Download
3
Embed Size (px)
Citation preview
1
Verificação e validação de software no âmbito DO-178C
Rodrigo Pimenta Reis
2
Apresentação
• Engenharia de Controle e Automação - UFMG
• Mestrado em Engenharia de Computação - VrijeUniversiteit Brussel
• Concert Technologies e Mars.• Engenheiro de verificação e
validação na Embraer.
Rodrigo Pimenta Reis
3
Sumário
1. Introdução2. DO-178C
1. Planejamento2. Desenvolvimento3. Controle de Configuração4. Garantia de qualidade5. Certificação
3. Verificação
4. Suplementos DO-33x
4
5
Falha num componente de hardware
Substituição por parte sobressalente
6
Imperfeição no Software
Erro no processo de desenvolvimento
7
DO-178C
8
9
10
Nível Condição Objetivos Independência
A Catastrophic 66 25
B Hazardous 65 14
C Major 57 2
D Minor 28 2
E No Effect 0 0
Planejamento
11
12
Atividades Objetivos Planos
PSAC SDP SVP SCM SQE
Desenvolvimento
13
14
SysReq-1
HLR-1
LLR-1 LLR-2
HLR-2
LLR-3
15
Rat-1
DLLR-10 SafetyAssessment
16
Código
LLR-1
LLR-2
LLR-3
17
Arquitetura
Verificação
18
Controle de Configuração
19
20
Controle de configuração
• SVN
• Subversion
Controle de Mudanças
• Jira
• Mantis
• Bugzilla
Garantia de Qualidade
21
22
Processo Atividades
Transições
Certificação
23
24
SOI1
SOI2SOI3
Verificação 2
25
26
Testes
Data Coupling
ControlCoupling
Robustez
MC/DCEstrutural
Decisão
Requisitos
Inspeção
27
Teste de unidade
Teste de integração
28
Revisão
Requisitos
Código
Testes
Arquitetura
Planos
EOC
29
• Revisão
• Testes
• Rastreabilidade
• Tempo máximo de execução
• Uso de memória
Verificação
Suplementos DO-33x
30
31
Tool Qualification
PASS/FAIL Cobertura
32
Model Based Design
33
Object Oriented Technology
34
Formal Methods
35
36