Validation and Verification

Static analysis and dynamic testing: What are the strengths and weaknesses?

Veröffentlicht Veröffentlicht in Englische Blogs, Validation and Verification

Static analysis and dynamic testing: Even after several decades of software engineering, we still far away from guaranteed error-free software. Even for software developed to the highest safety standards, no one can guarantee absolute freedom from errors. All functional safety standards recognize that a guaranteed error-free software (with the current state of the technology) cannot […]

Verifikation und Validation

Statische Analyse und Dynamischer Test: Wo liegen die Stärken und Schwächen?

Veröffentlicht Veröffentlicht in Deutsche Blogs, Validation und Verifikation

Statische Analyse und Dynamischer Test: Von garantiert fehlerfreier Software sind wir auch nach mehreren Jahrzehnten an Software Engineering gefühlt immer noch unendlich weit entfernt. Auch für die nach den höchsten Sicherheitsstandards entwickelte Software kann niemand absolute Fehlerfreiheit garantieren. Alle Funktionalen Sicherheitsstandards erkennen an, dass eine garantiert fehlerfreie Software (mit dem heutigen Stand der Technik) nicht […]