摘要 |
Ein Prüfsystem zielt darauf ab, ein Steuerungsmodell, in dem geforderte Spezifikationen zur Steuerung eines Ziels beschrieben sind, und/oder ein Steuerungsprogramm, das, basierend auf dem Steuerungsmodell, erzeugt ist, zu prüfen. Das System weist eine erste Einrichtungseinheit auf, die zum Einrichten eines ersten Kontrollabschnitts an einer ersten Stelle in dem einen des Steuerungsmodells und des Steuerungsprogramms konfiguriert ist. Das System weist eine erste Identifizierungseinheit auf, die zum automatischen Identifizieren einer zweiten Stelle in dem anderen des Steuerungsmodells und des Steuerungsprogramms konfiguriert ist, um an der zweiten Stelle in dem anderen dieser einen zweiten Kontrollabschnitt einzurichten. Die zweite Stelle entspricht der ersten Stelle des ersten Kontrollabschnitts in dem einen des Steuerungsmodells und des Steuerungsprogramms.
|