Software Validierung... How to ?

[jobo]

Noch ein Gedanke
Validierung, besonders validierungsfähig steht für mich im Zusammenhang mit Randbedinungen und Abstraktion und/ oder Deduktion.

Vor nicht all zu langer Zeit wurden CPU mit der Angabe der Taktfrequenz verkauft. Niemand würde auf die Idee kommen, nach dem Kauf die Frequenz nachzumessen, geschweige nach zuzählen.
Heute steht sie gar nicht mehr im Vordergrund.

Die Angabe der Taktfrequenz ist allerdings für einen Programmierer in Kombination mit der Angabe bestimmter CPU-Operationen und der Anzahl der dafür benötigten Taktzyklen durch Testprogramme verifizierbar.

Liegen alle Merkmale und Umgebungsparameter vor, die einzelnen Leistungsangaben der CPU zu verifizieren, wäre sie- mit Hilfe der mitgelieferten Dokumentation und gewisser anderer Werkzeuge- m.E. validierungsfähig.