There are many methodologies in the field of software engineering that focus on the entire software development process. The software development process aims to provide a quality product that meets user requirements, and to deliver it on time as well as within budget. Testing is a tool for verifying the quality of software and serves as feedback in software development. Most software development methodologies are available only in English, they emphasize the actual software development and address testing only marginally. An accurately designed testing process however, may contribute to higher software quality and avoid potential problems resulting from the entire information system's failure. Current Czech methodology that focuses exclusively on testing has been developed either inside individual companies and thus is not accessible to the public, or is contained in graduate theses, where it was typically created by adapting and expanding the existing software development methodologies for testing within a particular company or team. The main objective of this thesis is to establish a methodology for testing in Czech, which is based on international practices and standards, which is not tailored to a specific organization and which can be used as guidance in defining test processes in various organizations, regardless of their specific focus. The proposed methodology is also implemented in the tool EPF Composer that enables administration of methodology and its publication in the form of the website. The thesis also pursues additional objectives. In order to verify the objective of developing a standardized testing methodology is met, the thesis strives to produce a subsequent evaluation methodology using a standardized process framework in order to improve the testing process as well as a summary detailing which areas may be the subject of further expansion methodology. The theoretical part of the thesis aims to evaluate software development methodologies in terms of testing, to provide an overview of standards related to testing and to describe selected standards, to clarify the purpose of certification in testing and to analyze the possibilities of utilizing materials to prepare for the ISTQB certification. The objectives were achieved by analyzing the available materials for ISTQB certification, analyzing software development methodologies, standards, the TMMi procedural framework and other resources that deal with testing as well as its methodologies and standards. The main contribution of this work is a testing methodology, which is based on the testing process as defined by the international organization ISTQB. It provides a methodological framework by interconnecting and expanding individual methodological elements. Elements of the methodology include working products, as specified by the methodology with respect to the IEEE 829 standard. The methodology does not depend on the needs of a particular company and may be easily adopted, managed and customized. It may be used as a starting point in creating a testing strategy in Czech companies focused on software development which are interested in approaching testing in compliance with international practices.

Aerodynamics studies in a booster such as analysis of the flow through the whole component or study of local turbulent phenomenon constitute a crucial part of its development in order to get better overall performances, like efficiency of the compressor and compression ratio. In order to put in perspective the computational predictions, it is critical to obtain sets of data from tests to caliber numerical analyses and to assure the booster respects design specifications. Aerodynamics testing is then an important part of the development of a compressor. However, it is complicated to obtain such values for many reasons: time constraints, problems regarding support, important costs etc. Thus, it is important to get as much information as possible from these tests data in a limited period in order to spend more time in results interpretation and less in treating raw data. Thus, an optimized tool of treatment to first deduce results from test data; and then to compare different engines or different sets of tests data, to get a wider state of the art and to avoid time-consuming analyses was needed. In order to do so, the first part of the development consists in investigating the existing methods to extract and analyze data from tests already used, and then deducing a general methodology to obtain from raw measures the performances of the studied booster compared to other available data. Once the methods have been set up and validated, the tool in itself was implemented in a practical way. Then, it was important to validate it on real tests values and to observe if it was adjustable for all kind of aerodynamics tests. / Aerodynamikstudier i en booster som analys av flödet genom hela komponenten eller studie av lokal turbulens fenomen utgör en avgörande del av dess utveckling för att få bättre generella prestanda, som kompressorns verkningsgrad och kompressionsförhållandet. För att sätta beräkningsresultat i perspektiv är det kritisk att få datauppsättningar från tester för att kalibrera de numeriska analyser och för att säkerställa att booster uppfyller konstruktionsspecifikationer. Aerodynamisk provning är då en viktig del av utvecklingen av en kompressor. Det är dock komplicerat att få sådana värden av många skäl: tidsbegränsningar, problem angående support, viktiga kostnader osv. Därför är det viktigt att få så mycket information som möjligt från provdata under en begränsad period för att tillbringa mer tid i resultat tolkning och mindre tid på att behandla rådata. Således ett optimerat behandlingsverktyg för att först dra resultat från provdata; och sedan att jämföra olika motorer eller olika uppsättningar av provdata, för att få en bredare databank och att undvika tidskrävande analyser behövdes. För att göra det består den första delen av utvecklingen i att undersöka de befintliga metoderna för att extrahera och analysera data från tester som redan använts, och sedan dra ut en allmän metod för att från råa mått erhålla prestandan hos den studerade boosteren jämfört med andra tillgängliga data. När metoderna har installerats och validerats implementerades verktyget i sig på ett praktiskt sätt. Då var det viktigt att validera det på verkliga testvärden och att se om det var justerbart för alla typer av aerodynamiska test.

Main focus of this thesis is on wireless networks security auditing. Author's goal is to create new penetration testing methodology for wireless networks WIPE and prove its usability in real terms. This new methodology is based on currently used methodologies, approaches and tools, which are introduced and tested further in the work.

This work deals with design and implementation of a methodology for testing RAM memories connected to an FPGA circuit on Combo cards. In theoretical part of the work RAM faults are sorted by the way they affect the function of the memory and the algorithms to detect them are specified. In practical part, the methodology for testing RAM memories located on Combo cards are proposed, implemented and verified. The NetCOPE framework was used for the implementation. Within the NetCOPE structure, the project was divided into a hardware accelerated application for an FPGA circuit and a software application for a host computer. The project was designed with respect to an easy transfer to other versions of Combo cards.

This thesis deals with Business Intelligence and its testing. It seeks to highlight the differences from the classical software testing and finally design a methodology for BI solutions testing that could be used in practice on real projects of BI companies. The aim of thesis is to design a methodology for BI solutions testing based on theoretical knowledge of Business Intelligence and software testing with an emphasis on the specific BI characteristics and requirements and also in accordance with Clever Decision's requirements and test it in practice on a real project in this company. The paper is written up on the basis of studying literature in the field of Business Intelligence and software testing from Czech and foreign sources as well as on the recommendations and experience of Clever Decision's employees. It is one of the few if not the first sources dealing with methodology for BI solutions testing in the Czech language. This work could also serve as a basis for more comprehensive methodologies of BI solutions testing. The thesis can be divided into theoretical and practical part. The theoretical part tries to explain the purpose of Business Intelligence use in enterprises. It elucidates particular components of the BI solution, then the actual software testing, various types of tests, with emphasis on the differences and specificities of Business Intelligence. The theoretical part is followed by designed methodology for BI solutions using a generic model for the BI/DW solution testing. The practical part's highlight is the description of real BI project testing in Clever Decision according to the designed methodology.

Indiana University-Purdue University Indianapolis (IUPUI) / The study of this thesis is focused on reducing the link failure detection time in OSPF network. When a link failure occurs, OSPF protocol detects it using RouterDeadInterval time. This timer is fired only after a predefined time interval, thus increasing the time of convergence after the link failure. There are previous studies to reduce the RouterDeadInterval time, but they introduce other effects which are discussed later in the thesis. So, a novel approach is proposed in this thesis to reduce the link failure detection time with the help of emerging network architecture Software Defined Networking (SDN) and OpenFlow Protocol.

This thesis if focused on performance, especially load testing of information systems. In the first part is defined software quality and reader is provided by fundamentals of software testing. Process of sofware testing is well described here. The rest of the paper is oriented on perfomance testing and it's processes and attributes. Specified are goals and principles of performance testing as well as types of performance tests and their purpose. Defined is load testing methodology including metrics for reliability and efficiency of information systems. Metrics are derived from well known international ISO standard 9126 - Software quality model. Methodology and metrics are validated during load test project on which author of this work participated. One chapter is also devoted to the tools used for load testing automatization. This paper is focused on the testing experts as well as on the other readers who want to acquire information on load testing, software efficiency or generally on testing of software quality.