On Wed, Feb 12, 2003 at 09:56:41PM +0000, Lutz Donnerhacke wrote:
[...]
> > Letzteres ist auch bei abstrakter ("hochsprachlicher") Formulierung
> > aufwendig bis unm�glich, ersteres wird nicht wesentlich aufwendiger.
>
> Eine formale Verifizierung der Abwesenheit von Fehlerklassen (bis hin zur
> Abwesenheit aller Laufzeitfehler) ist heute schon m�glich und wird gemacht.
> Jedoch kaum bei Open Source.
Eigentlich nie, oder kennst Du ein Beispiel? Aber Verifiziert wird auch
seltenst bei Closed Source. Und selbst dann hei�t "Abwesenheit aller
Laufzeitfehler" auch nur, da� die Runtime-Umgebung nicht kollabiert, und
keineswegs, da� das Programm zur Laufzeit keine Schei�e baut.
Programmen in einer Ada-Variante die Abwesenheit von Fehlern zu beweisen
bringt IMHO wesentlich weniger, als von vornehein eher deklarative
Programmiersprachen zu benutzen und die Zeit besser in deren Optimierung
zu stecken.
Gru�,
Martin
