Sie können Ihr Modell mit spezifischen Festlegungen auf syntaktische und methodische Korrektheit prüfen.
Die Prüfkonfiguration, die der Assistent zur Modellprüfung für die Auswahl der Prüfaktionen verwendet, wird standardmäßig aus der Datei $INODIR/inoverify.xml gelesen.
Neben dieser zentralen Prüfkonfiguration können Sie auch eine modellspezifische Prüfkonfiguration nutzen.
Dazu muss für den Elementtyp Innovator-Modell eine nicht formatierte Textdefinition mit dem logischen Namen VerificationConfiguration konfiguriert werden.
Der Text dieses Spezifikationstextes wird vom Prüfassistenten alternativ zum Inhalt der Datei $INODIR/inoverify.xml als modellspezifische Prüfkonfiguration verwendet.
Verwandte Themen
