Assertion.ru

Es gibt manchmal Tatsachen, dass Connot direkt geprüft werden. Sagen wir, es ist ein Kühlschrank in eine Box, kann diese nicht geöffnet werden. Stellen Sie sich vor Kühlschrank kann aus 5 verschiedenen Farben werden - weiß, blau, rot, schwarz und grün. Das Handbuch sagt, dass sie blau ist. Aber das Einzige, was verfügbar ist, ist ein Schwarz-Weiß-Foto aus dem Kühlschrank. Der direkte Farbprüfung Test ist schwer zu machen, mit nur das Foto (annehmen, dass es unmöglich ist). Aber man kann sagen, defenately (schaut auf dem Foto), dass der Kühlschrank ist entweder weiß oder nicht. Also der Test nicht die Farbe selbst zu überprüfen, weil sie aufzeigt, tatsächlich, wenn die Farbe ist weiß.

Ähnliche Situationen auftreten, die ganze Zeit. Aus diesem Grund gibt es zwei Arten von Behauptungen. Die erste ist die direkte, wenn es eine Möglichkeit der genauen Prüfung, dass die Kontrollen durch die Tatsache, diese Behauptung angegeben. Die zweite Art ist die indirekte Behauptung abgeleitet. Es ist nicht in einer Spezifikation geschrieben, sondern leitet sich aus einem oder mehreren, die.

Going back to Kühl-und Schwarz-Weiß-Foto, hier sind einige Beispiele:

• Direct Behauptung:
  Geschrieben ist die Spezifikation: "Der Kühlschrank ist weiß". Der Test prüft nur, wenn es weiß ist.

• Abgeleitet Behauptung:
  Die Basis Behauptung in einer Spezifikation ist "Der Kühlschrank ist blau".
  Die abgeleitet werden könnte "Der Kühlschrank ist weiß oder schwarz". Die Tests wird überprüft, ob es nicht blau (weiß / schwarz).

Es ist nicht wahr, dass abgeleiteten Behauptungen nur dann nützlich sind, wenn es keine Möglichkeit, die Basis Behauptung aus spec testen. In vielen Fällen helfen sie tiefergehende Behandlung der Aussage zu erhöhen.