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
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 27. 5. 2010
Identifikátor:
https://is.muni.cz/th/vnw1k/
Obhajoba závěrečné práce
- Obhajoba proběhla 30. 6. 2010
- Vedúci: doc. Mgr. Jan Obdržálek, PhD.
- Oponent: RNDr. Petr Švenda, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Information Systems
Práce na příbuzné téma
-
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á