La fiabilidad orientada al usuario está relacionada con el perfil del usuario y el uso del sistema. Un sistema fiable para un usuario puede no serlo para otro. La fiabilidad orientada al usuario puede representarse como una función de la fiabilidad de los componentes y la distribución de frecuencia de utilización de estos componentes. Para probar software en un tiempo y con unos recursos limitados, es necesario recurrir a técnicas de prueba basadas en modelos que utilicen un enfoque basado en probabilidades para evaluar la fiabilidad. Se trata de una técnica de prueba de software en la que los casos de prueba se derivan total o parcialmente de un modelo que describe algunos aspectos del sistema bajo prueba. En este trabajo se calcula la fiabilidad del módulo del sistema de gestión de bibliotecas del software SHARP. Para calcular la fiabilidad del software, se presentó la estructura modular del software elegido en forma de modelo de cadena de Markov. En este trabajo se desarrolla un gráfico de flujo de control utilizando el Modelo de Cadena de Markov. La fiabilidad de los submódulos se basa en los datos recibidos de la encuesta de usuarios finales del software SHARP. Las probabilidades de transición entre módulos también se basan en este cuestionario. Esta información se utiliza para desarrollar una técnica de prueba basada en un modelo.