Artikel-Archiv iX 5/2004, Seite 116
-
Abstrakte Kunst
Fehler finden mit Model-Checkern
Mit Tests lassen sich zwar Software-Fehler finden. Es gibt aber keine Garantie, dass sie alle Mängel aufdecken. Automatisierte Verfahren können dies zumindest für einige Klassen von Programmen übernehmen.
Erwerben Sie das Heft
iX 5/2004,
um Zugriff auf diesen Artikel zu erhalten.