20 PrüfenAngenommene Spezifikation Des PROFILS 2,0 UML Schiedsrichter (eine vorbestimmte Schnittstelle) Beschreibung Der Schiedsrichter ist eine vorbestimmte Schnittstelle die Betriebe definierend, die für Schlichtung der Tests verwendet werden. Prüfen Sie Fälle, Testsuites, und Laufzeitsystem kann Realisierungen dieser Schnittstelle verwenden, um Urteilssprüche der Tests zuzuweisen und den gegenwärtigen Urteilsspruch von a zurückzuholen prüfen Sie (Urteilssprüche werden in Abschnitt 2,3,2. besprochen), Betriebe ?- getVerdict(): VerdictReturns der gegenwärtige Urteilsspruch. ?- setVerdict(v: Verdict)Sets ein neuer Urteilsspruchwert. Semantik Der Urteilsspruch, der Semantik einstellt, wird durch den Klassifikator definiert, der die Schiedsrichterschnittstelle verwirklicht. Ein Beispiel von wie zu führen Sie den setVerdictbetrieb ist das folgende ein: ? , wenn ein Urteilsspruch Durchlauf ist, kann er zu ergebnislosem, nur zu Ausfallen oder zur Störung geändert werden, ? , wenn ein Urteilsspruch ergebnislos ist, kann er nur zu Ausfallen oder zur Störung geändert werden, ? , wenn ein Urteilsspruch Ausfallen ist, kann er nur zur Störung geändert werden, ? , wenn ein Urteilsspruch Störung ist, kann er nicht geändert werden. Beispiele Ein Beispielschiedsrichter kann in Tabelle 39 gefunden werden . SUT Beschreibung Verlängert Eigenschaft. Der SUT-Stereotype wird an einer oder mehr Eigenschaften eines Klassifikators angewendet, um zu spezifizieren daß sie setzen Sie das System unter Test fest. Die Eigenschaften und das Verhalten des SUT wird völlig nach der Art der Eigenschaft zu gegeben welches der Stereotype angewendet wird. Beispiele Beispiele von SUTs können in Tabelle 23 gefunden werden und Tabelle 35 . Prüfen Sie Bestandteil Beschreibung Ein Testbestandteil ist ein strukturierter Klassifikator, der am Testverhalten teilnimmt. Ein Testbestandteil ist allgemein ein aktives klassifizieren Sie mit einem Satz Toren und Schnittstellen. Testbestandteile werden benutzt, um Testfälle als Abhängigkeiten zwischen a zu spezifizieren Zahl der Testbestandteile. Das Klassifikatorverhalten eines Testbestandteils kann verwendet werden, um Testverhalten des niedrigen Niveaus zu spezifizieren, wie Testindexe oder es kann indem das Ableiten des Verhaltens von allen Testfällen automatisch erzeugt werden, in denen Bestandteil nimmt teil. Attribute ?- Zone: Timezone [ 0..1]Specifies zu dem das timezone ein Testbestandteil gehört (Timezones sind dis- cussed in Abschnitt 2,3,4.),