Overovanie systémov a softvéru: Techniky a nástroje na overovanie modelov

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.

Pôvodný názov:

Systems and Software Verification: Model-Checking Techniques and Tools

Obsah knihy:

Kontrola modelov je výkonný prístup na formálnu verifikáciu softvéru.

Ak je to možné, automaticky poskytuje úplné dôkazy správnosti alebo prostredníctvom protipríkladov vysvetľuje, prečo systém nie je správny. Táto kniha poskytuje základný úvod do tejto novej techniky.

V prvej časti sú jednoducho opísané teoretické základy modelového overovania: prechodové systémy ako formálny model systémov, temporálna logika ako formálny jazyk pre vlastnosti správania a algoritmy modelového overovania. Druhá časť vysvetľuje, ako písať bohaté a štruktúrované špecifikácie temporálnej logiky v praxi, zatiaľ čo tretia časť obsahuje prehľad niektorých hlavných dostupných modelov na kontrolu modelov.