On functional logic programming and its application to testing
Institution: | Christian-Albrechts-Universität zu Kiel |
---|---|
Department: | Technische Fakultät |
Degree: | PhD |
Year: | 2010 |
Record ID: | 1102160 |
Full text PDF: | http://macau.uni-kiel.de/receive/dissertation_diss_00005301 |
Die vorliegende Arbeit untersucht die Implementierung logisch-funktionaler Programmierung und deren Anwendung zur automatischen Generierung von Testdaten. Logisch-funktionale Programmierung vereint zwei deklarative Programmierparadigmen, funktionale Programmierung und Logikprogrammierung, in einem einheitlichen Programmiermodell. Es stellt sich heraus, dass diese Kombination zur Spezifikation und automatischen Generierung von Testdaten gut geeignet ist. Motiviert durch die erkannte Verwandtschaft von Testdatengenerierung und logisch-funktionaler Programmierung, stellt die Arbeit einen neuen Ansatz vor, logisch-funktionale Programme in rein funktionalen Programmiersprachen auszudrücken.