34 PrüfenAngenommene Spezifikation Des PROFILS 2,0 UML 6,3,4 ZeitcKonzepte Wenn man Tests spezifiziert, sind Zeitkonzepte wesentlich, die kompletten und exakten Spezifikationen zur Verfügung zu stellen. Die einfache Zeit Konzepte von UML decken nicht den vollen Bedarf an der Prüfvorschrift, und folglich liefert das prüfenprofil ein kleines Satz nützliche Zeitkonzepte. Timer werden als Mittel, Testverhalten zu manipulieren und zu steuern, oder zu versichern benutzt, daß ein Testfall richtig beendet. Timezones werden verwendet, um Testbestandteile innerhalb eines Testverbundsystems zu gruppieren und zu synchronisieren. Timer und Abschaltung Timer ist eine vorbestimmte Schnittstelle. Timer-propreties können durch aktive Gegenstände nur besessen werden. Eine aktive Kategorie kann besitzen mehrfache Timer. Betriebe wie Anfang, Anschlag und gelesen werden für die Timer-Schnittstelle definiert. Mittels des Anfangs () Betrieb, ein Timer kann begonnen werden mit einem bestimmten Zeitwert. Der vorbestimmte Zeitwert eines Timers hat immer zu sein positiv. Z.B. "Anfang Timer1(now+2.0) "bedeutet, einen Timer zu beginnen und ihn spätestens zu stoppen in 2 Zeitmaßeinheiten, andernfalls läuft es ab. Mit dem Anschlag () kann Betrieb, ein aktiver Timer gestoppt werden. Die Verfallzeit eines aktiven Timers kann durch zurückgeholt werden gelesen worden () Betrieb. Das Timer-Attribut, das isRunning ist, ist ein Boolescher Wert und zeigt ob an Timer ist noch oder nicht aktiv. Wenn ein Timer abläuft, nachdem seine vorbestimmte Zeit, eine spezielle TIMEOUTANZEIGE automatisch erzeugt ist. Sie wird gesendet sofort zur aktiven Kategorie, die den Timer besitzt. Eine Abschaltung wird nur geschickt werden lassen der Besitzenkategorie von Timer. , um mehr Flexibilität zur Verfügung zu stellen, wird keine Beschränkung über die Sicht eines Timers gebildet. Wenn ein Timer privat ist, der Timer nur Dose wird durch seine Besitzenkategorie erreicht. Wenn der Timer allgemein ist, wird irgendwelche anderen aktiven Kategorien Testsystem erlaubt den Timer manipulieren. Die graphische Syntax für das Beginnen, das Stoppen eines Timers und das Empfangen der TIMEOUTANZEIGE innerhalb der Inhaberkategorie von Timer werden von der Sprache der Anzeigenreihenfolgen-Diagramme (MSC) angenommen. Hierin Schlüsselwörter wie "Anfang "oder" Anschlag "seien Sie nicht verwendet. Nur der Name des Timers und seines Verfallzeitwertes muß spezifiziert werden. Wenn ein Timer manipuliert wird durch andere Kategorien beginnen Standardnachricht mit den Schlüsselwörtern " "und" Anschlag "werden verwendet. Keine spezifische Syntax wird für definiert Ablesen eines Timers. Timezone Serve Timezones als gruppiereneinheiten für Testbestandteile innerhalb eines Testsystems. Jeder Testbestandteil gehört an die meisten zu einem timezone. Testbestandteile im gleichen timezone haben die gleiche Vorstellung der Zeit, d.h. Testbestandteile vom gleichen timezone werden betrachtet, um die synchronisierte Zeit zu sein. Die Zeitzone eines Testbestandteils kann erreicht werden im Modell und in der Laufzeit. Das Vergleichen der Zeit-kritischen Fälle innerhalb des gleichen timezone wird erlaubt. Vergleichen der Zeit-kritischen Fälle von unterschiedlichem timezones ist eine Angelegenheit des semantischen Veränderungspunktes und sollte vom Werkzeugverkäufer entschieden werden. Durch Rückstellung Vergleich zwischen Fällen in zwei unterschiedlichen timezones ist ungültig.