24 PrüfenAngenommene Spezifikation Des PROFILS 2,0 UML e Tabelle 3. Rückstellungen Tabelle 4. Tätigkeiten Rückstellung Beschreibung Verlängert Verhalten. Eine Rückstellung ist ein Verhalten, das verwendet wird, um die unerwarteten oder aussergewöhnlichen Anzeigen oder die Fälle auf einem Test anzufassen Bestandteil. Semantik Wir beschreiben die Semantik von Rückstellungen anders als für Abhängigkeit und geben Maschinen an, da UML selbst beschreibt Semantik von diesen Konzept in den unterschiedlichen Bezeichnungen. Für Rückstellungen, die auf Abhängigkeiten beschrieben werden, definieren wir die Semantik als Algorithmus, der die Spuren von kombiniert fallen Sie Verhalten mit den Spuren der Hauptbeschreibung zurück. Der Kombinationsalgorithmus wird hier gegeben. Nehmen Sie an, daß es eine Hauptbeschreibung eines Abhängigkeitsfragments gibt. Sein Semantik kann zu einem Satz Spuren errechnet werden. Wir projizieren diesen Satz Spuren auf den Testbestandteil mit der Rückstellung vorbei Entfernen alles Fallauftretens anderer Rettungsleinen von den Spuren. Das Resultat ist ein Satz Spuren, die nur Fall mit einbeziehen Auftreten des Testbestandteils. Dieses ist, was wir die Hauptbeschreibung nennen. Jede Spur in diesem Satz kann innen aufgespaltet werden drei Teile: ein Kopf, ein Auslöser und ein Endstück. Der Auslöser ist normalerweise ein empfangendes Fallauftreten. Eine bestimmte Spur Dose folglich wird in den Teilen in einigen Weisen konstruiert. Die Rückstellung ist ein Verhalten und ist folglich auch ein Satz Spuren, jedes, von dem in zwei Teile geteilt werden kann: ein Auslöser und ein Endstück. Für jede eingeteilte Spur in der Hauptbeschreibung, konstruieren Sie mehr Spuren, indem Sie Haupt-Kopf mit jedem verketten fallen Sie Spur zurück, vorausgesetzt daß Haupt-Auslöser zu Zurückfallenauslöser unterschiedlich ist. Behalten Sie die Informationen über einen Auslöser, der es ursprünglich war ein Zurückfallenauslöser durch eine Markierungsfahne. Filtern Sie schließlich heraus alle Spuren beginnend mit main-head+trigger-with-default-flag wenn es gibt, ist eine andere Spur im Satz beginnend mit main-head+main-trigger und dem Haupt-Auslöser dem Auslöser gleich Mit-zurückfallenmarkierungsfahne. Dieses bildet den Satz von den Spuren für das Abhängigkeitsfragment mit dazugehöriger Rückstellung. Rückstellung < < stereoty PET > > 0,,1 Verhalten < < metaclass > > DefaultApplication < < stereoty PET > > Abhängigkeit < < metaclass > > 0,,1 ValidationAction < < stereoty PET > > LogAction < < stereoty PET > > 0,,1 0,,1 CallOperationAction < < metaclass > > SendObjectAction < < metaclass > > Urteilsspruch < < Aufzählung > > Durchlauf Ausfallen ergebnislos Störung Tätigkeit < < metaclass > > FinishAction < < stereoty PET > > 0,,1