No hay duda de que la confiabilidad de un programa de cómputo es un elemento importante de su calidad general. Si un programa falla repetida y frecuentemente en su desempeño, importa poco si otros factores de la calidad del software son aceptables.

La confiabilidad del software, a diferencia de muchos otros factores de la calidad, se mide y estima directamente mediante el uso de datos históricos del desarrollo. La confiabilidad del software se define en términos estadísticos como “la probabilidad que tiene un programa de

cómputo de operar sin fallas en un ambiente específico por un tiempo específico” [Mus87]. Para ilustrar lo anterior, digamos que se estima que el programa X tiene una confiabilidad de 0.999 durante ocho horas de procesamiento continuo. En otras palabras, si el programa X fuera a

ejecutarse 1 000 veces y requiriera un total de ocho horas de tiempo de procesamiento continuo (tiempo de procesamiento), es probable que operara correctamente (sin fallas) 999 veces.