National Repository of Grey Literature 15 records found  1 - 10next  jump to record: Search took 0.01 seconds. 
Automated Verification in HW/SW Co-design
Charvát, Lukáš ; Kubátová, Hana (referee) ; Řehák, Vojtěch (referee) ; Vojnar, Tomáš (advisor)
Předmětem dizertační práce je návrh nových technik pro verifikaci hardwaru, které jsou optimalizovány pro použití v procesu souběžného vývoje hardwaru a softwaru. V rámci tohoto typu vývoje je hardware spolu se software vyvíjen paralelně s cílem urychlit vývoj nových systémů. Současné nástroje pro tvorbu mikroprocesorů stavějící na tomto stylu vývoje obvykle umožňují vývojářům ověřit jejich návrh využitím různých simulačních technik a/nebo za pomoci tzv. funkční verifikace. Společnou nevýhodou těchto přístupů je, že se zaměřují pouze na hledání chyb. Výsledný produkt tedy může stále obsahovat nenalezené netriviální defekty. Z tohoto důvodu se v posledních letech stává stále více žádané nasazení formálních metod. Na rozdíl od výše uvedených přístupů založených na hledání chyb, se formální verifikace zaměřuje na dodání rigorózního důkazu, že daný systém skutečně splňuje požadované vlastnosti. I když bylo v uplynulých letech v této oblasti dosaženo značného pokroku, tak aktuální formální přístupy nemají zdaleka schopnost plně automaticky prověřit všechny relevantní vlastnosti verifikovaného návrhu bez výrazného a často nákladného zapojení lidí v rámci verifikačního procesu. Tato práce se snaží řešit problém s automatizací verifikačního procesu jejím zaměřením na verifikační techniky, ve kterých je záměrně kladen menší důraz na jejich přesnost a obecnost, za cenu dosažení plné automatizace (např. vyloučením potřeby ručně vytvářet modely prostředí). Dále se práce také zaměřuje na efektivitu navrhovaných technik a jejich schopnost poskytovat nepřetržitou zpětnou vazbu o verifikačním procesu (např. v podobě podání informace o aktuálním stavu pokrytí). Zvláštní pozornost je pak věnována vývoji formálních metod ověřujících ekvivalenci návrhů mikroprocesorů na různých úrovních abstrakce. Tyto návrhy se mohou lišit ve způsobu, jakým jsou vnitřně zpracovány programové instrukce, nicméně z vnějšího pohledu (daného např. obsahem registrů viditelných z pozice programátora) musí být jejich chování při provádění stejného vstupního programu shodné. Kromě těchto témat se práce také zabývá problematikou návrhu metod pro verifikaci správnosti mechanismů zabraňujících výskytu datových a řídících hazardů v rámci linky zřetězeného zpracování instrukcí. Veškeré metody popsané v této práci byly implementovány ve formě několika nástrojů. Aplikací těchto nástrojů pro verifikaci návrhů netriviálních procesorů bylo dosaženo slibných experimentálních výsledků.
Implementing Edge Clustering for Graphs
Klimčíková, Iveta ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
The objective of the thesis is to explore graph layout and edge clustering to improve graph visibility and the overall edge crossings. A summary of tools focusing on improving of graph visualisation is given. The thesis describes in more details a method of geometry--based edge clustering. Further, the method is implemented in a C++ library. The library itself can handle both simple and more complex graphs with a lot of vertices and edges.
A Tool for Automatic Generation of SQL Database Content for Software Testing
Minářová, Alice ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
This thesis follows up a design and implementation of a set of two tools for testing data generating. The first tool analyzes PostgreSQL databse text output and creates a configuration file in a newly designed language that describes how the database content should be generated. Based on this file the second tool generates a SQL script to fill the target database. User can adjust the generated data to their own requirements by modifying the configuration file written in a domain-specific language. The language was designed to make possible adjustments quick and intuitive. The thesis also describes how this language should be handled. The two tools were tested on several artificially created databases and also on a real system database of Drupal. The tools are both operated via the command line which makes them suitable for usage in automation.
A Language for Description of Instruction Sets
Forejtník, Jan ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
This bachelor's thesis introduces a simple concept of a language for description of microprocessor architecture, namely the instruction set. An interpreter of the language capable of simulating the behavior of the architecture is briefly described. This text may also serve as a manual for using the interpreter.
A Tool for Automated Testing of GUI
Vacek, Lukáš ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
Despite of GUI usability and availability is GUI testing quite new specialization technique. Manual testing is often used for verifying of GUI functionality. The aim of this work is to create a tool for testing and controling GUI. By tool is meant library for automated testing of GUI using object recognization method. Library detects basic GUI elements and controls them according to their standard behavior. Object detection depends on image processing and tracing graphic changes while mouse and key events are incoming.
An Extension of Support for Archives in GVFS
Holý, Ondřej ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
The bachelor thesis deals with an extension of archive daemon in GVFS system. The extension was designed, implemented, and tested based on an analysis of current state of the daemon, LibArchive library options, and similar projects. The main benefit of the extension is an easy manipulation with files in an archive via GIO API, which is used by many applications running in GNU/Linux operating system. Files and folders included in an archive can be read, renamed, moved, copied or deleted, it can also create empty directories. Daemon also allows creating new archives of a desired format.
Map Generator for Fantasy RPG
Pagáč, Antonín ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
The aim of this work is to develop a generator of maps used in fantasy role-playing games. The issues of map processing and map creation in real world are described. The work also discuss a number of approaches to map generation in computer games, mind games or board games. Next, a program based on generation of Voronoi diagram is presented, which serves as map creation software. The generator has the means to place objects on map randomly, using user commands, or place objects to specific place using graphical user interface. Generator is implemented in Javascript, which enables the program to be run in web browser on many different devices.
A CPU Emulator for Assembler Course
Charvát, Lukáš ; Nagy, Jan (referee) ; Smrčka, Aleš (advisor)
The bachlors's thesis discusses the design of a CPU architecture emulator aimed to assembly languages course. While most of nowadays emulators are architecture specific, this document describes an approach to create an emulator allowing users to easily set up their own architecture, to perform operations upon it, and to display its current state.
A CPU Emulator for Course of Assembly Languages
Charvát, Lukáš ; Samek, Jan (referee) ; Smrčka, Aleš (advisor)
The master thesis discusses the design of an emulator of a CPU architecture instruction set aimed at assembly languages course. While most of nowadays emulators are architecture specific, the emulator proposed in master thesis aims at education and better understanding of assembly languages. The emulator is not limited to a single CPU, but it easily allows defining a purpose-specific architecture and instruction set in order to perform operations upon it and to display its current state.
Application for Generating GUI Test Suite
Melo, Juraj ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
This thesis describes a system for automated GUI testing using assistive technologies for accessing and manipulating GUI elements. The only input from the user to automated test system is a description of UI events and activities. For this purpose, a specialized language is proposed. The test system then automatically generates possible sequences of UI events applying a given criterion. Generated test set is executed by Python interpreter exploiting the Linux Desktop Testing Project (LDTP). Test system described in this thesis then provides reports and coverage evaluation for particular test cases and the whole test set.

National Repository of Grey Literature : 15 records found   1 - 10next  jump to record:
See also: similar author names
2 Charvát, Lucie
Interested in being notified about new results for this query?
Subscribe to the RSS feed.