Statická analýza Java programů
| but.committee | cs | |
| but.defence | cs | |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Křena, Bohuslav | cs |
| dc.contributor.author | Vyvial, Pavel | cs |
| dc.contributor.referee | Hýsek, Jiří | cs |
| dc.date.accessioned | 2018-10-29T16:02:22Z | |
| dc.date.available | 2018-10-29T16:02:22Z | |
| dc.date.created | 2008 | cs |
| dc.description.abstract | Projekt SHADOWS se zabývá vývojem software, který je schopen automaticky opravovat chyby v programech. Po každé opravě je třeba zjistit, zda opravná akce úspěšně odstranila chybu a nezanesla do kódu chybu novou, mnohem závažnější. Ve své bakalářské práci se zabývám právě takovýmto dokazováním korektni opravy kódu v konkurentních systémech. Některé z chyb v konkurentních systémech mohou být opraveny automatickým přidáním synchronizace. Při takovémto opravování chyb je potřeba zkontrolovat zda v uzamykané části neexistuje instrukce monitorenter, která by mohla představovat potenciální nebezpečí uváznutí. Dokazování korektnosti opravy je prováděno za pomocí Control Flow Graph analýzy nad Java byte-kódem. Prototyp k tomuto účelu využívá statickou analýzu zastoupenou nástrojem FindBugs. | cs |
| dc.description.abstract | The project SHADOWS has started research which is developing software for automatic bug healing. We work with self-healing software, which looks for concurrent bugs. If the~detection software finds a bug, the healing action will be performed. After every healing action, one would like to know whether this action has fixed the detected problem and, perhaps even more importantly, that it has not caused any other, possibly even more serious, problem. Therefore this paper describes a technique which gives the answer for this question after automatical healing. One can fix some concurent bugs by adding healing locks. One does healing assurance by searching monitorenter instruction and uses Control Flow Graph analysis over Java byte-code. The prototype uses static analysis (tool FindBugs) for this purpose. | en |
| dc.description.mark | C | cs |
| dc.identifier.citation | VYVIAL, P. Statická analýza Java programů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2008. | cs |
| dc.identifier.other | 25259 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/55529 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Standardní licenční smlouva - přístup k plnému textu bez omezení | cs |
| dc.subject | automatická oprava chyb | cs |
| dc.subject | formální analýza software | cs |
| dc.subject | FindBugs | cs |
| dc.subject | Java byte-kód | cs |
| dc.subject | statická analýza | cs |
| dc.subject | SHADOWS | cs |
| dc.subject | automatic bug healing | en |
| dc.subject | FindBugs | en |
| dc.subject | Java byte-code | en |
| dc.subject | software formal analysis | en |
| dc.subject | static analysis | en |
| dc.subject | SHADOWS | en |
| dc.title | Statická analýza Java programů | cs |
| dc.title.alternative | Static Analysis of Java Programs | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2008-06-12 | cs |
| dcterms.modified | 2020-05-09-23:40:44 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 25259 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2020.05.10 01:03:00 | en |
| sync.item.modts | 2020.05.10 00:43:35 | en |
| thesis.discipline | Informační technologie | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Bakalářský | cs |
| thesis.name | Bc. | cs |