Értékelés:
Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.
Reverse Engineering and Testing of Black-Box Software Components
A modern korban az összetett szoftverrendszerek többnyire készleten lévő komponensek integrálásával készülnek. A hatékony és minőségi mérnöki gyakorlat megköveteli, hogy a komponensek műszaki specifikációjával konzultáljunk, hogy megértsük a komponensek lehetséges viselkedését a teljes rendszerben.
A részletes elemzéshez azonban gyakran hiányoznak vagy homályosan vannak leírva a specifikációk. Ez a helyzet ijesztő kihívás az ilyen "fekete doboz" komponensekből felépülő nagyméretű rendszerek tervezői számára.
A könyv olyan reverse engineering módszereket mutat be, amelyekkel a "fekete doboz" komponensek rejtett specifikációit formális modelljeik kikövetkeztetésével lehet feltárni, hogy megkönnyítsük az integrált rendszerek tesztelését és elemzését. A könyv fejezetekben a megközelítés távközlési, autóipari és webes alkalmazások valós történeteivel foglalkozik.