Kontrola programu založená na sledování systémových volání
| but.committee | prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Ing. Zdeněk Kotásek, CSc. (místopředseda) Ing. Radek Kočí, Ph.D. (člen) Ing. Šárka Květoňová, Ph.D. (člen) Ing. Petr Matoušek, Ph.D., M.A. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm velmi dobře (B). Otázky u obhajoby: Na jakých systémech byla vaše aplikace testována? Otázka směřuje k tomu, zda se může na různých systémech lišit výstup aplikce strace a zda je váš systém schopen se s tím vyrovnat. Na s. 13 píšete, že byl sledovaný běh celého operačního systému? Pokud ano, jakým způsobem jste toho docílil? Na s. 22 uvádite, že používáte čas vykonání systémového volání pro identifikaci příslušného volání. Současně je možné, že více volání je vykonáno v témže čase a vy jste toto musel řešit. Otázka zní, jak (není v práci uvedeno)? Na s. 22 uvádíte, že jste odstranil parametry u volání s proměnným počtem argumentů. Uvažoval jste o využití seznamů? Proč jste se rozhodl pro ProLog? | 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 | Smrčka, Aleš | cs |
| dc.contributor.author | Prvák, Tomáš | cs |
| dc.contributor.referee | Kočí, Radek | cs |
| dc.date.accessioned | 2019-04-04T05:19:30Z | |
| dc.date.available | 2019-04-04T05:19:30Z | |
| dc.date.created | 2010 | cs |
| dc.description.abstract | Táto práce se zabývá problematikou analýzy systémových volaní v operačním systému Linux a jejím použitím na ověření validity programů. Dozvíme se o principu na jakém fungují systémová volání, a také bude zmíněn nástroj strace, pomocí kterého je možné tyto volání sledovat a blíže se podíváme jak jednotlivé linuxové grafické prostředí využívají systémová volání. Bude navrhnut a implementován nástroj pro ověření validity programů. Na závěr se obeznámíme se způsobem, jak vytvořit pro tento nástroj pravidla, které rozšíří jeho možnosti. | cs |
| dc.description.abstract | This work deals with the analysis of system calls in Linux and how they can be used to verify the validity of the programs. We learn about the principle how system calls works, we will discuss the strace tool, through which one can monitor these calls, and we also make a closer look at how the different Linux graphical environments use system calls. A design and the implementation of o tool for checking the corretness of a program will be presented.The work also discuss the way how to extend the tool with the user defined correctness rules. | en |
| dc.description.mark | B | cs |
| dc.identifier.citation | PRVÁK, T. Kontrola programu založená na sledování systémových volání [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2010. | cs |
| dc.identifier.other | 34661 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/56149 | |
| 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 | softwarové testování | cs |
| dc.subject | opakovaná analýza | cs |
| dc.subject | grey-box testování | cs |
| dc.subject | systémové volání. | cs |
| dc.subject | software testing | en |
| dc.subject | repeated analysis | en |
| dc.subject | grey-box testing | en |
| dc.subject | system calls. | en |
| dc.title | Kontrola programu založená na sledování systémových volání | cs |
| dc.title.alternative | Program Testing via System Call Monitoring | en |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2010-06-15 | cs |
| dcterms.modified | 2020-05-09-23:41:28 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 34661 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2021.11.12 19:58:54 | en |
| sync.item.modts | 2021.11.12 18:54:11 | 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 |