Wyniki wyszukiwania:

Erfahren Sie in diesem Buch alles über die Bedeutung von Softwaretests zur QualitätssicherungSoftwaretests bekommen bei immer komplexer werdenden Programmen eine wachsende Bedeutung für den Projekterfolg. Obwohl Testkonzepte bereits etabliert sind, wer

Software muss funktionieren, um von Kunden akzeptiert zu werden. Doch wie stellt man sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Neben den klassischen Testansatzen spielen fur den Korrektheitsnachweis zunehmend formale Modelle eine zentrale Rolle. Ein Modell erlaubt es, ein beliebiges sequenzielles oder verteiltes System zu analysieren und zu simulieren. Dadurch, dass Korrektheitsanforderungen prazise definiert werden, kann man sogar verifizieren, dass die Anforderungen erfullt sind. Dieses Buch stellt...