Software testing is crucial for uncovering software defects and ensuring software reliability. Symbolic execution has been utilized for automatic test generation to improve testing effectiveness. However, existing test generation techniques based on symbolic execution fail to take full advantage of programs’ rich amount of documentation specifying their input constraints, which can further enhance the effectiveness of test generation. In this paper we present a general approach, Document-Assisted Symbolic Execution (DASE), to improve automated test generation and bug detection. DASE leverages natural language processing techniques and heuristics to analyze programs’ readily available documentation and extract input constraints. The input constraints are then used as pruning criteria; inputs far from being valid are trimmed off. In this way, DASE guides symbolic execution to focus on those inputs that are semantically more important. We evaluated DASE on 88 programs from 5 mature real-world software suites: GNU Coreutils, GNU findutils, GNU grep, GNU Binutils, and elftoolchain. Compared to symbolic execution without input constraints, DASE increases line coverage, branch coverage, and call coverage by 5.27–22.10%, 5.83–21.25% and 2.81–21.43% respectively. In addition, DASE detected 13 previously unknown bugs, 6 of which have already been confirmed by the developers.

When presenting a product within the so-called regulated sphere the producer is obliged to keep to the given legal liabilities of the technical product requirements and the governmental regulations concerned. The producer is also to carry out an analysis of the technical requirements and specifications of the product. Subsequently, the producer also has to provide the technical specifications and documentation for preparation of ES declaration, guaranteeing that the product fulfills the CE requirements. The task is to design and set up documentation for the ES declaration for Polymount printer cleaning machines PPC mini, PPC M2, PPC L2 and PPC XL2.

Title: The Gymnastics objects analysis in preparation of physical education teachers with focus on Artistic gymnastics. Thesis objective This thesis was aimed to determine the content of Artistic gymnastics as a part of physical education teaching study programme. To achieve the primary objective two other sub-objectives were established. These were examined in two research phases: 1. the school documentation analysis in respect of: a) objectives, results and contents of Artistic gymnastics study plans b) distribution of individual Gymnastics objects (Artistic gymnastics in particular) and their frequency in a lesson plan 2. to learn and define requirements posed upon the personality of a high school physical education teacher. Methods The research continued in two phases. The first phase was to analyse the school documentation and explore the focus on contents of Artistic gymnastics study plans, its range and required results. To find the answer on relevance and necessity of particular competences of Artistic gymnastics graduates the repertory grid method was used in the second phase of research. The repertory grid provided large quantity of information questioning a group of 15 experts divided in three sub-groups based on their experience with gymnastics teaching. Results With respect to...

Title: The Gymnastics objects analysis in preparation of physical education teachers with focus on Artistic gymnastics. Thesis objective This thesis was aimed to determine the content of Artistic gymnastics as a part of physical education teaching study programme. To achieve the primary objective two other sub-objectives were established. These were examined in two research phases: 1. the school documentation analysis in respect of: a) objectives, results and contents of Artistic gymnastics study plans b) distribution of individual Gymnastics objects (Artistic gymnastics in particular) and their frequency in a lesson plan 2. to learn and define requirements posed upon the personality of a high school physical education teacher. Methods The research continued in two phases. The first phase was to analyse the school documentation and explore the focus on contents of Artistic gymnastics study plans, its range and required results. To find the answer on relevance and necessity of particular competences of Artistic gymnastics graduates the repertory grid method was used in the second phase of research. The repertory grid provided large quantity of information questioning a group of 15 experts divided in three sub-groups based on their experience with gymnastics teaching. Results With respect to...

Management projektů a jejich rizik je v současnosti rozvíjející se disciplína, která si získává stále větší pozornost a uplatnění v praxi. Tato práce popisuje úvod do problematiky řízení rizik, zkoumání metod jejich identifikace, vyhodnocení a managementu, předcházení jejich následkům a jejich zvládání. V další části práce byla provedena analýza vzorků rizik z reálných projektů, byly popsány metody pro identifikaci a vyhodnocení následků rizik v úvodních fázích softwarového projektu, taktéž byly popsány atributy rizik a navržen způsob jejich dokumentace. V závěrečné části zadání byl navržen a implementován prototyp modelové aplikace pro podporu managementu rizik softwarových projektů.