La variante de prueba, la situación de prueba ( eng. caso de prueba ) en el desarrollo de software es un algoritmo descrito formalmente para probar un programa , especialmente creado para determinar la ocurrencia en un programa de una situación determinada, ciertos datos de salida . A menudo, los casos de prueba se agrupan en casos de prueba .
Si se imponen ciertos requisitos formales al programa , las opciones de prueba se compilan de tal manera que se cubran todos estos requisitos. Para aplicaciones sin requisitos formales, se pueden crear casos de prueba basados en el comportamiento típico de programas de una clase similar.
Un caso de prueba generalmente consta de una secuencia de pasos. Información que suele acompañar a la opción de prueba: