Assertion.ru

A veces hay hechos, que connot podrá comprobar directamente. Digamos que hay un refrigerador en una caja, que no se puede abrir. Imagine refrigerador puede ser de 5 diferentes colores - 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 (asuma 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 hay una posible prueba que verifica 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 está la especificación: "El refrigerador es" blanco. La prueba simplemente comprueba si es blanco.

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

No es cierto, que las afirmaciones de derivados sólo son útiles cuando no hay capacidad para poner a prueba la afirmación de base a partir de especificaciones. En muchos casos ayudan a aumentar la cobertura en profundidad de una afirmación.