Statická analýza kódu v souladu s požadavky normy EN50128

Abstract

Předkládaná diplomová práce se věnuje problematice zajištění kvality SW u bezpečnostně relevantních zařízení konkrétně SW řídicího počítače lokomotivy. Zvláštní důraz je kladen na metodiku statické analýzy kódu v souladu s požadavky normy EN 50128. Práce analyzuje vybrané metody statické analýzy kódu, jejich začlenění do realizačního procesu a využitelné SW nástroje (SonarQube, Cppcheck a vývojové prostředí Microsoft Visual Studio 2017). Cílem práce je vytvořit užitečný SW nástroj fungující v konkrétním podnikovém prostředí (Škoda Transportation a.s.). V úvodní teoretické části se seznámíme s obecným přehledem problematiky zajištění jakosti SW a poté jsou uvedeny specifické informace sloužící k porozumění implementační sekce této práce, která popisuje reálný proces statické analýzy kódu a kontrolu implementace SW dle pravidel kódovacího standardu. Práce se snaží dát do souvislosti množství technických termínů s cílem vysvětlit složitý proces zajišťování kvality softwaru.