National Repository of Grey Literature 236 records found  beginprevious94 - 103nextend  jump to record: Search took 0.01 seconds. 
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.
Web Application for Remote DEVS-Based Modelling and Simulation
Gavlík, Pavel ; Peringer, Petr (referee) ; Janoušek, Vladimír (advisor)
This paper deals with the design and implementation of a web application for remote access to SmallDEVS, implementation of DEVS formalism. Network communication is done using RESTful API. The web application is written mostly in JavaScript programming language using the framework AngularJS. Web application was developed using the technique of Test Driven Development. 
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.
Query Language Based Call Graph Processing
Dudka, Kamil ; Rogalewicz, Adam (referee) ; Peringer, Petr (advisor)
In this thesis, available tools for call graph generation, processing and visualization are analyzed. Based on this analysis, a call-graph processing tool is designed. The tool is then implemented and tested on call graphs generated from various real-world programs, including the Linux Kernel.
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.
Comparison of Freely Available Simulation Tools
Vysloužil, Robin ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This thesis compares different freely available simulation tools. The aim of the thesis is to document and compare tools implemented in Modelica, MATLAB and Python. Various simulation models are created for each language. The models were simulated and the results from simulation runs were evaluated.
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.
Refactoring and Verification of the Code of mkfs xfs
Ťulák, Jan ; Peringer, Petr (referee) ; Vojnar, Tomáš (advisor)
Tato práce popisuje průběh refaktoringu programu mkfs.xfs za účelem zpřehlednění jeho kódu a vyčištění technického dluhu naakumulovaného za dvacet let existence tohoto programu, a následně jeho statickou analýzu. Použité nástroje (CppCheck, Coverity, Codacy, GCC, Clang) jsou srovnány z hlediska počtu i typu nalezených chyb.

National Repository of Grey Literature : 236 records found   beginprevious94 - 103nextend  jump to record:
Interested in being notified about new results for this query?
Subscribe to the RSS feed.