Generátor změn obrazu burzy

Simple item page
but.committeeprof. Ing. Miroslav Švéda, CSc. (předseda) doc. Dr. Ing. Petr Hanáček (místopředseda) Ing. Vítězslav Beran, Ph.D. (člen) Ing. Michal Bidlo, Ph.D. (člen) Ing. Bohuslav Křena, Ph.D. (člen)cs
but.defenceStudent 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. Student následně odpověděl na otázku 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 " B ". Otázky u obhajoby: Ilustrujte obrázkem, jak vypadá stavový prostor možných zpráv pro burzu, na kterou je zaměřena šablona na straně 15 a jak vypadá stavový prostor, který je omezen touto šablonou. Vysvětlete, jakým způsobem se tento stavový prostor pokrývá generovanými zprávami a jak se uplatňuje parametr -cover_all.cs
but.jazykčeština (Czech)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorDvořák, Milancs
dc.contributor.authorCienciala, Ondřejcs
dc.contributor.refereeZachariášová, Marcelacs
dc.date.accessioned2019-06-14T10:52:18Z
dc.date.available2019-06-14T10:52:18Z
dc.date.created2014cs
dc.description.abstractTento dokument analyzuje zprávy zasílané burzami NYSE Arca a ISE a popisuje návrh generátoru, který generuje zprávy měnící obraz burzy. Lze ho využít pro testování programů, které pracují s informacemi zasílanými elektronickými burzami. Jsou popsány techniky verifikace řízené pokrytím a generování náhodných vstupních vektorů. Generování zpráv je založeno na XML šabloně, díky čemuž může být generátor použit pro různé burzy.cs
dc.description.abstractThis thesis analyses messages that come from NYSE Arca and ISE exchanges and provides a description of design of stock exchange updates generator which is capable of generating constrained-random messages. It can be used for testing software that handles messages from an electronic stock exchange. Techniques of coverage-driven verification and constrained-random stimulus generation are discussed. Message generation is based on XML template and because of that the generator can be adjusted for various exchanges.en
dc.description.markBcs
dc.identifier.citationCIENCIALA, O. Generátor změn obrazu burzy [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2014.cs
dc.identifier.other88550cs
dc.identifier.urihttp://hdl.handle.net/11012/56411
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectgenerátor změn obrazu burzycs
dc.subjectNYSE Arcacs
dc.subjectISEcs
dc.subjectfunkční verifikacecs
dc.subjectnáhodné vstupní vektorycs
dc.subjectverifikace řízená pokrytímcs
dc.subjectexchange updates generatoren
dc.subjectNYSE Arcaen
dc.subjectISEen
dc.subjectfunctional verificationen
dc.subjectconstrained-random messagesen
dc.subjectcoverage-driven verificationen
dc.titleGenerátor změn obrazu burzycs
dc.title.alternativeOrder Book Updates Generatoren
dc.typeTextcs
dc.type.driverbachelorThesisen
dc.type.evskpbakalářská prácecs
dcterms.dateAccepted2014-08-26cs
dcterms.modified2020-05-10-16:11:55cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid88550en
sync.item.dbtypeZPen
sync.item.insts2021.11.12 22:58:53en
sync.item.modts2021.11.12 22:41:13en
thesis.disciplineInformační technologiecs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémůcs
thesis.levelBakalářskýcs
thesis.nameBc.cs
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
final-thesis.pdf
Size:
661.26 KB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Download
Thumbnail Image
Name:
review_88550.html
Size:
1.44 KB
Format:
Hypertext Markup Language
Description:
review_88550.html
Download
Collections
2014