Cálculo da fiabilidade de um sistema informático orientado para o utilizador através da cadeia de Markov

A fiabilidade orientada para o utilizador est relacionada com o perfil do utilizador e a utiliza o do sistema. Um sistema fi vel para um utilizador pode n o ser fi vel para outro. A fiabilidade orientada para o utilizador pode ser representada como uma fun o da fiabilidade dos componentes e da distribui o da frequ ncia de utiliza o desses componentes. Para testar software num per odo de tempo limitado e com recursos limitados, necess rio recorrer a t cnicas de teste baseadas em modelos que utilizam uma abordagem baseada na probabilidade para avaliar a fiabilidade. Trata-se de uma t cnica de teste de software em que os casos de teste s o derivados, no todo ou em parte, de um modelo que descreve alguns aspectos do sistema em teste. Neste trabalho, calculada a fiabilidade do software do m dulo Sistema de Gest o de Bibliotecas do software SHARP. Para calcular a fiabilidade do software, a estrutura modular do software escolhido foi apresentada sob a forma de um modelo de cadeia de Markov. Neste trabalho, desenvolvido um gr fico do fluxo de controlo utilizando o modelo da cadeia de Markov. A fiabilidade dos sub-m dulos baseia-se nos dados recebidos do inqu rito aos utilizadores finais do software SHARP. As probabilidades de transi o entre m dulos tamb m se baseiam neste question rio. Esta informa o utilizada para desenvolver uma t cnica de ensaio baseada num modelo.