Ein Testverfahren, das auf einer Analyse der Spezifikation einer Komponente oder eines Systems basiert.