Assertion.ru

Manchmal gibt es Tatsachen, dass konnte nicht direkt überprüft werden. Sagen wir, es ist ein Kühlschrank in einem Kasten, dass kann nicht geöffnet werden. Imagine Kühlschrank kann aus 5 verschiedenen Farben - weiß, blau, rot, schwarz und grün. Das Handbuch sagt, dass es blau ist. Aber das Einzige, was verfügbar ist, ist ein Schwarz-Weiß-Foto des Kühlschranks. Der direkte Farb-Test zu überprüfen, ist schwer zu machen, mit nur dem Foto (nehme an, es ist unmöglich). Aber man kann sagen, defenately (schaut auf dem Foto), dass der Kühlschrank entweder weiß oder nicht. Also der Test nicht überprüft die Farbe selbst, es tatsächlich testet, ob die Farbe ist weiß.

Ähnliche Situationen auftreten, die ganze Zeit. Deshalb gibt es zwei Arten von Assertions. Die erste ist die direkte Eins, wenn es möglich testen, ob die Tatsache, genaue Kontrollen angegeben ist, von dieser Behauptung. Die zweite Art ist die indirekte Behauptung abgeleitet. Es ist nicht in einer Spezifikation geschrieben, sondern leitet sich von einem oder mehreren, die sind.

Gehen wir zurück zu Kühl-und Schwarz-Weiß-Foto, hier sind einige Beispiele:

• Direct Behauptung:
  Geschrieben ist das spec: "Der Kühlschrank ist weiß". Der Test prüft lediglich, wenn es weiß ist.

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

Es ist nicht wahr, dass abgeleitete Aussagen nur dann sinnvoll, wenn es keine Möglichkeit, die Basis Behauptung aus spec testen. In vielen Fällen helfen sie ausführliche Berichterstattung über eine Behauptung zu erhöhen.