Zufallstesten von Programmen, Diensten und Handys
Softwaretechnik-Praktikum im Sommersemester 2003
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
66123 Saarbrücken
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970
Beschreibung
Ein verbreitetes Verfahren, Fehler in Programmen aufzuspüren, ist das
Erzeugen zufälliger Eingaben. Sie sollen anhand einer abstrakten
Beschreibung (eines sogenannten XML-Schemas)
- zufällige, syntaktisch gültige Eingaben erzeugen - etwa WAP- oder HTML-Seiten -
- diese einem Programm zur Weiterverarbeitung schicken - etwa einem Web- oder WAP-Browser
- mit dem Ziel, das Programm möglichst kunstvoll zum Fehlverhalten zu bringen.
Das Praktikum ist vom Umfang her sehr variabel - vom Erzeugen einfacher Zufalls-Zeichenketten bis zu geschachtelten XML-Dokumenten ist alles drin. Eingesetzt werden können
- XML-Bibliotheken, wie sie in Java und C++ verfügbar sind,
- gängige Handy-Simulatoren,
- ggf. auch echte Geräte.