| Název: | Statická analýza kódu v souladu s požadavky normy EN50128 |
| Další názvy: | Static code analysis according to standard EN50128 |
| Autoři: | Průcha, Václav |
| Vedoucí práce/školitel: | Weissar Petr, Ing. Ph.D. |
| Oponent: | Mráz Jan, Ing. Ph.D. |
| Datum vydání: | 2018 |
| Nakladatel: | Západočeská univerzita v Plzni |
| Typ dokumentu: | diplomová práce |
| URI: | http://hdl.handle.net/11025/33270 |
| Klíčová slova: | statická;analýza;kód;sw;scc;sonarqube;cppcheck;norma;škoda |
| Klíčová slova v dalším jazyce: | static;analysis;code;sw;scc;sonarqube;cppcheck;norm;skoda |
| Abstrakt: | 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. |
| Abstrakt v dalším jazyce: | 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. |
| Práva: | Plný text práce je přístupný bez omezení. |
| Vyskytuje se v kolekcích: | Diplomové práce / Theses (KAE) |
Soubory připojené k záznamu:
| Soubor | Popis | Velikost | Formát | |
|---|---|---|---|---|
| DiplPrace_Prucha.pdf | Plný text práce | 2,68 MB | Adobe PDF | Zobrazit/otevřít |
| 074951_vedouci.pdf | Posudek vedoucího práce | 295,18 kB | Adobe PDF | Zobrazit/otevřít |
| 074951_oponent.pdf | Posudek oponenta práce | 338,46 kB | Adobe PDF | Zobrazit/otevřít |
| 074951_hodnoceni.pdf | Průběh obhajoby práce | 201,56 kB | Adobe PDF | Zobrazit/otevřít |
Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam:
http://hdl.handle.net/11025/33270Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.