|
|
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.
|
|
|
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.
|
|
|
Machine Learning Text Classifier for Short Texts Category Prediction
Drápela, Karel ; Křena, Bohuslav (referee) ; Šimková, Hana (advisor)
This thesis deals with categorization of short spam texts from SMS messages. First part summarizes current methods for text classification and~it's followed by description of several commonly used classifiers. In following chapters test data analysis, program implementation and results are described. The program is able to predict text categories based on predefined set of classes and also estimate classification accuracy on training data. For the two category types, that I designed, classifier reached accuracy of 82% and 92% . Both preprocessing and feature selection had a positive impact on resulting accuracy. It is possible to improve this accuracy further by removing portion of samples, which are difficult to classify. With 80\% recall it is possible to increase accuracy by 8-10%.
|
|
|
Analysis and Notification of New ResultCloud Submissions
Iakymets, Bohdan ; Vojnar, Tomáš (referee) ; Šimková, Hana (advisor)
Software tests results have mostly the same values, therefore they do not contain any important or interesting information. Developers must spend a lot of time for looking for something interesting in tests results, thus developer require tool for analysis results and in case finding interesting information notify user about it. This tool can save a lot of time. Assignment of this bachelor work is design and implement mechanism for analyzing and notifing user about interesting changes in test results. Part of the work is to learn ResultCloud and based on acquired knowledge to extend ResultCloud.
|
|
|
Alkaloids of genus Narcissus: isolation, structural identification, biological activity
Šimková, Hana ; Cahlíková, Lucie (advisor) ; Opletal, Lubomír (referee)
Charles University, Faculty of Pharmacy in Hradec Králové, Department of Pharmaceutical Botany Author: Hana Šimková Supervisor: prof. Ing. Lucie Cahlíková, Ph.D. Title of diploma thesis: Alkaloids of genus Narcissus: isolation, structural identification, biological activity Key words: Narcissus, alkaloids, biological activity, Alzheimer's disease, cytotoxic activity The aim of the diploma thesis was an isolation of alkaloids with a focus on minor fractions. These fractions were obtained from the summary alkaloid extract of Narcissus pseudonarcissus cv. Carlton. The method of preparative TLC was used for the isolation of alkaloids. Three substances of alkaloid origin marked as Fj 3-4/kr, F 7/2-1, F 7/2-3 were isolated from the assigned fractions. These substances were identified as alkaloids of homolycorine type lycorenine, homolycorine and hippeastrine by using GC-MS, NMR and optical rotation. The results were also compared with data in the literature. These three alkaloids were tested for their inhibitory activity against AChE, BuChE, POP and GSK-3β. The inhibitory activity against AChE and BuChE was compared with the reference substances galanthamine (IC50 AChE = 1,71 ± 0,07 μM, IC50 BuChE = 42,3 ± 1,3 μM) and huperzine A (IC50 AChE = 0,033 ± 0,001 μM, IC50 BuChE> 1000 μM). The inhibitory...
|
|
|
Design of Archaeological Detector
Šimková, Hana ; Tauber, Jiří (referee) ; Rajlich, Jan (advisor)
The theme of this bachelor thesis is a design of archaeological detector. The main goal is to design a compact device that meets all the ergonomic and technical requirements, while offering an innovative approach to the final shape. The resulting device stems from analysing the products on current market and determining their problems. The main benefit of this thesis is an original approach to the shaping, that allows a new way of using the detector.
|
|
|
The analysis of transport infrastructure of the city České Budějovice during an emergency situation with a focus on public transport provider
ŠIMKOVÁ, Hana
The subject of this Master's Diploma thesis is an analysis of the transport infrastructure in the city of České Budějovice during an emergency situation with focus on transport providers. The goal of this research is to find out on what level the providers of the city public transportation are prepared to respond to outstanding and extraordinary situations that impact the city's transport infrastructure. The theoretical part of this thesis deals with the definition of basic terms which are related to the issues of chosen topic. The theoretical part then mainly focuses on the individual means of transportation in the Czech Republic and the approach from the perspective of the European Union. Part of the practical section of this thesis is the basic characteristics of the city of České Budějovice and the public transportation provided on its municipality area. The interaction between the individual means of transportation is then described with regard to the integrated transportation system. In the research part, a selection of elements of transportation that needs to be protected due to their importance and essentiality is concluded. Then, there is also a controlled interview with an employee of the Transportation Company of the city of České Budějovice. With the help of a multicriteria analysis, the risks that may endanger the identified elements of interest, e.g. public transportation stops, are identified. Based on all the obtained information and the results of the analysis, preventative measures that might significantly help in case of an actual emergency are provided to the Transportation Company. In addition, the conducted multicriteria analysis of risks can be used as a platform for possible planning processes.
|
|
|
Alkaloids of genus Narcissus: isolation, structural identification, biological activity
Šimková, Hana ; Cahlíková, Lucie (advisor) ; Opletal, Lubomír (referee)
Charles University, Faculty of Pharmacy in Hradec Králové, Department of Pharmaceutical Botany Author: Hana Šimková Supervisor: prof. Ing. Lucie Cahlíková, Ph.D. Title of diploma thesis: Alkaloids of genus Narcissus: isolation, structural identification, biological activity Key words: Narcissus, alkaloids, biological activity, Alzheimer's disease, cytotoxic activity The aim of the diploma thesis was an isolation of alkaloids with a focus on minor fractions. These fractions were obtained from the summary alkaloid extract of Narcissus pseudonarcissus cv. Carlton. The method of preparative TLC was used for the isolation of alkaloids. Three substances of alkaloid origin marked as Fj 3-4/kr, F 7/2-1, F 7/2-3 were isolated from the assigned fractions. These substances were identified as alkaloids of homolycorine type lycorenine, homolycorine and hippeastrine by using GC-MS, NMR and optical rotation. The results were also compared with data in the literature. These three alkaloids were tested for their inhibitory activity against AChE, BuChE, POP and GSK-3β. The inhibitory activity against AChE and BuChE was compared with the reference substances galanthamine (IC50 AChE = 1,71 ± 0,07 μM, IC50 BuChE = 42,3 ± 1,3 μM) and huperzine A (IC50 AChE = 0,033 ± 0,001 μM, IC50 BuChE> 1000 μM). The inhibitory...
|
|
|
Application of Genetic Algorithms and Data Mining in Noise-based Testing of Concurrent Software
Šimková, Hana ; Kofroň, Jan (referee) ; Lourenco, Joao (referee) ; Vojnar, Tomáš (advisor)
Tato práce navrhuje zlepšení výkonu testování programů použitím technik dolování z dat a genetických algoritmů při testování paralelních programů. Paralelní programování se v posledních letech stává velmi populárním i přesto, že toto programování je mnohem náročnějsí než jednodušší sekvenční a proto jeho zvýšené používání vede k podstatně vyššímu počtu chyb. Tyto chyby se vyskytují v důsledku chyb v synchronizaci jednotlivých procesů programu. Nalezení takových chyb tradičním způsobem je složité a navíc opakované spouštění těchto testů ve stejném prostředí typicky vede pouze k prohledávání stejných prokládání. V práci se využívá metody vstřikování šumu, která vystresuje program tak, že se mohou objevit některá nová chování. Pro účinnost této metody je nutné zvolit vhodné heuristiky a též i hodnoty jejich parametrů, což není snadné. V práci se využívá metod dolování z dat, genetických algoritmů a jejich kombinace pro nalezení těchto heuristik a hodnot parametrů. V práci je vedle výsledků výzkumu uveden stručný přehled dalších Technik testování paralelních programů.
|
|
|
Automatic Regression Tests for SDK and CMSIS
Svoboda, Tomáš ; Šimková, Hana (referee) ; Crha, Adam (advisor)
In my bachelor thesis, I deal with design and description of implementation of automatic regression tests for SDK and CMSIS software packages using the continuous integration system Atlassian Bamboo. The goal was to create a set of tests over IDE interfaces MCUXpresso, IAR Workbench, uVision. Furthermore, to compare file structures and files between new and previous versions of software packages. An essential part of my work is also a theoretical basis concerning the algorithm and comparison of XML files and his modifications. For visualizing large amounts of data from the regression test output, it was necessary to create a clear interface.
|
guest ::
RSS feed.