scientific article; zbMATH DE number 1235365
Kernpunkt dieser Arbeit ist eine integrierte Methode zum funktionalen Testen und zur Fehlersuche (``Debugging) in logischen Programmen, die in Form des Systems IDTS (Interactive Debugging, Testing and Slicing System) implementiert wurde. IDTS basiert auf dem von Shapiro vorgeschlagenen Debugging-Verfahren, das den Programmierer durch gezielt gestellte Fragen zu Programmfehlern hinführt. IDTS ergänzt Shapiros Verfahren um zwei weitere Methoden (``Category Partition Testing und ``Slicing) und verbessert die Effizienz der Fehlersuche durch die Verwendung von Testspezifikationen und Testdatenbanken. IDTS reduziert die Zahl der beim Debuggen gestellten Fragen dadurch, daß die Benutzereingaben kategorisiert und mit den Testfällen der Testdatenbank verglichen werden. Außerdem wird der Programmabhängigkeitsgraph genutzt, um fehlerfreie Programmteile von vornherein von der Fehlersuche auszuschließen. IDTS ist vollständig in PROLOG implementiert und kann mittels einer graphischen Benutzeroberfläche bedient werden. Weiterhin wird das SPECG-System (Specialized Prolog-based Electrocardiogram) beschrieben. Das SPECG-System kombiniert einen Elektrokardiogramm Wellenklassifikator mit dem Debuggingsystem IDTS. Mit Hilfe dieses Verfahrens wird ein Fehler in einer Klassifikation gefunden, wenn das Klassifikatorprogramm die eingegebenen EKG-Wellen nicht analysieren kann. Die IDTS-Methode wird außerdem in eine maschinelle Lernmethode IMPUT (Interactive Mutiple Predicate Learner Using Unfolding Transformation) eingebaut. Das IMPUT-System kann eine interaktive Revision der vielfältigen Prädikate eines logischen Programms durchführen. Die Hauptidee beim IMPUT-Verfahren ist, eine Verbesserung des Spezialisierungsprozesses durch die Anwendung von IDTS zur erreichen. Schließlich wird gezeigt, daß die Integration des IMPUT Verfahrens in das SPECG-System ein Programm ergibt, das dem Benutzer hilft, ein Klassifikatorprogramm zu verbessern, wenn es eine vorgegebene Eingabe nicht klassifizieren kann. Das System kann damit sowohl Syntax- als auch Semantikregeln von EKG-Grammatiken lernen. Die hierbei verwendeten Regeln braucht der Anwender, um sogenannte QRS-Komplexe von den anderen EKG-Wellenformen trennen zu können.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4223498)
