|
|
Nástroj pro tvorbu definic OVAL v projektu OpenSCAP
Černý, Jan ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá standardem SCAP používaným v oblasti počítačové bezpečnosti a popisuje jeho svobodnou implementaci OpenSCAP. V textu je analyzován jazyk OVAL sloužící pro popis zraniteností a bezpečné konfigurace systémů. Důraz je kladen na typické problémy tohoto jazyka. Na základě získaných poznatků je navrženo rozšíření projektu OpenSCAP o možnost reportování a diagnostiky průběhu interpretace jazyka OVAL. Práce následně popisuje implementaci, integraci a testování tohoto rozšíření.
|
|
|
Návrh subsystému CRM firemního informačního systému
Honajzer, Martin ; Zbořil, Miroslav (oponent) ; Lacko, Branislav (vedoucí práce)
Tato práce si klade za cíl zanalyzovat a navrhnout model, podle kterého by vývojový tým byl schopen vytvořit plně funkční CRM modul informačního systému pro potřeby společnosti, která se zabývá nabídkou počítačových školení. Pomocí UML diagramů určí funkce, které bude modul nabízet a také způsob, kterým tyto funkce budou uživateli přístupné. V jazyce SQL pak naznačí některé z možností, jak bude program pracovat s databází.
|
|
|
Automatizované měření přechodných dějů v synchronních generátorech
Hvězda, Jindřich ; Huzlík, Rostislav (oponent) ; Vítek, Ondřej (vedoucí práce)
Diplomová práce na téma Automatizované měření přechodných dějů v synchronních generátorech se zabývá přechodnými ději vznikajícími při trojfázovém zkratu na výstupních svorkách synchronního generátoru. Úvodní část diplomové práce na téma Teorie přechodných dějů v synchronních generátorech se zabývá teoretickým popisem přechodných dějů vznikajících při trojfázovém zkratu na výstupních svorkách synchronního generátoru. Pojednává o existenci stejnosměrných a střídavých složek zkratových proudů tekoucích vinutím statoru při trojfázovém zkratu a následně pojednává o průběhu reaktancí statorového vinutí po dobu trvání trojfázového zkratu na svorkách synchronního generátoru. Následující část diplomové práce na téma Technické zadání měřicího systému pro analýzu přechodných dějů v synchronních generátorech se zabývá analýzou technického zadání charakterizujícího měřicí senzory, které snímají měřené elektrické veličiny popisující svým průběhem přechodné děje. Na základě technického zadání je navržen měřicí hardware od firmy National Instruments. Navazující část diplomové práce na téma Měřicí hardware pro měření přechodných dějů v synchronních generátorech jako platforma PXI/SCXI se zabývá popisem technických parametrů navrženého měřicího hardwaru pro měření přechodných dějů. Praktická část diplomové práce na téma Software TransientVIEW pro analýzu přechodných dějů v synchronních generátorech podrobně popisuje softwarovou koncepci uživatelských prostředí softwaru TransientVIEW, který je vyvinut ve vývojovém prostředí LabVIEW 8.6 firmy National Instruments. Dále podrobně pojednává o implementovaných uživatelských funkcích, které uživateli softwaru umožňují precizní a efektivní práci při analýze přechodných dějů v synchronních generátorech.
|
|
|
Dynamická analýza použití knihovních volání
Malík, Viktor ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato bakalářská práce se zabývá vývojem dynamického analyzátoru, který sleduje používání knihovních volání analyzovaným programem. Analyzátor dále tato volání automaticky ovládá za účelem vytváření různých běhů programu, které pak agreguje do výsledného grafu toku řízení. Pro sledovaní a ovládání volání používá analyzátor vlastní sdílenou knihovnu pro operační systém GNU/Linux. Součástí práce je jak podrobný návrh celé aplikace, tak i její implementace v~jazycích C/C++ zaměřující se na sledování standardních knihovních volání nad souborovým systémem.
|
|
|
Practical Application of Facebook Infer on Systems Code
Beránek, Tomáš ; Malík, Viktor (oponent) ; Vojnar, Tomáš (vedoucí práce)
Static analysis is nowadays often used in the development process to find defects in the produced software. Although static analysis tools can effectively find bugs in software with millions of lines of code, they have also some disadvantages. The main disadvantages are the difficulty to deploy the chosen tool on the given project, high numbers of false reports, and the time and space requirements. This thesis focuses on mitigating these negative features of the Facebook Infer tool mainly for the context of using it to analyse Linux utilities shipped as SRPM packages. To simplify its deployment, an Infer plugin has been created for the csmock tool, which allows static analysers to run automatically on packages for CentOS or Fedora. To reduce the number of false reports, a filter has been created, which filters Infer's output according to several proposed heuristics based on experience obtained by analysing the reports produced by Infer. The filter has been also included into the csmock plugin and tested on a number of packages. On the analysed packages, the filter was able to remove 60 % of false reports with a loss of 2.5 % of real defects. The time required to run the analysis can be reduced by using incremental analysis. Shortcomings of the incremental analysis provided implicitly by Infer were experimentally found, so this thesis also describes the creation of a wrapper for Infer, which replaces the incremental analysis in Infer.
|
|
|
Practical Application of Facebook Infer on Systems Code
Beránek, Tomáš ; Malík, Viktor (oponent) ; Vojnar, Tomáš (vedoucí práce)
Static analysis is nowadays often used in the development process to find defects in the produced software. Although static analysis tools can effectively find bugs in software with millions of lines of code, they have also some disadvantages. The main disadvantages are the difficulty to deploy the chosen tool on the given project, high numbers of false reports, and the time and space requirements. This thesis focuses on mitigating these negative features of the Facebook Infer tool mainly for the context of using it to analyse Linux utilities shipped as SRPM packages. To simplify its deployment, an Infer plugin has been created for the csmock tool, which allows static analysers to run automatically on packages for CentOS or Fedora. To reduce the number of false reports, a filter has been created, which filters Infer's output according to several proposed heuristics based on experience obtained by analysing the reports produced by Infer. The filter has been also included into the csmock plugin and tested on a number of packages. On the analysed packages, the filter was able to remove 60 % of false reports with a loss of 2.5 % of real defects. The time required to run the analysis can be reduced by using incremental analysis. Shortcomings of the incremental analysis provided implicitly by Infer were experimentally found, so this thesis also describes the creation of a wrapper for Infer, which replaces the incremental analysis in Infer.
|
|
|
Nástroj pro tvorbu definic OVAL v projektu OpenSCAP
Černý, Jan ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá standardem SCAP používaným v oblasti počítačové bezpečnosti a popisuje jeho svobodnou implementaci OpenSCAP. V textu je analyzován jazyk OVAL sloužící pro popis zraniteností a bezpečné konfigurace systémů. Důraz je kladen na typické problémy tohoto jazyka. Na základě získaných poznatků je navrženo rozšíření projektu OpenSCAP o možnost reportování a diagnostiky průběhu interpretace jazyka OVAL. Práce následně popisuje implementaci, integraci a testování tohoto rozšíření.
|
|
|
Dynamická analýza použití knihovních volání
Malík, Viktor ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato bakalářská práce se zabývá vývojem dynamického analyzátoru, který sleduje používání knihovních volání analyzovaným programem. Analyzátor dále tato volání automaticky ovládá za účelem vytváření různých běhů programu, které pak agreguje do výsledného grafu toku řízení. Pro sledovaní a ovládání volání používá analyzátor vlastní sdílenou knihovnu pro operační systém GNU/Linux. Součástí práce je jak podrobný návrh celé aplikace, tak i její implementace v~jazycích C/C++ zaměřující se na sledování standardních knihovních volání nad souborovým systémem.
|
|
|
Návrh subsystému CRM firemního informačního systému
Honajzer, Martin ; Zbořil, Miroslav (oponent) ; Lacko, Branislav (vedoucí práce)
Tato práce si klade za cíl zanalyzovat a navrhnout model, podle kterého by vývojový tým byl schopen vytvořit plně funkční CRM modul informačního systému pro potřeby společnosti, která se zabývá nabídkou počítačových školení. Pomocí UML diagramů určí funkce, které bude modul nabízet a také způsob, kterým tyto funkce budou uživateli přístupné. V jazyce SQL pak naznačí některé z možností, jak bude program pracovat s databází.
|
|
|
Automatizované měření přechodných dějů v synchronních generátorech
Hvězda, Jindřich ; Huzlík, Rostislav (oponent) ; Vítek, Ondřej (vedoucí práce)
Diplomová práce na téma Automatizované měření přechodných dějů v synchronních generátorech se zabývá přechodnými ději vznikajícími při trojfázovém zkratu na výstupních svorkách synchronního generátoru. Úvodní část diplomové práce na téma Teorie přechodných dějů v synchronních generátorech se zabývá teoretickým popisem přechodných dějů vznikajících při trojfázovém zkratu na výstupních svorkách synchronního generátoru. Pojednává o existenci stejnosměrných a střídavých složek zkratových proudů tekoucích vinutím statoru při trojfázovém zkratu a následně pojednává o průběhu reaktancí statorového vinutí po dobu trvání trojfázového zkratu na svorkách synchronního generátoru. Následující část diplomové práce na téma Technické zadání měřicího systému pro analýzu přechodných dějů v synchronních generátorech se zabývá analýzou technického zadání charakterizujícího měřicí senzory, které snímají měřené elektrické veličiny popisující svým průběhem přechodné děje. Na základě technického zadání je navržen měřicí hardware od firmy National Instruments. Navazující část diplomové práce na téma Měřicí hardware pro měření přechodných dějů v synchronních generátorech jako platforma PXI/SCXI se zabývá popisem technických parametrů navrženého měřicího hardwaru pro měření přechodných dějů. Praktická část diplomové práce na téma Software TransientVIEW pro analýzu přechodných dějů v synchronních generátorech podrobně popisuje softwarovou koncepci uživatelských prostředí softwaru TransientVIEW, který je vyvinut ve vývojovém prostředí LabVIEW 8.6 firmy National Instruments. Dále podrobně pojednává o implementovaných uživatelských funkcích, které uživateli softwaru umožňují precizní a efektivní práci při analýze přechodných dějů v synchronních generátorech.
|
host ::
RSS.