发明名称 COMPARISON PROCEDURE FOR A CONTROL PROGRAMME IN SOURCE-CODE FORM
摘要 Mit der Erfindung wird ein Testverfahren für ein im Quellcode vorliegendes Steuerprogramm zur Ausführung auf einem Rechner vorgestellt. Das Quellprogramm, welches in einer Steuersprache vorliegt, wird einem Aufbereitungsverfahren unterzogen, bei dem Anweisungen für binäre bzw. arithmetische Operationen in Funktionsblöcken zusammengefasst werden. Diese Funktionsblöcke werden gemäss ihrer Abhängigkeiten untereinander in der Reihenfolge vertauscht, so dass sich hinterher in Abhängigkeit der einzelnen Programmfunktionen eine einheitliche Reihenfolge ergeben muss. Weiterhin sieht es das Aufbereitungsverfahren vor, dass die einzelnen Anweisungen gemäss der Nummern ihrer Ausgänge bzw. Eingänge in aufsteigender Reihenfolge sortiert werden. In einem dritten Schritt werden Konstanten in einheitliche Masseinheiten umgerechnet. Anschliessend wird das Steuerprogramm mit einem Referenzprogramm verglichen, welches ebenfalls dem erfindungsgemässen Verfahren unterzogen wurde. So lassen sich leicht Unterschiede zwischen den einzelnen Programmversionen feststellen und es können aus diesen Unterschieden eventuelle Änderungen in der Programm-Dokumentation abgeleitet werden. Einsatzgebiete der Erfindung liegen beispielsweise bei komplexen Anlagenprozessen wie der Steuerung von Kraftwerken, bei denen die Steuerungsoftware separat entwickelt und dokumentiert wird und vor Ort angepasst wird, sowie bei der Entwicklung von Code-Generatoren von graf. Projektierungswerkzeugen.
申请公布号 WO9514270(A1) 申请公布日期 1995.05.26
申请号 WO1994DE01327 申请日期 1994.11.10
申请人 SIEMENS AKTIENGESELLSCHAFT;LANGE, EBERHARD;LENGTAT, GERHARD;MAIER, RUPERT;KLEYER, DIETER 发明人 LANGE, EBERHARD;LENGTAT, GERHARD;MAIER, RUPERT;KLEYER, DIETER
分类号 G06F9/44;(IPC1-7):G06F9/44 主分类号 G06F9/44
代理机构 代理人
主权项
地址