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

Bc. Václav PRŮCHA

Master's thesis

Static code analysis according to standard 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.

Abstract:

This thesis investigates how and where static code analysis can be integrated into a development process of safety relevant SW namely SW of Train Control and Monitoring System of a locomotive. Since development of SW for traction vehicles is subject of assessment according to the norm EN 50128 this thesis focuses on adjustment and modification of existing generic SW tools (SonarQube, Cppcheck and Microsoft Visual Studio 2017). First, a theoretical study of SW quality assurance is presented. Secondly, specific data and implementation process of static code analysis is shown in real industrial environment. The aim of this thesis is implementation of static code analysis tools and processes within real SW project. The resulting product should extend tools and processes utilized in SKODA TRANSPORTATION for SW quality assurance.

Keywords

Statická, analýza, kód, SW, SCC, SonarQube, Cppcheck, norma, Škoda

Language used: Czech

Date on which the thesis was submitted / produced: 21. 5. 2018

Accessible from:: 31. 12. 2999

Thesis defence

• Supervisor: Ing. Petr Weissar, Ph.D.

University of West Bohemia

Faculty of Electrical Engineering

Master programme / field:
Electrical Engineering and Informatics / Electrical Engineering in Transport and Automotive Electronics