Cobertura de fallas


La cobertura de fallas se refiere al porcentaje de algún tipo de falla que se puede detectar durante la prueba de cualquier sistema diseñado. La alta cobertura de fallas es particularmente valiosa durante la prueba de fabricación, y se utilizan técnicas como Design For Test (DFT) y la generación automática de patrones de prueba para aumentarla.

En electrónica, por ejemplo, la cobertura de fallas atascadas se mide colocando cada pin del modelo de hardware en "0" lógico y "1" lógico, respectivamente, y ejecutando los vectores de prueba. Si al menos una de las salidas difiere de lo esperado, se dice que se ha detectado el fallo. Conceptualmente, el número total de ejecuciones de simulación es el doble del número de pines (ya que cada pin está atascado en una de dos formas y se deben detectar ambas fallas). Sin embargo, hay muchas optimizaciones que pueden reducir el cálculo necesario. En particular, a menudo se pueden simular muchas fallas que no interactúan en una ejecución, y cada simulación se puede terminar tan pronto como se detecte una falla.

Una prueba de cobertura de fallas pasa cuando se puede detectar al menos un porcentaje específico de todas las fallas posibles. Si no pasa, son posibles al menos tres opciones. En primer lugar, el diseñador puede aumentar o mejorar el conjunto de vectores, quizás mediante el uso de una herramienta de generación automática de patrones de prueba más eficaz . En segundo lugar, el circuito puede redefinirse para una mejor detección de fallas (mejor capacidad de control y observabilidad). En tercer lugar, el diseñador puede simplemente aceptar la cobertura más baja.

El término cobertura de prueba utilizado en el contexto de programación / ingeniería de software, se refiere a medir cuánto se ha ejercido un programa de software mediante pruebas. La cobertura es un medio para determinar el rigor con el que se ha respondido la pregunta subyacente a la prueba. Hay muchos tipos de cobertura de prueba:

Cada uno de estos tipos de cobertura asume que existe algún tipo de línea de base que define el sistema bajo prueba. Por lo tanto, el número de tipos de cobertura de prueba varía según el número de formas de definir el sistema.