Title: | Statická analýza kódu v souladu s požadavky normy EN50128 |
Other Titles: | Static code analysis according to standard EN50128 |
Authors: | Průcha, Václav |
Advisor: | Weissar Petr, Ing. Ph.D. |
Referee: | Mráz Jan, Ing. Ph.D. |
Issue Date: | 2018 |
Publisher: | Západočeská univerzita v Plzni |
Document type: | diplomová práce |
URI: | http://hdl.handle.net/11025/33270 |
Keywords: | statická;analýza;kód;sw;scc;sonarqube;cppcheck;norma;škoda |
Keywords in different language: | static;analysis;code;sw;scc;sonarqube;cppcheck;norm;skoda |
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 in different language: | 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. |
Rights: | Plný text práce je přístupný bez omezení. |
Appears in Collections: | Diplomové práce / Theses (KAE) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
DiplPrace_Prucha.pdf | Plný text práce | 2,68 MB | Adobe PDF | View/Open |
074951_vedouci.pdf | Posudek vedoucího práce | 295,18 kB | Adobe PDF | View/Open |
074951_oponent.pdf | Posudek oponenta práce | 338,46 kB | Adobe PDF | View/Open |
074951_hodnoceni.pdf | Průběh obhajoby práce | 201,56 kB | Adobe PDF | View/Open |
Please use this identifier to cite or link to this item:
http://hdl.handle.net/11025/33270
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.