Finden Sie heraus, wie probits seinen Kunden bereits helfen konnte.

Der Kunde stand vor einem Jahr 2000 Problem in seinen Assembler Programmen für den Host. Die Besonderheit dieser Sprache ist, daß ausschließlich indirekte Sprünge Anwendung finden, so daß traditionelle Methoden der Datenflußanalyse versagen.

Daher wurde zuerst mit Hilfe einer innovativen Heuristik die sog. dynamische Blockzerlegung berechnet, in der die indirekten Sprünge soweit möglich automatisiert aufgelöst wurden. Die wenigen nicht automatisiert auflösbaren Sprünge wurden manuell untersucht.

Kombiniert wurde dies mit damals neuen Verfahren der (dynamischen) abstrakten Interpretation, welche im Ergebnis alle Stellen in den Programmen ermittelten, die tatsächlich oder auch nur möglicherweise einen zweistelligen Datumswert verarbeiten. Diese wurden dann automatisiert korrigiert, so daß im Ergebnis die Programme nicht nur Jahr 2000 fähig gemacht wurden, es wurden im Verlauf der Analysen auch zahlreiche weitere Fehler gefunden und bereinigt, so dass die Häufigkeit des Auftretens von Fehlern im Betrieb - ohne die schon vorhandenen Jahr 2000 Fehler - um drei Viertel reduziert wurde.