Rendszerek és szoftverek ellenőrzése: Modellellenőrzési technikák és eszközök

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

Systems and Software Verification: Model-Checking Techniques and Tools

Könyv tartalma:

A modellellenőrzés a szoftverek formális ellenőrzésének hatékony megközelítése.

Ha alkalmazható, automatikusan teljes bizonyítást nyújt a helyességről, vagy ellenpéldákon keresztül megmagyarázza, hogy egy rendszer miért nem helyes. Ez a könyv alapvető bevezetést nyújt ebbe az új technikába.

Az első rész egyszerű megfogalmazásban ismerteti a modellellenőrzés elméleti alapjait: az átmeneti rendszereket mint a rendszerek formális modelljét, a temporális logikát mint a viselkedési tulajdonságok formális nyelvét, valamint a modellellenőrző algoritmusokat. A második rész elmagyarázza, hogyan lehet gazdag és strukturált temporális logikai specifikációkat írni a gyakorlatban, míg a harmadik rész áttekintést ad néhány fontosabb modellellenőrző programról.