|
|
Bug Prediction Using Data Mining of Test Result History
Matys, Filip ; Vojnar, Tomáš (referee) ; Šimková, Hana (advisor)
Software projects go through a phase of maintenance and, in case of open source projects, through hard development process. Both of these phases are prone to regressions, meaning previously working parts of system do not work anymore. To avoid this behavior, systems are being tested with long test suites, which can be sometimes time consuming. For this reason, prediction models are developed to predict software regressions using historical testing data and code changes, to detect changes that can most likely cause regression and focus testing on such parts of code. But, these predictors rely on static code analysis without deeper semantic understanding of the code. Purpose of this master thesis is to create predictor, that relies not only on static code analysis, but provides decisions based on code semantics as well.
|
|
|
Automation of Processes in Agile Development
Jašek, Tibor ; Smrčka, Aleš (referee) ; Šimková, Hana (advisor)
The goal of master thesis "Automation of Processes in Agile Development" is research of agile metodics with a focus on development practices in the Kentico company. This thesis describes different tools used as a support of agile software development including JIRA Software and Confluence, which are used in Kentico. Important part of this thesis is analysis of the current company processes and a plan of their optimization and automation. During the implementation part a web application which displays metrics arising from analysis and optimization proposal phase is realized. This thesis also contains discussion of it's realization and possible improvements.
|
|
|
Coverage-Driven Testing for Multithreaded Programs
Lietavcová, Zuzana ; Šimková, Hana (referee) ; Letko, Zdeněk (advisor)
This work deals with a problem of searching errors in multithreaded programs using a coverage-driven testing technique as perceived in program Maple. The testing consists of two phases. In the first phase of testing a set of coverable behaviours of the tested program is being built. Consequently, the algorithm tries to achieve these behaviours with a help of deterministic test execution. The main acquisition of the work lays in a compact description of Maple including all the technical details. Based on the study of the tool there were weak places identified. Some of them are studied in detail, especially those which use random decision making and prioritizing of the forced behaviours. The result are several modifications of Maple, from which some lead to a higher number of exposed behaviours and higher error exposition in some cases. This is demonstrated on a test suite of parallel programs.
|
|
|
History and present of hotel trend in territory of Českobudějovicko
ŠIMKOVÁ, Hana
Bachelor thesis deals with the comparison of accommodation and catering services in České Budějovice from a historical perspective as well as current data. Based on structured interviews, questionnaire survey, secondary data and own observing was designed several products that could contribute to the development of tourism of the area.
|
|
|
Comparison of software products for management of law offices on the Czech market
Šimková, Hana ; Svatá, Vlasta (advisor) ; Bachmann, Petr (referee)
This final thesis analyzes the most represented complex software products for management of law offices on the Czech market. At the beginning of this paper are described specifics of law offices with their classification applicable for the Czech Republic and facts that distinguish the advocacy from other fields. The next part follows with characterization of particular law office, activities of this office and software products which are used there. Other part of this work is focused on a process analysis of the mentioned law office which is introduced by a theoretical base of process modeling. Defined key processes were modeled and then options for their software support were specified. Criteria for evaluating software products were identified based on the information obtained during the preparation phase. After selection of the three most represented products these products were described and evaluated. Other chapters of this work are focused on the software which is called Acta Safe and which was developed by AiP Safe, s.r.o. Strengths and weaknesses of this software were specified in comparison to selected products of competition and then modifications and improvements were proposed. At the end of this paper are presented results of the survey. This survey was attended by lawyers and articled clerks from various sized law offices. The aim of this questionnaire survey was to determine if there is a connection between focus of the law offices and the need of using a software solution for a law office. How such software is selected, what implementation of the software brings and why there are some law offices that do not use such software. Answers to these questions are provided at the end of this thesis.
|
|
| |
|
| |
|
| |
|
|
Rozdělení velkých genomů čeledi Triticeae tříděných chromozomů
Doležel, Jaroslav ; Kubaláková, Marie ; Suchánková, Pavla ; Šafář, Jan ; Janda, Jaroslav ; Kovářová, Pavlína ; Bartoš, Jan ; Čihalíková, Jarmila ; Šimková, Hana
Nuclear genomes of some Triticeae species are characterized by large size and prevalence of repetitive DNA sequences. These features hamper their physical mapping and gene cloning. Purification of individual chromosomes by flow cytometry can simplify these tasks by providing small and defined genome fractions. This lecture reviews the development of the methodology and its potential for genome mapping in barley, rye and wheat Due to small differences in relative DNA content, only one chromosome type can be discriminated and sorted in each of the three species. Cytogenetic stocks facilitate separation of other parts of the genomes as individual chromosomes, translocation chromosomes and chromosome arms. Chromosome analysis by flow cytometry permits quantitative detection of structural and numerical chromosome changes. Chromosomes sorted onto microscopic slides have been used for discovery of rare structural changes and for high-resolution cytogenetic mapping using FISH. The use of sorted chromosomes for HAPPY mapping, targeted isolation of low copy "genie" sequences, and high-throughput physical mapping of ESTs on microarrays are attractive options. As millions of chromosomes with intact DNA may be sorted, construction of BAC libraries is possible. Subgenomic, chromosome-specific and chromosome arm-specific BAC libraries have already been produced in wheat and represent unique resources for genomics of cereals.
|
|
|
IT Governance
Šimková, Hana ; Svatá, Vlasta (advisor) ; Ganoczy, Eduard (referee)
IT governance (control of information technology) is a frequently discussed topic today which represents current needs to take control of IT, judge impacts of all resolutions and lead up investments running to the information technology. It is very important for both small and large organizations to have IT which encourages business strategy and helps to meet objectives of a company. The theoretical part of this paper is focused on characterization of the main areas, benefits, rules and various definitions of IT governance. Then the paper deals with legislative instruments and main frameworks of the IT governance. Reasons for the implementation and difficulties that IT governance brings are also defined there. The second part of this paper, which is practically oriented, deals with evaluation and analysis of the current situation in the organization named Unicorn. This part focuses in particular on the maturity assessment of selected IT processes according to Cobit methodology.
|
guest ::
RSS feed.