Bewertung:

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Reverse Engineering and Testing of Black-Box Software Components
In der heutigen Zeit werden komplexe Softwaresysteme meist durch die Integration von Standardkomponenten erstellt. Die effizienten und qualitativ hochwertigen Engineering-Praktiken erfordern die Konsultation der technischen Spezifikationen der Komponenten, um deren mögliches Verhalten im Gesamtsystem zu verstehen.
Allerdings sind die Spezifikationen für eine detaillierte Analyse oft nicht vorhanden oder nur unzureichend beschrieben. Diese Situation ist für die Entwickler großer Systeme, die aus solchen "Black-Box"-Komponenten aufgebaut sind, eine entmutigende Aussicht.
Das Buch stellt Reverse-Engineering-Methoden vor, mit denen die verborgenen Spezifikationen von Black-Box-Komponenten aufgedeckt werden können, indem ihre formalen Modelle abgeleitet werden, um das Testen und die Analyse der integrierten Systeme zu erleichtern. Das Buch enthält Kapitel über reale Anwendungen dieses Ansatzes in den Bereichen Telekommunikation, Automobil und Web.