Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Beim Blackbox-Test überprüft man für jede Methode Spezialfälle der Spezifikation.
Der Methodenrumpf darf nicht berücksichtigt werden. Nur die Methodensignatur und ihr Ergebnistyp werden betrachtet. Man wählt für jeden Parameter der Methode einen Standardwert aus der Mitte des Datenbereichs sowie Grenzwerte des Datenbereichs. Wird die Java Modeling Language (JML) zur Verhaltensspezifikation benutzt, werden Testfälle automatisch aus der Spezifikation erzeugt. Eine Einführung in diesen Spezifikationsansatz von Leavens und Cheon findet man im Internet.