XML diffs / Testsuit
Johannes Lichtenberger
gibt es eventuell schon eine Testsuit für XML diffs? D.h. ich habe für
unser natives XMLDBS zwei diff-Algorithmen implementiert und einige unit
tests geschrieben, bin mir dennoch noch nicht 100%ig sicher ob ich alle
Eigenheiten berücksichtigt habe bzw. dass der Algorithmus korrekt ist.
Im Grunde denke ich zwar, dass ich alles berücksichtigt habe, aber
sicher wäre sicher ;-)
Ansonsten bleibt aus informatiker-Sicht wohl nur das Hoare Kalkül um ihn
formal zu beweisen?! Will ich aber eigentlich vermeiden, zumal ich da
sicher mehr Fehler einbauen würde als in den eigentlichen Code ;-)
Viele Grüße,
Johannes
Johannes Lichtenberger
> Ansonsten bleibt aus informatiker-Sicht wohl nur das Hoare Kalkül um ihn
> formal zu beweisen?! Will ich aber eigentlich vermeiden, zumal ich da
> sicher mehr Fehler einbauen würde als in den eigentlichen Code ;-)
Zudem würde man das wohl gar nicht formal beweisen können weil die
Eingabemenge ja durch die Anzahl der (geshredderten) XML-Dokumente nicht
beschränkt ist.
Viele Grüße,
Johannes
