Generátor změn obrazu burzy

作     者：Cienciala, Ondřej 

作者单位：Brno University of Technology 

授予年度：1000年

主      题：generátor změn obrazu burzy NYSE Arca ISE funkční verifikace náhodné vstupní vektory verifikace řízená pokrytím exchange updates generator NYSE Arca ISE functional verification constrained-random messages coverage-driven verification Text 

摘      要：Tento 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.