Automatická tvorba testovacích případů z datových toků
but.committee | prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Ing. Lukáš Burget, Ph.D. (místopředseda) Ing. Vladimír Bartík, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen) Ing. Josef Strnadel, Ph.D. (člen) | cs |
but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Oponent hodnotil práci stupněm 4F, protože student nesplnil body 1 a 4 zadání. Student nedokázal vyvrátit výtky oponenta. Komise shledala nedostatky práce natolik závažné, že se práci rozhodla hodnotit jako nevyhovující. Otázky u obhajoby: Bylo by možné (a pokud ano, tak jak) rozšířit Váš přístup pro jiné front-endy LLVM frameworku (např. pro Javu)? Diskutujte možné využití Vašeho nástroje/přístupu v dalších oblastech analýzy programů, např. pro hledání chyb apod. | cs |
but.jazyk | čeština (Czech) | |
but.program | Informační technologie | cs |
but.result | práce nebyla úspěšně obhájena | cs |
dc.contributor.advisor | Smrčka, Aleš | cs |
dc.contributor.author | Kraut, Daniel | cs |
dc.contributor.referee | Fiedor, Tomáš | cs |
dc.date.accessioned | 2020-05-11T03:06:58Z | |
dc.date.available | 2020-05-11T03:06:58Z | |
dc.date.created | 2016 | cs |
dc.description.abstract | Tato práce se zabývá automatickou tvorbou testovacích případů na úrovni jednotkového testování, pro zdrojové texty v jazyce C. K dosažení automatizace jsou použity metody přístupu k software jako k datovým tokům proměnných. Je zde nastíněn náhled na průběh tvorby testů a funkci CSP solverů, které jsou nezbytnou částí pro rozhodnutelnost těhto problémů. Statická analýza kódu je umožněna knihovnou LibTooling v projektu překladačového front-endu Clang. Jsou uvedeny výstupy z aplikace, jimiž jsou automaticky vytvořené vstupní hodnoty pro testovací případy. | cs |
dc.description.abstract | This thesis deals with automatic generation of test cases on Unit testing level for source codes in C language. In order to achieve automatization are used methods of approach to software as a Data-flow of variables. There is outlined a process of creating tests here as well as a function of CSP solvers which are necessary part of solving this problems. Static code analysis is accessed with LibTooling libraring as part of a compiler front-end project Clang. Output of a developed application are provided here which is automatically generated input values for test cases. | en |
dc.description.mark | C | cs |
dc.identifier.citation | KRAUT, D. Automatická tvorba testovacích případů z datových toků [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2016. | cs |
dc.identifier.other | 128064 | cs |
dc.identifier.uri | http://hdl.handle.net/11012/187205 | |
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 | testování | cs |
dc.subject | statická analýza | cs |
dc.subject | automatizace | cs |
dc.subject | Clang | cs |
dc.subject | CSP | cs |
dc.subject | Gecode | cs |
dc.subject | jazyk C | cs |
dc.subject | testing | en |
dc.subject | static analysis | en |
dc.subject | automatization | en |
dc.subject | Clang | en |
dc.subject | CSP | en |
dc.subject | Gecode | en |
dc.subject | C language | en |
dc.title | Automatická tvorba testovacích případů z datových toků | cs |
dc.title.alternative | Automatic Generation of Test Cases from Data-Flow | en |
dc.type | Text | cs |
dc.type.driver | bachelorThesis | en |
dc.type.evskp | bakalářská práce | cs |
dcterms.dateAccepted | 2016-06-14 | cs |
dcterms.modified | 2020-05-10-16:12:51 | cs |
eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
sync.item.dbid | 128064 | en |
sync.item.dbtype | ZP | en |
sync.item.insts | 2021.11.22 22:59:11 | en |
sync.item.modts | 2021.11.22 22:07:37 | 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 |
Files
Original bundle
1 - 4 of 4
Loading...
- Name:
- final-thesis.pdf
- Size:
- 555.12 KB
- Format:
- Adobe Portable Document Format
- Description:
- final-thesis.pdf
Loading...
- Name:
- Posudek-Vedouci prace-18777_v.pdf
- Size:
- 85.39 KB
- Format:
- Adobe Portable Document Format
- Description:
- Posudek-Vedouci prace-18777_v.pdf
Loading...
- Name:
- Posudek-Oponent prace-18777_o.pdf
- Size:
- 90.58 KB
- Format:
- Adobe Portable Document Format
- Description:
- Posudek-Oponent prace-18777_o.pdf
Loading...
- Name:
- review_128064.html
- Size:
- 1.45 KB
- Format:
- Hypertext Markup Language
- Description:
- review_128064.html