| 摘要 |
<p>Aus dem Teil des Computerprogramms werden eine Kontrollflußbeschreibung und eine Datenflußbeschreibung 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 Kontrollflußbeschreibung und der Datenflußbeschreibung ermittelt.</p> |
