METHOD AND ARRANGEMENT FOR DETERMINING A TOTAL ERROR DESCRIPTION OF AT LEAST ONE PART OF A COMPUTER PROGRAMME AND COMPUTER PROGRAMME PRODUCT AND COMPUTER-READABLE STORAGE MEDIUM

摘要

Aus dem Teil des Computerprogramms werden eine Kontrollflussbeschreibung und eine Datenflussbeschreibung ermittelt und es werden Programmelemente aus dem Teil des Computerprogramms ausgewählt. Für jedes ausgewählte Programmelement wird unter Verwendung einer gespeicherten Fehlerbeschreibung, die jeweils einem Referenzelement zugeordnet ist, eine Elementenfehlerbeschreibung ermittelt, mit der mögliche Fehler des jeweiligen Programmelements beschrieben werden. Aus den Elementenfehlerbeschreibungen wird die Gesamtfehlerbeschreibung unter Berücksichtigung der Kontrollflussbeschreibung und der Datenflussbeschreibung ermittelt.