发明名称 Verfahren zur Datenverarbeitung zum Ermitteln, ob bei einer Ausführung eines Programms ein Fehler aufgetreten ist, und Datenverarbeitungsanordnungen zum Erzeugen von Programm-Code
摘要 In einem Ausführungsbeispiel wird ein Verfahren zur Datenverarbeitung zum Ermitteln, ob bei einer Ausführung eines Programms ein Fehler aufgetreten ist bereitgestellt, wobei das Programm mindestens einen Basisblock aufweist, wobei jeder Basisblock mindestens eine Programm-Anweisung aufweist und mit einer Programm-Sprunganweisung endet. Das Verfahren weist ein Ermitteln von Referenz-Überprüfungsinformation des mindestens einen Basisblocks basierend auf einer Basisblock-Signatur des jeweiligen Basisblocks auf, wobei die Basisblock-Signatur eine Signatur des jeweiligen Basisblocks aufweist und optional die Signatur von mindestens einem nachfolgenden Basisblock aufweist, der dem jeweiligen Basisblock unmittelbar nachfolgt. Ferner weist das Verfahren ein Ermitteln von Überprüfungsinformation des mindestens einen Basisblocks während der Ausführung des jeweiligen Basisblocks basierend auf der Basisblock-Signatur des jeweiligen Basisblocks und ein Ermitteln auf, ob bei der Ausführung des Programms ein Fehler aufgetreten ist, basierend auf der ermittelten Überprüfungsinformation und der Referenz-Überprüfungsinformation.
申请公布号 DE102014117971(A1) 申请公布日期 2016.06.09
申请号 DE201410117971 申请日期 2014.12.05
申请人 Technische Universität Dresden 发明人 Fetzer, Christof
分类号 G06F11/10 主分类号 G06F11/10
代理机构 代理人
主权项
地址