Szoftverellenőrzés bevezetése a Dafny nyelvvel: Programok helyességének bizonyítása

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:

Introducing Software Verification with Dafny Language: Proving Program Correctness

Könyv tartalma:

Ismerkedjen meg a szoftverellenőrzéssel és a helyesség bizonyításával a Microsoft Research által támogatott Dafny programozási nyelv segítségével. Míg néhány más, e témával foglalkozó könyv matematikailag meglehetősen szigorú, ez a könyv a lehető legkevesebb matematikai szimbólumot és szigort használja, és minden fogalmat egyszerű angolsággal magyaráz el. Tökéletes alapkönyv a C# és más programozási nyelvek ismeretével rendelkező szoftverprogramozók és fejlesztők számára.

Korrekt szoftvereket írni nehéz lehet, ezért megtanulod a számítás és a szoftverellenőrzés fogalmát. Ezután alkalmazza ezeket a fogalmakat és technikákat, hogy magabiztosan írjon hibamentes, könnyen érthető kódot. A könyvben végig elérhető lesz a forráskód, és a GitHubon keresztül szabadon hozzáférhető.

A könyv elolvasása és használata után képes leszel helyes, nagy szabad szoftver forráskódot írni, amely alkalmazható, függetlenül attól, hogy milyen platformot és programozási nyelvet használsz.

Mit fogsz tanulni

⬤ Fedezze fel a Microsoft Research által támogatott Dafny programozási nyelvet.

⬤ Tudja meg a Hoare-logikát, az imperatív és funkcionális programokat.

⬤ Munkálkodj elő- és utófeltételekkel.

⬤ Adattípusok, mintakövetés és osztályok használata.

⬤ Merüljön el az ellenőrzési példákba a saját projektjeiben való lehetséges újrafelhasználás érdekében.

Kinek szól ez a könyv

Szoftverfejlesztők és programozók, akik legalább korábbi, alapvető programozási tapasztalattal rendelkeznek. Nincs szükség konkrét nyelvre. Azoknak is szól, akik nagyon alapvető matematikai tapasztalattal rendelkeznek (függvények, változók).