kung nie erreichen, 
                            und die anderen Überdeckungskriterien sind nicht stark genug um Fehler auszuschliessen. 

                            Aber sogar wenn wir 100 % Pfadüberdeckung erreichen würden, wäre immer noch nicht sihcergestellt, dass die Programme der
                            Spezifikation entsprechen, und dass die ganze Spezifikation implementiert ist. Deshalb brauchen wir zusätlizh auch 
                            Black-box tests.

                            
