Statistická analýza pro hledání chyb v programech – Bc. Radim Čebiš
Bc. Radim Čebiš
Master's thesis
Statistická analýza pro hledání chyb v programech
Statistic analysis for bug-finding
Abstract:
Práce se zabývá vyhledáváním chyb pomocí statistické analýzy, která je rozšířením statické analýzy. Část práce se věnuje automatickému vyhledávání chyb v programech, principům statistické analýzy a jejímu využití. Hlavní částí práce je implementace kontroloru, který bude detekovat chyby, kdy programátor nevyužívá zámků při práci se sdíleným zdrojem. Absence zámků je samotnou statickou analýzou těžko …moreAbstract:
This thesis is focused on bug finding using statistical analysis which is extension of static analysis. Part of the thesis is devoted to automatic bug finding, statistical analysis principles and statistical analysis usage. Main part of the thesis is about implementation of a checker which will be detecting places where locks are not used by a programmer even though they should be used on some specific …more
Language used: Czech
Date on which the thesis was submitted / produced: 27. 5. 2010
Identifier:
https://is.muni.cz/th/vnw1k/
Thesis defence
- Date of defence: 30. 6. 2010
- Supervisor: doc. Mgr. Jan Obdržálek, PhD.
- Reader: RNDr. Petr Švenda, Ph.D.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Information Systems
Theses on a related topic
-
Statistická analýza využití nových technologií ve výrobě chmele v České republice
Anna Nevelöšová -
Statistická analýza populací s negativně binomickým rozdělením
Lucie Doudová -
Statistická inference v analýze přežití s použitím R a Shiny aplikace
Veronika Horská -
Statická analýza kódu v souladu s požadavky normy EN 50128
Václav PRŮCHA -
C++ support for Stanse
Martin Vejnár -
Automatic Bug-finding Techniques for Large Software Projects
Jiří Slabý -
Hrady a zámky v turistickém regionu Východní Čechy. Návrh produktu pro žáky I. stupně základních škol
Hana Sonnková -
Hrady, zámky a tvrze na území dnešní Ostravy
Ivana Hrabovská