|
|
Coverage-Driven Testing for Multithreaded Programs
Lietavcová, Zuzana ; Šimková, Hana (referee) ; Letko, Zdeněk (advisor)
This work deals with a problem of searching errors in multithreaded programs using a coverage-driven testing technique as perceived in program Maple. The testing consists of two phases. In the first phase of testing a set of coverable behaviours of the tested program is being built. Consequently, the algorithm tries to achieve these behaviours with a help of deterministic test execution. The main acquisition of the work lays in a compact description of Maple including all the technical details. Based on the study of the tool there were weak places identified. Some of them are studied in detail, especially those which use random decision making and prioritizing of the forced behaviours. The result are several modifications of Maple, from which some lead to a higher number of exposed behaviours and higher error exposition in some cases. This is demonstrated on a test suite of parallel programs.
|
|
|
Piston for SI Turbocharged Engine 2.0L
Kusyn, Petr ; Bradávka, Marek (referee) ; Svída, David (advisor)
This diploma thesis is focused on solve of design solutions for piston for turbocharged version of Honda K20A engine, especially on reduce of side force acting on piston. There are mentioned methods and on their basis also design solutions for piston to reduce this force. There is also included kinematic and dynamic analysis for each solution and as well their FEM analysis for testing the suitability of these solutions.
|
|
|
The analysis of frame synchronous generator
Marada, Ondřej ; Střelková, Radka (referee) ; Pokorný, Přemysl (advisor)
The thesis is focused on the examination of the utility of a synchronous generator of a small hydroelectric power station in the case of a change of working position of the machine. The utility will be measured on the basis of the examination of deformations and state of stress of the frame of the generator for the present running (with vertical axis of rotation of the generator) and subsequently for modified running (with horizontal axis of rotation). This will be accomplished partly on the static shell model by finite element method and consequently on the simplified dynamic model.
|
|
|
Dynamic analysis of bridge construction
Kinclová, Radka ; Nevařil, Aleš (referee) ; Vlk, Zbyněk (advisor)
The objective of this diploma thesis is a dynamic analysis of a cable-stayed walkway. The RFEM structural analysis software is used for the calculation. Design principles of the structure are explained and analysis of the construction phases is then performed. The eigenmodes of the structure are calculated for various material combinations. The thesis examines the effects of moving loads and earthquake effects using several different methods. A comparison of the various loading effects on the structure and also the calculation methods is presented at the conclusion.
|
|
|
Dynamic analysis of oscillations with multiple degrees of freedom
Schulmeister, Jiří ; Houfek, Lubomír (referee) ; Březina, Lukáš (advisor)
This thesis is dealing with analysis of oscillating with multiple degrees of freedom and with example of dynamic behavior of system with two degrees of freedom with different input signals for purposes of dynamic lessons. Conventional method of making equations of motion by Lagrange’s method and their consecutive analysis is inscribed in the work. As example of system with two degrees of freedom is chosen quarter car model. Responses to different input signals are shown for the model. It is made in MATLAB/SIMULINK.
|
|
|
Response analysis of high-rise storage tank to static and dynamic loads
Strnadlová, Kateřina ; Vlk, Zbyněk (referee) ; Nevařil, Aleš (advisor)
This thesis describes the design and construction of water reservoir assessment for static and dynamic loads. The intoduction describes the basic design type sof reservoirs, thein static solution and design conditions. It made a preliminary calculation for determining the thickness of the shell structure and designed structure is then solid using the finite element metod (FEM) in ANSYS. In conclusion, verification of load-carrying capacity, stability and usability according to standard ČSN EN.
|
|
|
Malware Analysis: Tools and Techniques
Danilov, Marcel ; Luc, Ladislav (advisor) ; Veber, Jaromír (referee)
This bachelor thesis adresses present day topic of broad interest, the topic of malware. This term stands for malicous software as viruses, worms, trojans, spyware etc. Simply put a software with intent to do harm to the users of computers or mobile devices, to their steal information or gain access to their private computer systems. This thesis is divided into several chapters. First few of them are theoretical. First one describes malware in general. It defines what malware is and divides it into categories. Second chapter introduces a discipline of malware analysis. A discipline where malware, its components and behaviour is analysed in laboratory environment. This chapter contains general description of malware analysis, categories in which is this analysis divided, and rules of said analysis. Third chapter goes even further into malware analysis. It describes and identifies its indiviual techniques and tools. Last chapter is focused on practical usage of malware analysis. Theoretical knowledge of malware analysis, specifically knowledge of tools and techniques described in previous chapters is demonstrated on real, live example of malware. Thanks to demonstration of tools and techniques; funcionality, structure and life cycle of mentioned piece of malware is also being analyzed. Goal of this thesis is to bring reader closer to the topic of malware, with emphasis on area of malware analysis. This contains an explanation what an malware analysis is, what is its purpose. Next goal is to develop a summary of malware analysis basic tools and techniques. Thesis contribution is application of knowledge of techniques and tools on real malware analysis. With the help of malware analysis, this thesis demonstrates its individual tools and techniques on live example of malware. Other contributions are deriving from analysis itself. Funcionality, structure and life cycle of analysed piece of malware is also being explained.
|
|
|
Automatizace testování architektury studentských úloh
Hamendi, Mohammed ; Pecinovský, Rudolf (advisor) ; Pavlíčková, Jarmila (referee)
The freshmen programming courses at the University of Economics in Prague offer a unique approach to learning the art of programming and software engineering. The introductory courses follow the Architecture First methodology that gives students the opportunity to learn programming from the top down, without being constrained by the specifics and syntax of any one programming language. It teaches the thought processes needed to build programs, allowing the student to absorb the big ideas of computer programming. The average number of freshmen at the faculty of Informatics and Statistics is around seven hundred students. The task of correcting programming assignment and preparing appropriate feedback would be a mammoth undertaking for teaching staff in most university settings worldwide that offer similar computing degrees. It is therefore quite often the case that the faculty provisions some sort of automated testing technology that can handle the volume and provide both the teaching staff and the students with the tools needed to manage the assignments. These automated tools or systems have been, and continue to be, the subject of many research topics across the world and continue to evolve as new technologies and teaching methods evolve. This study first introduces the theoretical background of automated assessment and grading tools and systems and then provides an analysis of the fields current state. Taking that as input to the next phase, the study uses that information to then design and implement a custom-built system that would enable the automated testing of the structure and other aspects of student assignments. The main goal for the resulting system is to provide an intuitive and convenient way of declaring what needs to be tested for a given assignment and then providing the mechanism to run those tests automatically. The resulting system, DynoGrader, dynamically validates student assignments at runtime using Java runtime annotation processing mechanisms and Java Reflection API.
|
|
|
Malware analysis and reverse engineering
Šváb, Martin ; Čermák, Igor (advisor) ; Hlaváč, Jindřich (referee)
Focus of this thesis is reverse engineering in information technology closely linked with the malware analysis. It explains fundamentals of IA-32 processors architecture and basics of operating system Microsoft Windows. Main part of this thesis is dedicated to the malware analysis, including description of creating a tool for simplification of static part of the analysis. In Conclusion various approaches to the malware analysis, which were described in previous part of the thesis, are practically demonstrated on unknown malware sample.
|
|
|
Data Envelopment Analysis – extension and application in automotive industry
Synková, Rut ; Jablonský, Josef (advisor) ; Cahlík, Tomáš (referee) ; Ivaničová, Zlatica (referee)
The Models of the Data Envelopment Analysis are the instruments for benchmarking of homogenous production units. The first models had been formulated by the end of 70th in the last century and since then have been the subject of interest in the theoretical area as well as in the analytical area. The thesis refers to the models of the Data Envelopment Analysis and its development in the theoretical area. The second goal of the thesis is an application of models of the Data Envelopment Analysis in industrial environment and illustration of its possible use by investment decision. The domestic literature on the area of the Data Envelopment Analysis has not been sufficient. The thesis is therefore mapping the present stage of knowledge in this area and further widens by the Allocation Models, Dynamic Analysis and the questions of non-controlled and imprecise variables. Models, which are formulated in the thesis, where afterwards applied on the data of the foreign companies. The numerical experiments were worked out by the software support for the models of the Data Envelopment Analysis, built in the environment of MS Excel. The main contributions of the thesis are in enlargement of the Dynamic Analysis by the partial continuous dynamic analysis and analysis of Efficiency Stability of the evaluated units. The other contribution is the wide application of the models of the Data Envelopment Analysis for benchmarking the companies, which mainly produce the motor vehicles. The thesis gives the overview of the often used models of the Data Envelopment Analysis as well as of the rarely used models. It discusses the possible solution to the special situations which may occur during the application. The thesis is divided into six chapters which, in typical case, contain next to the theory the illustrative application. The first chapter comprises of the subscription of the basic models of the Data Envelopment Analysis. In the second chapter, there are presented the Super-Efficiency Models and discussed the problems with zero inputs and outputs in these models. The overview of the Allocation Models is in following part. The Dynamic Analysis and analysis of Efficiency Stability are subjects of the fourth chapter. The fifth chapter is dedicated to non-controlled and imprecise variables. The last chapter focuses on application of the models in automotive industry and its possible use of results for estimated development of the evaluated units on Investment markets.
|
guest ::
