Result Details

Generování testovacích stimulů

ČEKAN, O. Generování testovacích stimulů. Počítačové architektury a diagnostika PAD 2016. Bořetice - Kraví Hora: Fakulta informačních technologií VUT v Brně, 2016. s. 97-100. ISBN: 978-80-214-5376-0.
Type
conference paper
Language
Czech
Authors
Čekan Ondřej, Ing., Ph.D., DCSY (FIT)
Abstract

Tento článek popisuje jednotlivé kroky k dosažení stanovených cílů disertační práce a přehled výsledků dosažených za dobu studia.  Hlavní část práce je věnována generátoru testovacích stimulů,  který je založen na dvou vstupních strukturách popisujících formát  a omezení generovaných stimulů. V rámci práce je ukázáno generování assemblerovských programů pro procesory, generování softwarově implementované odolnosti proti poruchám a generování bludiště. Tyto případy představují různé oblasti v použití tohoto generátoru a v práci jsou řádně zadokumentovány včetně ukázek. Závěrem práce je představena budoucí práce.

English keywords

verification
generation
stimuli
assembly program
software-implemented fault tolerance
maze

URL
Published
2016
Pages
97–100
Proceedings
Počítačové architektury a diagnostika PAD 2016
Conference
Počítačové architektury a diagnostika 2016
ISBN
978-80-214-5376-0
Publisher
Fakulta informačních technologií VUT v Brně
Place
Bořetice - Kraví Hora
BibTeX 
@inproceedings{BUT130993,
  author="Ondřej {Čekan}",
  title="Generování testovacích stimulů",
  booktitle="Počítačové architektury a diagnostika PAD 2016",
  year="2016",
  pages="97--100",
  publisher="Fakulta informačních technologií VUT v Brně",
  address="Bořetice - Kraví Hora",
  isbn="978-80-214-5376-0",
  url="http://www.fit.vutbr.cz/events/pad2016/download/sbornik_pad_2016.pdf"
}
Projects
Algorithms, Design Methods, and Many-Core Execution Platform for Low-Power Massive Data-Rate Video and Image Processing, MŠMT, Společné technologické iniciativy, 7H14002, start: 2014-04-01, end: 2017-06-30, completed
Architektury paralelních a vestavěných počítačových systémů, BUT, Vnitřní projekty VUT, FIT-S-14-2297, start: 2014-01-01, end: 2016-12-31, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
Research groups
Dependable Digital Systems Research Group (RG DEPSYS)
Departments
Department of Computer Systems (DCSY)
Back to top