SPE2007 -AIM

Abstract

Nas últimas décadas, os modelos de captura-recaptura em populações fechadas têm sido muito utilizados para estimar o número de falhas num sistema. Os modelos que têm sido utilizados tomam em conta dois factores: a heterogeneidade das probabilidades de detecção de falhas e as diferenças nas probabilidades de detecção por parte dos avaliadores. Estes modelos são usualmente designados na literatura por Mth,Mh,Mt e M0. Uma classe específica de modelos que tem sido amplamente negligenciada, considera diferenças entre a probabilidade da primeira detecção de uma dada falha e as probabilidades de detecção subsequentes. No contexto da detecção de falhas de software, este modelo pressupõe que, após a primeira detecção de uma falha por parte de um avaliador, a probabilidade de detecção dessa falha não se mantém constante para os outros avaliadores. Este tipo de heterogeneidade é conhecido na literatura inglesa sobre vida selvagem por "behavioural response", podendo ser associada a uma potencial falta de independência entre os avaliadores. Admita-se, por exemplo, que após a falha ser detectada pela primeira vez por um avaliador, os restantes avaliadores são alertados de alguma forma para o tipo de falha. Neste estudo, repetindo a análise de um conjunto de dados relativos a uma experiência controlada apresentada em Thelin et al. (2002), observamos que são também possíveis os modelos do tipo Mb,Mbh, e Mtb. Discutimos sobre a validade da hipótese de independência entre os avaliadores e propomos que os modelos do tipo Mb possam ser vistos como um indicador de uma potencial violação deste pressuposto. Analisamos alternativas para testar esta hipótese e outros aspectos relacionados com a aparente independência do número de avaliadores.