Definición de términos: modelo de anomalía
Descripción principal
Modelo para la verificación de software que utiliza la noción de errores plausibles como base y proporciona un método de prueba para descubrir el error. Un buen modelo de anomalías proporciona una definición del error o de la causa original, un debate de anomalías observables que el error puede producir, una técnica de prueba para descubrir el error y un perfil de datos de prueba adecuado.