Return to search

Inferência em Confiabilidade de Software Utilizando o Modelo de Goel e Okumoto com Captura-Recaptura / Not available

Nesta dissertação de mestrado, apresentamos uma abordagem clássica e Bayesiana para o modelo de Captura-Recaptura proposto por Nayak (1988) para obter informação sobre o número de falhas, N, em um sistema de confiabitidade. A probabilidade de corrigir um elro, p, é assumida ser conhecida e desconhecida. Mostramos que o e.m.v. de N depende não somente das freqüências dos erros detectados, como também dos tempos entre falhas. A \'sensibilidade\' da distribuição a posteriori de N com respeito a p e a influência dos tempos entre falhas, são considerados através da distância da variação total e divergência de Kullback-Leibler. Também mostramos que a correção por recaptura é uma condição necessária para a existência da distribuição a posteriori de N quando utilizamos uma priori imprópria. / In this dissertation we describe a likelihood and Bayes approaches for the recapture debugging design proposed by Nayak (1988) to get information about the number of faults, N, in a reliability system. It is considered that the debugging is only sucessful with known and unknown probability p. It is shown that the mle of N depend not only of the frequencies of detect bugs but also of the times between bugs. The sensibility of the posterior distribution of N with respect to p and the influence of the time data are numerically considered via variational distance and Kullback-Leibler divergence. Also, it is shown that the recapture debugging is a necessary and sufftcient condition for the existence of the posteriori distribution of N when an improper priori is imposed.

Identiferoai:union.ndltd.org:usp.br/oai:teses.usp.br:tde-20032018-104055
Date17 October 1997
CreatorsBarbosa, Luciano
ContributorsRodrigues, Josemar
PublisherBiblioteca Digitais de Teses e Dissertações da USP
Source SetsUniversidade de São Paulo
LanguagePortuguese
Detected LanguageEnglish
TypeDissertação de Mestrado
Formatapplication/pdf
RightsLiberar o conteúdo para acesso público.

Page generated in 0.0017 seconds