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.