|
A Test Set for Red Hat Test Suite
Novotná, Kateřina ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
This bachelor's thesis deals with test preparation for Red Hat Test Sytem (RHTS). Basic concepts of software testing explained, RHTS described in more detail, together with an approach how to make a test set for a software package. The main areas for test for selected packages, wireshark and wireshark-gnome in particular, are analysed and tests are designed and implemented using Dogtail framework for GUI testing and RHTS library for other tests.
|
| |
|
Implementation of the WPS Service
Maďarka, Dušan ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
The aim of this diploma thesis was to design and implement web mapping service Web Processing Service. The purpose of this service is to provide geospatial oriented calculations on the internet. Introduction part is dedicated to analysis of existing mapping services implementations and defined standards. Thereafter conclusion was drawn and the service was implemented, with respect to computing system efficiency, pluggable design and simplicity of integration in client applications. The interface for work with geographic information system GRASS GIS is also part of the implemented service and it brings the possibility to use the tool from service. The last chapter describes the testing of implemented service in term of functional and performance tests.
|
| |
|
System for Analysis of Data From Infected Computers
Pečeňa, Jan ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
Presented thesis aims to develop web-based application for AVG Technologies. The application is supposed to bring in every suspicious information from a file, which has been gained from customer's registers, and make customer support more effective and efficient. Designing the application was tightly binded with obtaining an overview of computer threats and attacks. The thesis describes and explains malware and its basic types such as virus, worm, trojan horse, etc. History and features of ASP.NET, PHP, Virus Total web service and Internet Information Service are described as well. The result of the thesis, the application itself, is deployed in real enviroment and ready to be updated with new information sources.
|
|
Microkernels of Operating Systems
Beneš, Eduard ; Peringer, Petr (referee) ; Vojnar, Tomáš (advisor)
This thesis discusses the area of microkernel based operating systems. The first part is focused on the familiarization with the issue of the operating system kernel. This part contains the basic characteristics and mechanisms of the second generation microkernels represented by the microkernel L4, on which there is major focus in other parts of the thesis. Subsequently, there are described two different ports of the operating system Linux on top of L4 microkernel and those are L4Linux and Wombat. In the second part of the thesis, the method of the installation of the given ports is depicted and the main problems the author had to face. The third and forth part are focused on the issue of testing the performance of the installed systems. The methodology of chosen experiments is described and the meaning of the individual tests explained. The results, as well as their evaluation are stated in the forth part. If suitable, the gained results are compared with each other, or with the results gained from the Internet. In the last part, a short discussion is conducted based on the gained knowledge on the issue of the possibilities of microkernel application.
|
|
Numerical Methods Accuracy vs Precision of Arithmetic
Kluknavský, František ; Šátek, Václav (referee) ; Peringer, Petr (advisor)
Thesis is dedicated to evaluation of roundoff impact on numerical integration methods accuracy and effectivity. Contains theoretical expectations taken from existing literature, implementation of chosen methods, experimental measurement of attained accuracy under different circumstances and their comparison with regard to time complexity. Library contains Runge-Kutta methods to order 7 and Adams-Bashforth methods to order 20 implemented using C++ templates which allow optional arbitrary-precision arithmetic. Small models with known analytic solution were used for experiments.
|
| |
|
SELinux Policy Analysis Tool
Mojžíš, Vít ; Peringer, Petr (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá analýzou politik pro bezpečnostní moduly založené na mandatorním řízení přístupu (MAC), se zaměřením na SELinux. Vzhledem k omezeným schopnostem dostupných nástrojů byl navržen a implementován nový nástroj. Jeho hlavní cíle jsou usnadnění vývoje bezpečnostních politik a pomoc při odhadu role SELinuxu v zabezpečení systému. V případě úspěšného nasazení bude nový nástroj začleněn do balíčku nástrojů SETools 4.
|
| |