Confiabilidade de

software
Técnicas de melhoria
de confiabilidade de
software

Carlos Eduardo Monteiro de Sá

Péricles Nunes da Silva
Robson Moreno da Silva
 Técnicas de Melhoria de
Confiabilidade de
Software
Abordagem Capacidade de
Supressão de Falhas

Programação de N versões (NVP) Total

Alto Custo
Blocos de Recuperação (RB)

Auditoria de Software (AS)

Total

Parcial

Ba ix o Cu sto
Supervisão de Software (SS) Pequena
Processo de Recuperação de
Erros
Objetivo üEstratégia Simples
üCapaz de Lidar com Múltiplos erros

Tipos de Exceções
Processo de Recuperação de
Erros
Resposta Exceção de
Normal Interface
Requisição de
Serviço Exceções de
Falha
Retorno ao
Normal

Atividade Normal Tratamento de Exceção

Requisição de Exceções Exceções de

Serviço Locais Falha

Resposta
Normal Exceção de
Interface
Processo de Recuperação de
Erros Requisição de
Serviço Resposta
Normal
Resposta
Anormal

Controlador TE

Tratador de
Juiz
Execeções

V1 TE1 V2 TE2 Vn TEn

Requisição de Resposta
Normal Resposta
Serviço
Anormal
 Recovery Blocks
lhas de determinado componente de software tenham im

Assegurar teste de aceitação

Pela primeira alternativa
Senão pela segunda alternativa
.
.
.
Senão pela alternativa n
Senão erro
Recovery Blocks
Exceção de
Falha
Saída

Descartar o
Checkpoint

Positivo

Falhou
Executar o teste de
aceitação Restaurar o
Checkpoint

Sinal de
Exceção
Executar a
Alternativa

Não

Sim
Estabelecer o Existe uma nova alternativa & o
Checkpoint prazo não expirou?

RECOVERY BLOCK

Entrada
Recovery Blocks
Po ssíve is Fa lh a s
N – Version Programming

Pro g ra m a çã o d e N -V e rsõ e s;
N m a io r o u ig u a la 2 ;
To d a s a s ve rsõ e s d e ve m p a rtir d a m e sm a
e sp e cifica çã o in icia l;
V e rsõ e s exe cu ta d a s p a ra le la m e n te o u
se q ü e n cia lm e n te ;
Tra b a lh a co m u m siste m a d e vo ta çã o
( algoritmo de decisão );

 N – Version Programming


Versão 1

ENTRADA Versão 2 Algoritmo de Decisão SAÍDA

Versão N
 NVP: Pré-Requisitos


NVP

Linguagens diferentes Algoritmos diferentes Compiladores diferentes

Equipes diferentes
NVP: Algoritmo de Decisão


D e ve se r extre m a m e n te co n fiá ve l;
U su a lm e n te e le g e a re sp o sta m a is fre q ü e n te ;
Pa ra 2 ve rsõ e s o siste m a é e n ce rra d o e m
ca so d e d ive rg ê n cia ;
R e su lta d o é a va lia d o e re to rn a d o p a ra
ve rsõ e s e rrô n e a s;
U so co n ju n to d e te ste s d e a ce ita çã o .


 NVP: Algoritmo de Decisão

Comparação de votos

Ponto flutuante Múltiplas saídas Comparação consistente

NVP: Principais
Características


Saídas sempredecorretas
Mascaramento falhas Custo elevado
Auditora de Software
 Grupo ou individual (um ou mais
entrevistados);
 Procedimentos, politicas e requisitos;
◦ Registro e fatos;
 Trata de não-conformidades;
Auditora de Software
Planejando:
◦ Objetivos;
◦ Não conformidades;
◦ Produto ou processo?;
◦ Como será realizada;
◦ Cronograma.

Fre q ü ê n cia d e p e n d e d o p ro je to o u o rg a n iza çã o .

Auditora de Software
Durante:
◦ Questionar;
◦ Identificar melhorias e boas práticas;
◦ Solicitar evidencias das informações
pelos entrevistados.
Depois:
◦ Confirmar as não-conformidades
identificadas;
◦ Relatório;
◦ Compartilha o relatório.
Auditora de Software
Pode-se utilizar métricas:
◦ # não-conformidades;
◦ # auditorias planejadas X #
auditorias realizadas;
◦ # não-conformidades fechadas por
mês.
Software de auxilio ao
planejamento e execução de
auditorias:
Auditora de Software
Supervisão de Software
Sistema sendo monitorado;
Detectar falhas no estagio operacional;
Sistema consistente quanto as
CUSTO MENOR
especificações;

+
SEM OUTRAS VERSÕES
Metodos:
◦ Inserir sinais de entrada: analisar sinais
de saída;
◦ Feito por um software supervisor;
◦ Relato imediato de falhas.