Assertion.ru

A volte ci sono fatti, che connot essere controllati direttamente. Diciamo che c'è un frigorifero in una scatola, che non può essere aperto. Immaginate frigorifero può essere di 5 diversi colori - bianco, blu, rosso, nero e verde. Il manuale dice che è blu. Ma l'unica cosa è che è disponibile una foto in bianco e nero del frigorifero. La prova di controllo diretto del colore è difficile fare usando solo la foto (si assuma che è impossibile). Ma si può dire defenately (guardando la foto) che il frigorifero è o bianco o meno. Quindi il test non controlla il colore stesso, si prova realmente se il colore è bianco.

Situazioni simili si verificano in ogni momento. Ecco perché ci sono due tipi di asserzioni. La prima è quella diretta, quando c'è un possibile test che verifica la circostanza esatta affermato da questa affermazione. Il secondo tipo è l'affermazione indiretti, derivanti. Non è scritto in una specifica, ma è derivato da uno o più che sono.

Tornando ai frigoriferi e foto in bianco e nero, ecco alcuni esempi:

• Direct affermazione:
  Scritto sono le specifiche: "Il frigorifero è" bianco. Il test di verifica semplicemente se è bianco.

• Derivato affermazione:
  L'affermazione di base in una specifica è "Il frigorifero è" blu.
  Il derivato potrebbe essere "Il frigorifero è bianco o nero". Le prove di verifica, se non è blu (bianco / nero).

Non è vero, che le affermazioni derivati sono utili solo quando non vi è possibilità di provare l'affermazione di base da spec. In molti casi contribuiscono ad aumentare la copertura profondità di un'asserzione.