Dead Code in Einreichungen

[jvoigtlaender]

... könnte erkannt und (eventuell konfigurierbar) zurückgewiesen werden.

Beispiel: Bei Teilaufgaben einer Übungsblatt-Aufgabe werden alle Teile bei einer Autotool-Aufgabe eingereicht statt separat bei den "Unteraufgaben". Das könnte dann zurückgewiesen werden.

weiteres Beispiel: Wenn in #18 (comment) auch die 5. Option umgesetzt wird, könnte verhindert werden, dass Studierende einfach noch eine separate Regel a :- a. hinzufügen, um Verwendung von Rekursion vorzutäuschen.

[jvoigtlaender]

Die Frage ist dann natürlich, wie Dead Code überhaupt definiert/erkannt wird. Mir fiele erstmal ein, das dynamisch anhand der Testsuite zu entscheiden. Also während die Testsuite läuft, wird mitprotokolliert, welche Klauseln aus dem eingereichten Programm verwendet wurden. War die Testsuite insgesamt erfolgreich, wird geschaut, ob bei der Ausführung alle aus der Einreichung stammenden Programmklauseln benutzt wurden. Wenn nicht, werden die unbenutzten Klauseln als Dead Code angesehen.

Natürlich kommt es dann auf die Testsuite an, wie gut die Erkennung funktioniert. Das spricht eventuell dafür, bei (vermeintlich) erkanntem Dead Code die Einreichung nicht hart zurückzuweisen, sondern nur soft ein entsprechendes Feedback zu geben, dass diese und jene Programmklausel überflüssig sein könnte.