Verificação e validação de software no âmbito DO-178C - Rodrigo Pimenta Reis

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