The aim of the masters thesis is to design and implement a tool for automatic generation of paths in source code. Firstly was acquired a study of model based testing and possible design for the desired automatic generator based on coverage criteria defined on CFG model. The main point of the master theis is the tool design and description of its implementation. The tool supports many coverage criteria, which allows the user of such tool to focus on specific artefact of the system under test. Moreover, this tool is tuned to allow aditional requirements on the size of generated test suite, reflecting real world practical usage. The generator was implemented in C++ language and web interface for it in Python language, which at the same time is used to integrated the tool into Testos platform.

This diploma thesis describes the work performed in the optimization of the corporate network in the company Alps Electric Czech to expand the amount of information obtained about the state of the network and thus improve the response of the IT department to potencial errors. During the optimization, a monitoring system was also deployed and its connection to the helpdesk and a tailor-made website running on the Flask microframework. With the gradual deployment, adjustments were made based on feedback from the IT department staff. Overall, the network has become more clarified, increasing the efficiency of maintenance and service.

My diploma thesis is focused on a comprehensive analysis of a selected company, its business environment and possible risks associated with the implementation of the proposed change in the supply process using a mobile application. My proposed solution includes a risk reduction method, a complex view of the processes in the application and its graphic design, along with the estimated costs of implementing the change.

The thesis is focused on the description of LTE system in terms of signaling on interfaces of LTE and EPC subsystems, such as UE initial network connection. The next section describes the types of diagnostic methods for mobile networks using OSS, drive testing and flow analysis. The thesis also aims at description of key performance indicators (independent service QoS parameters and the KPI for the radio part of the network). Part of the network measurement includes a description of the driver settings and views for analysis. It is also described the implementation of measuring and evaluating the results.

The aim of this work is to create framework for static analysis of Unix shell scripts.  Bourne-again shell is chosen as the primary subject of interest. The first part of the project discusses a principles of static analysis and current static analysis tools. The diploma thesis presents a framework based on modular system,   which enables plug-ins to perform different kinds of analysis on scripts. Framework includes plug-in management, means of interaction, handling outputs and input setting. This thesis also contains the description of a few plug-ins, designed to perform basic analysis of scripts.

Value-range analysis is a static analysis technique based on arguing about the values that a variable may take on a given program point. It can be used to prove absence of run-time errors such as out-of-bound array accesses. Since value-range analysis collects information on each program point, data-flow analysis can be used in association with it. The main goal of this work is designing and implementing such a value-range analysis tool. The work begins with an introduction into the topic, an explanation of data-flow and value-range analyses and a description of abstract interpretation, which provides the formal basis of the analyser. The core of this work is the design, implementation, testing and evaluation of the analyser. In the conclusion, our personal experience obtained in the area of the thesis is mentioned, along with a discussion of a possible future development of the designed tool.

The master thesis deals with the development of the tool for risk analysis support in information security. At first we perform a theoretical basis for security development of lifecycle process (SDL). Afterwards the theory of risk analysis based on fault tree analysis is described. Considering this knowledge base system was designed and implemented. Next chapter describes the best practice refer to the typical example of use and presents the potencial using of this tool in practice. Final chapter deals with the possibility of future expansion of this application.

Tangible social network system is a home-based communication solution specifically designed for elders. Former researches indicate that insufficient communication among elders cause several challenges in their daily activities such as social isolation, loneliness, depression and decreased appetite. In addition, lack of social participation increases the risk of Alzheimer´s (Ligt Enid, 1990). The major cause of these challenges are that elders are increasingly removed from communication technology using emails, text messaging, interact with social network systems and mobile phones due to cognitive and physical difficulties. To overcome this problem, new suggested social network system incorporates photo frame and photo album based interaction which allows instantaneous participation to the social network. By designing the new social network system, I tried to create an easier venue for more active cross-generational communication between elders and younger family members.This paper discusses the early results of the marker based social networking system aiming to propose digital technologies to enhance the social life of older people, who live alone their home. A prototype combining a touch screen, photo frame and a camera are described. It allows the older people to manage their participation to the social network system and get in touch with their loved ones. This paper demonstrates a User Sensitive inclusive Design (USID) process from the generation of user needs to the evaluation prototype. A key theme of tangible social network system shows how usable and emotional design derived from a user inclusive design process can encourage elders to adopt new modern technology. A first evaluation has shown the usability as well as the good acceptance of this system. / AGNES

This master's thesis deals with the possibilities how to guarantee the quality of service in the area of computer networks using a GNU/Linux operating system. This work compares and evaluates tools which are necessary to guarantee the quality of service. The goal of this work is to discuss the advantages and disadvantages of these tools and to design a system which handles the problem of quality of service. Designed system uses a heuristics, which allows the user to set up the quality of service system without studying specific properties of communication protocols on the network or application layer. This work also includes a theoretical introduction into the quality of service and computer networks.

Computer hardware and algorithm design have seen significant progress over the years. It is also seen that there are several domains in which humans are more efficient than computers. For example in image recognition, image tagging, natural language understanding and processing, humans often find complicated algorithms quite easy to grasp. This thesis presents the different case studies to learn human mapping strategy to solve the mapping problem in the area of coarse-grained reconfigurable architectures (CGRAs). To achieve optimum level performance and consume less energy in CGRAs, place and route problem has always been a major concern. Making use of human characteristics can be helpful in problems as such, through pattern recognition and experience. Therefore to conduct the case studies a computer mapping game called UNTANGLED was analyzed as a medium to convey insights of human mapping strategies in a variety of architectures. The purpose of this research was to learn from humans so that we can come up with better algorithms to outperform the existing algorithms. We observed how human strategies vary as we present them with different architectures, different architectures with constraints, different visualization as well as how the quality of solution changes with experience. In this work all the case studies obtained from exploiting human strategies provide useful feedback that can improve upon existing algorithms. These insights can be adapted to find the best architectural solution for a particular domain and for future research directions for mapping onto mesh-and- stripe based CGRAs.