Ein semantisches Modell von Programmfehlern

Programmfehler sind Artefakte, die weitreichend untersucht werden, aber es gibt viele Aspekte von Fehlern, die wir immer noch nicht verstehen. Neben der einfachen Tatsache, dass ein wichtiges Ziel während des Testens darin besteht, Fehler zu verursachen und somit Fehler zu erkennen, ist ein vollständiges Verständnis der Eigenschaften von Fehlern für mehrere Forschungsbereiche im Testen entscheidend. Dazu gehören fehlerbasierte Tests, Testbarkeit, Mutationstests und die vergleichende Bewertung von Teststrategien. In diesem Workshop-Papier untersuchen wir die grundlegende Natur von Fehlern, indem wir die Unterschiede zwischen einer syntaktischen und einer semantischen Charakterisierung von Fehlern betrachten. Wir bieten Definitionen dieser Eigenschaften und erkunden die Differenzierung. Insbesondere diskutieren wir das Konzept der "Größe" von Programmfehlern - die Messung der Größe liefert interessante und nützliche Unterscheidungen zwischen der syntaktischen und der semantischen Charakterisierung von Fehlern. Wir verwenden die Beobachtungen zur Fehlergröße, um mehrere Vorhersagen über das Testen zu treffen, und präsentieren vorläufige Daten, die dieses Modell unterstützen. Wir nutzen das Modell auch, um Erklärungen zu mehreren Fragen zu bieten, die Testforscher interessiert haben.