Anmerkungen zu Kapitel 4 - Grundlegende Struktur einer Tango-Spezifikation

 

1) Eigenschaften sind statisch und können trotzdem eine Wirkung beschreiben. Im Beispiel Anmeldedialog enthält das Element WnLogin.EtPasswort.TxAnzeige die Eigenschaft {während der Eingabe ein Sternchen pro eingetipptem Zeichen an TxAnzeige anhängen}. Dies beschreibt eine Wirkung, die immer so eintritt. Der Ursache-Wirkungs-Zusammenhang ist aus Tango-Sicht nicht explizit, sondern er verschwindet in der formlosen Beschreibung. Dieser Fall ist kein Widerspruch zur Aussage, dass alle Aspekte außerhalb von Aktivitätsblöcken statische Eigenschaften beschreiben, wenn unter statisch das Fehlen des Ursache-Wirkungs-Zusammenhangs eingeschlossen wird.

 

2) Eine hilfreiche Vorstellung zur Sichtweise auf Aktivitätsblöcke wäre: Der Tester drückt einen Knopf, und wartet, bis das Produkt zur Ruhe gekommen ist, dann nimmt er die Checkliste (den Aktivitätsblock dieses Knopfs) zur Hand und prüft, ob alles eingetreten ist, was eintreten sollte. Die Checkliste enthält nicht nur die Veränderungen, die das Drücken des Knopfes verursacht hat, sondern vielleicht auch das, was nach der Knopfbetätigung immer noch unverändert bleiben soll.