 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
| ||||||
|  | |  | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Verfahren |
|
Verifikation (Zusammenfassung) |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Aufgrund der ständig steigenden Komplexität und der immer größeren Zahl der Anwendungsgebiete von Hard- und Softwaresystemen stellt das alleinige manuelle Testen einzelner Funktionalitäten keine adäquate Lösung dar. Selbst die einzelnen Modultests werden immer aufwendiger und verursachen ein ständiges Ansteigen des Testkostenanteils an den Entwicklungskosten.
Zudem werden selbst nach langen Nutzungsjahren immer wieder Fehler in den Systemen entdeckt. Dies sind häufig Integrationsfehler, die nur durch lange Testsequenzen aufgedeckt werden könnten, welche aber durch manuelle Testverfahren nahezu unmöglich oder nur in Verbindung mit immensen Kosten entdeckt werden können. Gerade der sensible Bereich der sicherheitskritischen Systeme verlangt nach neuen, kostengerechten Methoden, um die Korrektheit der Hard- und Softwaresysteme vollständig nachzuweisen. Aufgrund der am Markt erhältlichen immer mächtigeren Verifikationswerkzeuge bietet sich hier die Möglichkeit, solche Methoden auch ohne einen (bisher oftmals) notwendigen Experten dieses Gebiets automatisch vom Rechner durchführen zu lassen. Zurück zu Verifikation (formal). | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
| ||||
| ||||
| Verifikation (Zusammenfassung) | ||||
| ||||
| ||||
| ||||
| ||||
| Weitere Themen | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
