Assertion Färbung

rainbow Assertion coloring Conformance Test-Entwicklung beinhaltet die Ermittlung Behauptungen in einer Spezifikation, Schreib-Conformance-Tests festgestellt, dass die Behauptungen zu überprüfen und die Verknüpfung der Prüfung der Behauptung, dass es Tests.
Lets start aus der folgenden Punkte:
- Behauptung ist markiert
- Tatsächliche Behauptung ist schwierig, in der Spezifikation (derzeit gibt es nur kleine Behauptung gif's am Ende der einzelnen Behauptungen view)
- Abschluss der Behauptungen sind nur durch das Lesen der HTML direkt oder Blick auf die einzelnen Tests angesehen
- Beginn der Behauptungen sind schwer in den HTML-Code zu sehen
- Bereitstellung einer visuellen Weg, um die Behauptung Ansicht ist einfach das Problem sind wir zu lösen versuchen.

Die Hauptsache ist, zu den Behauptungen Farbe (Spezifikation Text selbst) mit HTML-Tags. Die Untersuchung wurde gemacht, die HTML-Tags zu verwenden. Div, span, Tisch-und Font-Tags wurden betrachtet. Die beste Lösung ist die Schriftart-Tag. So wird der Text mit font-Tags umgeben. Die Klasse Attribut des font-Tag entspricht der Art der Behauptung. Fe, wenn die asserion neu ist sie mit rot gefärbt, um anzuzeigen, dass Tests geschrieben werden müssen, sind alte Behauptungen mit grüner Farbe, um anzuzeigen, dass Tests bereits existieren. Es sollte ein Dienstprogramm (Script oder Java-Programm) gekennzeichneten Scan-up-Spezifikation und automatisch die Tags für die Einfärbung benötigt. Die Hintergrundfarbe des Textes wird durch den Title-Attribut Farbe der Behauptung, bestimmt werden. Diese Methode wurde umgesetzt und funktioniert gut. Für Usability-Zwecke sollte es einen Mechanismus zu verbergen Färbung, zB ein Javascript.

Ein Nachteil dieser Lösung ist, dass die Farbe statisch ist, da es auf dem Titel-Attribut basiert. Eine zweite Lösung wäre, dass das Werkzeug würde für eine Existenz eines Tests zu überprüfen (auf die Behauptung, ID oder den Link in der Behauptung aus). Wenn ein Test existiert, würden wir etwas tun, um die Farbe für diese Behauptung gesetzt. Man könnte so einfach sein, dass sie eine Titel-Attribut. Ein Nachteil dieser Lösung wäre, dass die Behauptung Färbung noch statisch sein würde, aber auf, wenn der Benutzer die Skripte auf.

Eine Variante der gegebenen Lösung ist, dass wir dynamisch die Erfassung von Daten, wenn die Spezifikation wird in einem Browser betrachtet erzeugen würde. Wir würden uns festzustellen, ob ein Test besteht in der Prüfung Verzeichnis nach einer bestimmten Behauptung und Farbe der Behauptung entsprechend. Dies könnte durch ein Javascript gemacht werden / VBScript mit Objekten, die Zugriff auf Datei-System zu ermöglichen. Diese Methode wäre dynamischen und sollte immer auf dem neuesten Stand Behauptung Abdeckung.

Hier sind einige Beispiele aus JLS3 Kapitel "Conversions und Promotions" und "Schnittstellen":

JLS3 colored Assertion coloring

JLS3 colored2 Assertion coloring

Assertions conv063, conv047, conv065, conv48, conv66 und conv049 aus den vorangegangenen Version der Spezifikation, wurden sie nicht verändert und Tests Update ist nicht noetig - Farbe Aquamarine (neurtal grün). Conv155 und conv156 sind neu, neue Tests entwickelt werden sollte, Behauptungen sind in grellem Rot eingefärbt. Conv064 wurde geändert, Test-Update notwendig - Farbe: orange. Annot019 ist ein neues, Tests gibt, aber sie sind notwendig, um geändert werden - Lachs Farbe. Annot020 ist neu, aber кудумфте Prüfungen bestehen - Farbe hellgrün.

Der Hauptvorteil der Spezifikation Färbung ist, dass die spec visualisiert wird. User sehen die ganze Aussage und ihre Titel. Man kann sagen, indem man die Spezifikation, wo es Gebiete mit geringer Reichweite, bei denen einige oder viele Tests hinzugefügt werden sollte oder verändert werden. Es besteht grundsätzlich die Möglichkeit, um zu sehen, wie gut ein spec ist ausgezeichnet werden und wie gut er geprüft worden ist.




  • Share / Bookmark
Print This Post Drucken Sie diese Post

Zwei Arten von Behauptungen

refrigerator Two types of assertions 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: wheel Two types of assertions

  • 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.




  • Share / Bookmark
Print This Post Drucken Sie diese Post