Automatizované metody hledání chyb v překladačích
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Vojnar, Tomáš | cs |
| dc.contributor.author | Müller, Petr | cs |
| dc.contributor.referee | Smrčka, Aleš | cs |
| dc.date.created | cs | |
| dc.description.abstract | Tato práce se zabývá aplikací metody fuzz testing k testování překladačů a interpretů. V první části pojednává o překladačích, optimalizacích a chybách typických pro optimalizující překladač. Analyzuje vhodnost metod statické a dynamické analýzy pro hledání těchto chyb a jako vhodnou navrhuje dynamickou metodu fuzz testování. V rámci práce byl implementován nástroj pro testování překladačů používající tuto metodu, který byl aplikován na několik případů, přičemž se podařilo nalézt sérii chyb v rozšířených překladačích, a to včetně např. GCC. | cs |
| dc.description.abstract | This thesis discusses an application of the fuzz testing method for testing compilers and interpreters. In the first part, it deals with compilers, optimizations, and bugs typical for an optimizing compiler. It analyzes applicability of static and dynamic analysis methods for searching such bugs and proposes dynamic fuzz testing as suitable for this task. A compiler testing tool suite using this method was implemented within this thesis and applied on several real compilers, including GCC, in which the tool revealed a series of bugs. | en |
| dc.description.mark | A | cs |
| dc.identifier.citation | MÜLLER, P. Automatizované metody hledání chyb v překladačích [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. . | cs |
| dc.identifier.other | 25444 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/55597 | |
| 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 | překladače | cs |
| dc.subject | testování | cs |
| dc.subject | generátor náhodných vět | cs |
| dc.subject | gramatiky | cs |
| dc.subject | Python | cs |
| dc.subject | jazyk C | cs |
| dc.subject | compilers | en |
| dc.subject | testing | en |
| dc.subject | random sentence generator | en |
| dc.subject | grammars | en |
| dc.subject | Python | en |
| dc.subject | C language | en |
| dc.title | Automatizované metody hledání chyb v překladačích | cs |
| dc.title.alternative | Automated Methods of Finding Bugs in Compilers | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.modified | 2020-05-09-23:40:58 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 25444 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.19 16:51:57 | en |
| sync.item.modts | 2025.01.17 11:21:55 | 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 |