Assertion.ru

Il ya parfois des faits, que connot être vérifiée directement. Disons que il ya un réfrigérateur dans une boîte, qui ne peut pas être ouvert. Imaginez un réfrigérateur peut être de 5 couleurs différentes - blanc, bleu, rouge, noir et vert. Le manuel dit qu'il est bleu. Mais la seule chose qui est disponible est une photo en noir et blanc du réfrigérateur. Le contrôle de couleur test direct est difficile à faire en utilisant simplement la photo (il est impossible de supposer). Mais on peut dire defenately (en regardant la photo) que le réfrigérateur est soit blanc ou non. Ainsi, le test ne vérifie pas la couleur elle-même, il teste en fait, si la couleur est blanche.

Des situations semblables se produisent tout le temps. C'est pourquoi il existe deux sortes d'affirmations. Le premier est le direct, quand il ya un test possible que les contrôles du fait exacte indiquée par cette affirmation. Le deuxième type est l'affirmation indirectes tirées. Il n'est pas écrit dans un cahier des charges, mais provient d'une ou plusieurs qui sont.

Pour en revenir aux réfrigérateurs et les photos en noir et blanc, voici quelques exemples:

• affirmation directe:
  Écrite est la spécification: «Le réfrigérateur est blanc. Le test vérifie simplement si elle est blanche.

• l'affirmation de dérivée:
  L'affirmation de base dans un spec est "Le réfrigérateur est bleu".
  Les dérivés peuvent être "Le réfrigérateur est blanc ou noir". Les contrôles, des analyses, si ce n'est pas bleu (blanc / noir).

Il n'est pas vrai, que les affirmations de dérivés ne sont utiles que quand il n'y a pas de possibilité de tester l'affirmation de base de la spec. Dans de nombreux cas, ils contribuent à augmenter la couverture de la profondeur d'une affirmation.