|
|
Debugger interface for Java PathFinder model checker
Vávra, Štěpán ; Jančík, Pavel (advisor) ; Yaghob, Jakub (referee)
The aim of this work is to integrate Java PathFinder into Java Platform Debugger Architecture. That is, to allow using Java PathFinder instead of a common Java Virtual Machine for the purpose of debugging Java applications in any modern Java Integrated Development Environment with all its advantages such as various kinds of breakpoints, direct stepping in opened source files, and call stack and object inspection. The resulting work provides users with all the features they are used to while debugging Java applications. None of this requires any external tools, editors or a complicated setup. Therefore, users are able to view, debug and understand the program state while replaying an error trace in Java PathFinder. The key part of the study is an implementation of the Java Debug Wire Protocol Agent as an extension for Java PathFinder. That makes JPF more complete as a Virtual Machine in the eyes of the community and the Java users in general. Powered by TCPDF (www.tcpdf.org)
|
|
|
Scripting in Audacity Audio Editor
Šípoš, Peter ; Pop, Tomáš (advisor) ; Jančík, Pavel (referee)
Audacity is popular and widely used audio editor available for all the main platforms including Windows, Mac as well as various Linux distributions. Audacity functionality can be controlled via sophisticated user interface, but the editor suffers from a lack of support for an automated execution of scripts and therefore, using audacity e.g., to perform the same action on multiple files can be tedious. The thesis aims at extending Audacity editor to allow using scripts in the audio editing workflow. The first part of the thesis overviews Audacity's architecture, and discuss, how Audacity can be extended and what alternative applications are available. Then, the thesis describes the most important decisions that were taken, including the choice of scripting language, managing errors and designing user interface. Finally, the extension functionality is shown on several examples reflecting a typical use-cases.
|
|
|
Survey of Code Review Tools
Žember, Martin ; Kofroň, Jan (advisor) ; Jančík, Pavel (referee)
In the present work we study behaviour of tools intended for code review and how they aim at eliminating security vulnerabilities. There is a lot of such tools, but a smaller set of them suffice to effectively improve the security of software. We provide results of empirical testing of these tools on artificial data in order to map vulnerability classes they are able to identify and also on real data in order to test their scalability.
|
|
|
Presenting results of software model checker via debugging interface
Kohan, Tomáš ; Šerý, Ondřej (advisor) ; Jančík, Pavel (referee)
Title: Presenting results of software model checker via debugging interface Author: Tomáš Kohan Department: Department of Software Engineering Supervisor of the master thesis: RNDr. Ondřej Šerý, Ph.D., Department of Distributed and Dependable Systems Abstract: This thesis is devoted to design and implementation of the new debugging interface of the Java PathFinder application. As a suitable inte- face container was selected the Eclipse development environment. The created interface should visualize results of JPF and details of paused JVM state, es- pecially a list of variables and their values. Two subprojects were created, i.e. debug4jpf and JPFDeb.core. The first one is responsible for controlling and communication with the JPF instance. The latter one is an Eclipse plugin and provides user interface which is similar to the interface of standard Java debugger. These two components communicate with each other by using the ad-hoc communication protocol created for this purpose. Keywords: Java, verification, model checker, JPF, debugging interface
|
|
|
Presenting results of software model checker via debugging interface
Kohan, Tomáš ; Šerý, Ondřej (advisor) ; Jančík, Pavel (referee)
Title: Presenting results of software model checker via debugging interface Author: Tomáš Kohan Department: Department of Software Engineering Supervisor of the master thesis: RNDr. Ondřej Šerý, Ph.D., Department of Distributed and Dependable Systems Abstract: This thesis is devoted to design and implementation of the new de- bugging interface to the Java PathFinder application. As a suitable interface container was selected the Eclipse development environment. The created inter- face visualizes results of JPF and details of paused JVM state, especially a list of variables and their values. Two subprojects were created, i.e. debug4jpf and JPFDeb.core. The first one is responsible for controlling and communication with the JPF instance. The latter one is an Eclipse plugin and provides user interface which is similar to the interface of standard Java debugger. These two components communicate with each other by using the ad-hoc communication protocol created for this purpose. Keywords: Java, verification, model checker, JPF, debugging interface
|
|
|
Real-time Recognition of Typed Letters
Hámorník, Juraj ; Toropila, Daniel (advisor) ; Jančík, Pavel (referee)
Tablet PC devices are becoming more and more popular these days. These devices rarely have a hardware keyboard. Users input a text in two major ways. First one is a virtual keyboard, where users type each character individually and second one is handwrite recognition, where users write the whole words. Our method combines chars input method and handwriting. Hand written character that can contain multiple strokes, is converted into sequences of numbers. Based on this sequence we evaluate a written character. When we compare the default input method on operating system Windows 8 we can figure, that for advanced users, and for some languages our method could be a challange.
|
|
|
Universal discrete simulator
Vytasil, Jiří ; Pergel, Martin (advisor) ; Jančík, Pavel (referee)
In this thesis we analyzed the design and implementation of the program allows you to perform discrete-event simulation. Further in the program we implemented visualization of discrete-event simulation. Emphasis is placed mainly on universality. In addition to the program and its description includes information of discrete-event simulation, which allows easier understanding of program operation. For a description of discrete-event simulation using finite-state automata and regular grammars. These parts are described more in order to more easily understand the description of the discrete-event simulation. The system also allows adjustment of input files for easier operation of the program.
|
|
|
Checking Compliance of Java Implementation with TBP Specification
Jančík, Pavel ; Parízek, Pavel (advisor) ; Kofroň, Jan (referee)
Verification is a method of increasing reliability of component based applications. Component composition and its verification from the communication point of view, is one of the current research topics. Behavior protocols (BPs) are an abstraction used to describe communication among components. Tools, that are able to verify component composition, have already been developed. These tools concern only the BP level and they implicitly presume that implementation of the components conforms to given BP. The importance of verification of implementation compliance with BP is obvious. The BP and rules for communication among components are created during the early steps of the development cycle. Various deviations from the original BP (intentional or unintentional) arise during the implementation phase. This approach reflects the importance of a checker tool. Checker tool, which will ensure conformance of a single component implementation written in Java with given threaded behavior protocol, is the final result of our work. The work also contains an evaluation of the tool in bigger real life examples.
|
|
|
Pascal interpreter
Jančík, Pavel ; Bednárek, David (referee) ; Yaghob, Jakub (advisor)
Work has to enlarge student's knowledge about design and programming of interpreters. Student will use advanced programming techniques and tools commonly used in compilers. Target of work is creating interpreter that process subset of Pascal programming language. Its design is object oriented and easily extensible. Goal of this work is create platform for future development. Student will study existing virtual machines used in other interpreters and create own simple virtual machine and instruction set.
|
|
|
Grab manipulator
Mlčoch, Petr ; Jančík, Pavel (referee) ; Škopán, Miroslav (advisor)
The subject of this thesis is a design of an aluminium scrap handling device. This device works in a roofed-over hall and it is stationary. Introduction to this thesis brings the usual machines used for handling of metal waste as alternatives to this device, and the reasons why these do not fulfil the customer’s demands. The work contains kinematics lay-out and force analysis. The shape and dimensions of the design derive from these chapters. The following part deals with the description of the major parts including the hydraulic system which provides all the working movements of the device. The conclusion comprises of the retroactive check of the device’s tipping load, calculation of the rollover resistance, stress analysis of the boom and the stick. The work includes the general assembly drawing and subassembly drawings of the boom and the stick.
|
guest ::
RSS feed.