DseWiki: DeltaDebugging

Veränderung (letzte Änderung) (keine anderen Diffs, Normalansicht)

Hinzugefügt: 8a9,16

Für die SpracheHaskell gibt es das Paket QuickCheck? welches Tests mit Zufallsdaten durchführt.
Man kann es so programmieren,
dass bei Daten mit Baumstruktur auch Unterstrukturen untersucht werden,
sobald ein Test mit einem umfangreichen Datensatz fehlschlägt.

Beim Delta Debugging wird die Fehlerursache in einer Art automatisiertem Try & Errror-Verfahren eingekreist. Kleine Variationen in Testdaten oder Code (allgemeiner: im Programmzustand) werden auf die Regressionstests losgelassen. Die Differenzen zwischen fehlschlagenden und erfolgreichen Tests weisen den Weg zur Fehlerursache.

The Delta Debugging project at Software Engineering Chair, Saarland University investigates a new automated debugging approach based on systematic testing. With Delta Debugging, we can find failure-inducing circumstances automatically—circumstances such as the program input, changes to the program code, program states, or thread schedules.
http://www.st.cs.uni-sb.de/dd/

Artikel bei NewsForge

Für die SpracheHaskell gibt es das Paket QuickCheck? welches Tests mit Zufallsdaten durchführt. Man kann es so programmieren, dass bei Daten mit Baumstruktur auch Unterstrukturen untersucht werden, sobald ein Test mit einem umfangreichen Datensatz fehlschlägt.

KategorieQualität