公开(公告)号：DE112013004668T5

公开(公告)日：2015-07-09

申请号：DE112013004668

申请日：2013-06-12

Applicant: IBM

Inventor： BEAVEN JOHN ANTHONY ,  GUNARATNE RAJASINGHE SAMAN ,  MADDISON ROBERT JAMES

IPC: G06F9/44

Abstract: Ein Verfahren und ein System werden bereitgestellt, um die Integrität der Ausgabe von Codegeneratoren zu wahren. Das Verfahren kann beinhalten: Feststellen einer erzeugten Ausgabe, die aus einem ursprünglichen Modell erzeugt worden ist; Auswerten der erzeugten Ausgabe, um den Inhalt einer abgeleiteten Version des ursprünglichen Modells abzuleiten; Vergleichen der abgeleiteten Version des ursprünglichen Modells mit einer aktuellen Version des ursprünglichen Modells, um Unterschiede in Quellenelementen zu erkennen; und Verwenden der erkannten Unterschiede, um redundante Elemente in der erzeugten Ausgabe zu ermitteln. Der Schritt des Feststellens einer erzeugten Ausgabe kann das Eingeben von Dateien oder von Inhalt eines Dateisystems und ein Reverse Engineering, bei dem angepasste Regeln auf der Grundlage des ursprünglichen Modells angewandt werden, um eine erzeuge Ausgabe zu ermitteln, beinhalten. Der Schritt des Auswertens der erzeugten Ausgabe, um den Inhalt einer abgeleiteten Version des ursprünglichen Modells abzuleiten, kann ein Reverse Engineering der erzeugten Ausgabe beinhalten, bei dem angepasste Regeln auf der Grundlage des ursprünglichen Modells angewandt werden.