Zpět na vyhledávání

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 …more
Abstract:
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
 

Keywords

statická analýza statistická analýza hledání chyb Stanse C zámky odvození pravidel
 
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.

Citation record

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution