Assertion.ru

A veces hay hechos, que connot comprobar directamente. Digamos que hay un refrigerador en una caja, que no se puede abrir. Imagínese refrigerador puede ser de 5 colores diferentes - blanco, azul, rojo, negro y verde. El manual dice que es azul. Pero lo único que está disponible es una foto en negro y blanco de la nevera. La prueba de color de verificación directa es difícil de hacer utilizando sólo la foto (supongo que es imposible). Pero uno puede decir defenately (mirando la foto) que el refrigerador es blanco o no. Así que la prueba no comprueba el color en sí mismo, en realidad las pruebas si el color es blanco.

Situaciones similares ocurren todo el tiempo. Es por eso que hay dos tipos de afirmaciones. El primero es el directo, cuando no es posible que una prueba de control el hecho exacto indicado por esta afirmación. El segundo tipo es la afirmación de derivados indirectos. No está escrito en un pliego de condiciones, pero se deriva de uno o varios que son.

Volviendo a los frigoríficos y negro fotográfico y negro, he aquí algunos ejemplos:

• Directa afirmación:
  Escrito es la especificación: "El frigorífico es de color blanco". La prueba simplemente comprueba si es de color blanco.

• Derivado afirmación:
  La afirmación de la base de una especificación es "El refrigerador es azul".
  Los derivados pueden ser "El refrigerador es blanco o negro". Los controles de las pruebas si no es azul (blanco / negro).

No es cierto, que las afirmaciones derivadas sólo son útiles cuando no hay posibilidad de probar la afirmación de la base de la especificación. En muchos casos ayudan a aumentar la cobertura de profundidad de una afirmación.