| 摘要 |
Erläutert wird ein Verfahren zum Testen eines Programmsystems, bei dem der Datenfluß zwischen Programmbausteinen (20, 50) des Programmsystems (60) überprüft wird. Beim Testen werden für die Eingänge (E1b, E2b) des Programmbausteins (20a, 50a) Prüfzeichen ermittelt, die eine Eigenschaft der zu bearbeitenden Daten bezeichnen. Die Prüfzeichen (PZ) verschiedener Eingänge (E1b, E2b) des Programmbausteins (20a) werden unter Einbeziehung der für diese Eingänge (E1b, E2b) festgelegten Vorgabezeichen (VZ) nach einer vorgegebenen Prüfregel miteinander verglichen. Bei Verstößen gegen die Prüfregel wird ein Hinweis (72) erzeugt.
|
