Assistent zur Modellprüfung
Der Assistent zur Modellprüfung führt Sie schrittweise durch den Vorgang zum Prüfen eines Innovator-Modells.
Zweck
Der Assistent zur Modellprüfung führt Sie schrittweise durch die für eine Prüfung eines Modells notwendigen Arbeitsschritte, in denen die zu prüfenden Modellelemente und die Prüfmethode festgelegt werden.
Der Assistent kann für umfangreiche Prüfungen auch im Mehrbenutzerbetrieb eingesetzt werden, ohne die anderen Benutzer zu beeinträchtigen. Das Ausführen der Prüfroutine unterteilt die ausgewählten Modellelemente und pausiert dazwischen, um Modellserverzugriffe anderer Benutzer zu ermöglichen. Dadurch verlängert sich die Ausführungszeit für die Modellprüfung pro untersuchtem Modellelement um 1 Millisekunde.
Einschränkung
Wenn die Prüfroutine über Überarbeiten>Modell prüfen>Prüfroutine ausführen ausgeführt wird, dann werden alle ausgewählten Modellelemente auf einmal und ohne Pause geprüft. Das kann den Mehrbenutzerbetrieb beeinträchtigen.
Voraussetzungen
Für die Ausführung von Einzelprüfungen, die Sie als Java-Prüfaktionen erstellt haben, wird eine passende Java-Installation vorausgesetzt.
Aufruf
Wählen Sie Überarbeiten>Modell prüfen>Prüf- Assistent.
Oben wird angezeigt, welchen Schritt Sie gerade bearbeiten, und ab dem zweiten Schritt befindet sich dort eine Zurück-Schaltfläche , mit der Sie zum vorherigen Schritt zurückkehren können.
Mittig werden die Eingabe- und Auswahlmöglichkeiten angeboten, ggf. führt eine Auswahl direkt zum nächsten Schritt.
Unten befinden sich die Schaltflächen Weiter (sofern nicht die Auswahl zum nächsten Schritt führt) oder Fertigstellen und stets die Schaltfläche Abbrechen.
Schritt 1 von 5: Umfang des zu prüfenden Modellteils auswählen
Sie können Modellprüfungen durchführen, die alle oder einen Teil der Elemente aus einem Modell zum aktuellen Entwicklungsstand berücksichtigen.
Als Umfang der Modellprüfung stehen initial zur Auswahl:
Das aktive Dokument wird geprüft, d.h. das im Dokumentenbereich der Anwendung aktuell sichtbare Diagramm bzw. die sichtbare Tabelle.
Der Name des aktiven Dokuments wird im Assistenten angezeigt.
Weiter mit Schritt 3 Prüfmethode auswählen.
Geprüft werden die Modellelemente, die beim Aufruf des Prüfassistenten im aktiven Fenster der Anwendung selektiert waren.
Wenn Sie ein Modellelement selektiert haben, dann wird dessen Name im Assistenten angezeigt, bei mehreren Modellelementen deren Anzahl.
Weiter mit Schritt 3 Prüfmethode auswählen.
Basierend auf der aktuellen Selektion wird eine Suche durchgeführt. Alle Modellelemente, die bei dieser Suche gefunden werden, werden geprüft. Die Auswahl der Suche erfolgt im nächsten Schritt.
Wenn Sie ein Modellelement selektiert haben, dann wird dessen Name im Assistenten angezeigt, bei mehreren Modellelementen deren Anzahl.
Weiter mit Schritt 2 Suche auf Selektion ausführen.
Sie bekommen die Möglichkeit, die Modellelemente, die geprüft werden sollen, im nächsten Schritt auszuwählen.
Weiter mit Schritt 2 Ausschnitt des Modells wählen.
Verwenden Sie diese Option, um das Ergebnis einer gespeicherten Suche zu prüfen.
Weiter mit Schritt 2 Gespeicherte Suche auswählen.
Alle Modellelemente des gesamten Modells werden geprüft.
Weiter mit Schritt 3 Prüfmethode auswählen.
Initial ist der Umfang insofern, dass Sie für Elemente relativ zur aktuellen Selektion im anschließenden Schritt eine Suche zur Selektionsbestimmung nutzen können.
Schritt 2 von 5: Suche auf Selektion ausführen
Sie können alle Suchen ausführen, die in der Datei $INODIR/inoref.xml konfiguriert sind.
Wenn Sie ein Dokument (Diagramm oder Tabelle) selektiert haben, dann erscheint als erster Auswahlpunkt Inhalte der selektierten Diagramme.
Das aktive Dokument wird geprüft, d.h. das im Dokumentenbereich der Anwendung aktuell sichtbare Diagramm bzw. die sichtbare Tabelle.
Der Name des selektierten Dokuments wird im Assistenten angezeigt.
Wählen Sie eine der konfigurierten Suchen aus.
Alle Modellelemente, die bei dieser Suche gefunden werden, werden geprüft.
Weiter mit Schritt 3 Prüfmethode auswählen.
Schritt 2 von 5: Gespeicherte Suche auswählen
Wählen Sie eine der angebotenen gespeicherten Suchen aus. Die in der Suche gefundenen Modellelemente werden geprüft.
Weiter mit Schritt 3 Prüfmethode auswählen.
Schritt 2 von 5: Ausschnitt des Modells wählen
Wenn Sie einen individuellen Ausschnitt wählen, dann können Sie durch Aktivieren oder Deaktivieren des Auswahlfelds ein Modellelement und alle seine untergeordneten Modellelemente zur Prüfung hinzunehmen oder von der Prüfung ausnehmen.
Weiter mit Schritt 3 Prüfmethode auswählen.
Schritt 3 von 5: Prüfmethode auswählen
Wählen Sie die Prüfmethode aus, die zur Prüfung verwendet werden soll. Dies ist entweder eine Prüfroutine vom Server oder eine konfigurierte Prüfaktion. Es werden nur die Prüfroutinen angeboten, für die der Benutzer Ausführungsrechte hat.
Wenn Prüfroutinen für die aktuelle Benutzerrolle konfiguriert sind, dann können Sie über diese Schaltfläche zur Auswahl der Prüfroutinen im nächsten Schritt gelangen.
Weiter mit Schritt 4 Prüfroutine auswählen.
Wenn Prüfaktionen konfiguriert sind, dann können Sie über die Schaltfläche einer konfigurierten Prüfaktion zur Auswahl der Einzelprüfungen im nächsten Schritt gelangen.
Weiter mit Schritt 4 Einzelprüfungen auswählen.
Schritt 4 von 5: Prüfroutine auswählen
Wählen Sie eine Prüfroutine aus. Es werden alle Prüfroutinen angeboten, die für die aktuelle Benutzerrolle konfiguriert sind. Es wird der lokalisierte Name angezeigt, der in der Modellkonfiguration definiert ist.
Schritt 4 von 5: Einzelprüfungen auswählen
Wählen Sie Einzelprüfungen aus. Initial sind die Prüfungen ausgewählt, die ausführbar und in der Prüfkonfiguration aktiv sind.
Die Prüfkonfiguration wird standardmäßig aus der Datei $INODIR/inoverify.xml gelesen. Alternativ können Sie auch eine modellspezifische Prüfkonfiguration nutzen, indem Sie eine entsprechende Textdefinition konfigurieren, dessen Spezifikationstext dann als Prüfkonfiguration verwendet wird.
Nicht ausführbare Einzelprüfungen sind ausgegraut und können nicht ausgewählt werden. Im Tooltipp erfahren Sie, warum eine Einzelprüfung nicht ausführbar ist. Mögliche Gründe sind unter anderem, dass die aktuelle Benutzerrolle für die Prüfroutine keine Ausführungsberechtigung hat oder die implementierende C#-Klasse oder Java-Klasse nicht verfügbar ist oder das Stereotyp nicht vorhanden ist.
Sie können alle Einzelprüfungen der Aktion auswählen oder alle Einzelprüfungen einer Gruppe oder alle Einzelprüfungen eines bestimmten Meldungstyps (Info, Warnung, Fehler) oder einzelne Einzelprüfungen. Das Entsprechende gilt für das Abwählen.
Schritt 5 von 5: Bereit zum Prüfen des ausgewählten Modellteils
Sie erhalten einen Überblick über die zu prüfenden Modellelemente und die durchzuführende Prüfmethode.
Mit Fertigstellen können Sie die Prüfmethode für die zu prüfenden Modellelemente ausführen.
Mit Speichern können Sie die Einstellungen, die Sie im Assistenten gemacht haben, als Prüfung speichern. Sie können in einem weiteren Dialog den Namen und die Beschreibung der Prüfung eingeben. Sie können die Prüfung mit Überarbeiten>Modell prüfen>Prüf- Assistent><Name der Prüfung> erneut ausführen. Dazu benötigen Sie ggf. das entsprechende Ausführungsrecht für die enthaltenen Prüfroutinen. Die erneute Ausführung der Prüfung berücksichtigt die aktuelle Selektion und das aktive Dokument.
Der Assistent wird geschlossen und das Toolfenster Prüfergebnisse wird geöffnet.