Statikus szoftverellenőrzési technikák

Részvétel módja: online

A statikus szoftverellenőrzési technikák a szoftver kód minőségét és biztonságát vizsgálják a kód végrehajtása nélkül. A statikus szoftverellenőrzés technikák széles csoportját ölelik fel a kódolási szabályoktól kezdve a kód felülvizsgálaton át az automatizált statikus analízis eszközökig.

A képzés sikeres elvégzésével a résztvevők megismerik a statikus szoftverellenőrzési technikák széles csoportját (pl. kódolási szabályok, kód felülvizsgálat, automatizált módszerek), megértik, hogy hogyan lehet a különböző csapattagok által írt szoftverkód minőségét egységesíteni és képesek lesznek a statikus analízis technikákkal javítani a kód minőségét. A statikus ellenőrzés a jó minőségű kódbázis egyik alappillére, függetlenül attól, hogy ember vagy AI készítette a kódot.

A képzés számítógépes rendszereket és/vagy szolgáltatásokat üzemeltető, tervező és/vagy megvalósító szervezetek (vállalkozások és közintézmények) vezetői és munkatársai számára ajánlott.

Az eredményesen elvégzett képzésről a résztvevők felnőttképzési tanúsítványt kapnak.

Előadó: Dr. Vörös András a Budapesti Műszaki és Gazdaságtudományi Egyetemen szerzett PhD doktori fokozatot 2018-ban. Jelenleg egyetemi docensként dolgozik a BME Mesterséges Intelligencia és Rendszertervezés Tanszékén, a Kritikus Rendszerek Kutatócsoportban. Fő kutatási területe a modellalapú szoftver- és rendszertervezés, valamint a formális verifikációs módszerek.