22 PrüfenAngenommene Spezifikation Des PROFILS 2,0 UML 6,3,2 Prüfen Sie Verhalten Der Bereich des Testverhaltens umfaßt Konzepte, um das Verhalten der Tests im Kontext eines Testsuite zu spezifizieren (sehen Sie "Test Suite "auf Seite 21) . Die allgemeinen Testfallbetriebe eines Testsuite sind die Testfälle, daß Repräsentant die Schnittstelle in Richtung zu zurücksendete die Prüfvorrichtungen. Zusätzlich kann es andere private oder geschützte Testfälle geben, die als Dienstprogramme innerhalb des Betons benutzt werden Realisierung der allgemeinen Testfälle. Die Implementierung der Testfälle wird durch ein Testverhalten spezifiziert. Das Testverhalten kann eine Anzahl von speziellem umfassen Konstruieren definiert durch das prüfenprofil. Ein Testfall bringt einen Urteilsspruch zurück. Urteilsspruch Der Urteilsspruch ist ein vorbestimmtes Aufzählungdatatype, das mindestens Wert- Ausfallen enthält ergebnislos Durchlauf Störung Anzeige, wie diese Testfalldurchführung durchgeführt hat. Ein Durchlauf Urteilsspruch zeigt an, daß der Testfall erfolgreich ist und daß das SUT hat sich benommen entsprechend, was erwartet werden sollte. Ausfallen Urteilsspruch zeigt andererseits, daß das SUT ist benehmend nicht, entsprechend der Spezifikation. Ein ergebnisloses Urteilsspruch bedeutet, daß die Testdurchführung nicht feststellen kann ob das SUT gut oder nicht durchführt. Eine Störung Urteilsspruch erklärt, daß das Testsystem selbst und nicht das SUT ausfällt. Der abschließende Urteilsspruch eines Testfalles wird von einem Schiedsrichter festgestellt. Jeder Testsuite hat einen Schiedsrichter und der Werkzeugverkäufer wird stellen Sie einen Rückstellungsschiedsrichter zur Verfügung, wenn der Testsuite nicht ausdrücklich ein spezifiziert. Während der Testdurchführung des Testverhaltens, berichtet jeder Testbestandteil Urteilssprüchen den Schiedsrichter und dem Schiedsrichter produziert den abschließenden Urteilsspruch aus diesen spezifischen Teilurteilssprüchen des Zwischentests, wenn alle Testbestandteile haben diesen, Testfall durchzuführen beendet. Die vorbestimmte Schiedsrichterschnittstelle definiert setVerdict und getVerdict das kann direkt verwendet werden, wenn der Schiedsrichter beschrieben wird ausdrücklich. Sogar kann der Rückstellungsschiedsrichter in den Spezifikationen des Testverhaltens ausdrücklich erscheinen. Ausserdem hat das prüfenprofil einige Tätigkeiten definiert, die durch Testbestandteile angewendet werden können, um zu definieren und beobachten Sie den Urteilsspruch. Das ValidationAction Tätigkeit ist eine implizite setVerdictanzeige zum Schiedsrichter, sie ungefähr informierend lokaler Urteilsspruch des Vermittlers (oder Endrunde) von diesem Testbestandteil. Rückstellung Eine UML-Spezifikation ist nicht notwendigerweise komplett. in dieser Richtung komplett zu sein bedeutet, daß es jedes mögliche spezifiziert Spur der Durchführung. Insbesondere, wenn Abhängigkeiten verwendet werden, um das Verhalten zu spezifizieren, ist die normale Situation daß Spezifikation ist jene teilweise Drehbücher nur, im Detail spezifizierend, die von der besonderen Bedeutung sind. In einem prüfenkontext jedoch gibt es eine Notwendigkeit, komplette Definitionen zu haben so, daß die Zahl fehlerhaften Testfalldurchführungen sein kann gehalten zu einem Minimum. Die Rückstellungsspezifikationen sind die Maßeinheiten der Spezifikation definiert im prüfenprofil als Mittel, teilweise zu bilden Definitionen der Testbestandteile führen in einem Vertrag, dennoch in der flexiblen Weise durch. Das prüfenprofil definiert Einheiten für Rückstellungen auf Abhängigkeiten sowie Zustandmaschinen. Die allgemeine Idee über Rückstellungen ist das folgende. Eine Testverhaltenspezifikation beschreibt gewöhnlich das normative oder erwartetes Verhalten für das SUT. Jedoch wenn während der Testdurchführung einem unerwarteten Verhalten dann eine Rückstellung beobachtet wird Zufuhr wird angewendet. Wir haben Rückstellungsverhaltendefinitionen auf einigen unterschiedlichen Niveaus umfaßt. Wenn die innerste Rückstellung können Sie das beobachtete Verhalten erkennen, welches die nicht Rückstellung des folgenden Niveaus versucht wird. Der Grund für das Entwerfen mit Rückstellungen anstatt das Überprüfen, ob die Hauptbeschreibung komplett ist, soll sich trennen die allgemeinsten und normalsten Situationen vom geheimeren und das aussergewöhnlich. Die Unterscheidung zwischen der Hauptleitung der Teil und die Rückstellung ist bis zum Entwerfer und zu den Teststrategien. Das prüfenprofil hat beschlossen, die Rückstellungsanwendungen zu den statischen Verhaltensstrukturen zu verbinden. In den Abhängigkeiten wir kann Rückstellungen an den Abhängigkeitsfragmenten und in den Zustandmaschinen an StateMachines, an den Zuständen oder an den Regionen anwenden. Seit jedem Rückstellung trifft nur auf einen Testbestandteil, wir anbringen die Rückstellungen auf Abhängigkeitsfragmenten zum Durchschnitt zwischen zu