Detail výsledku

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.
Název anglicky
Test stimuli generation
Typ
článek ve sborníku konference
Jazyk
česky
Autoři
Čekan Ondřej, Ing., Ph.D., UPSY (FIT)
Abstrakt

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.

Abstrakt anglicky

The aim of this paper is to present the stimuli generator which is based on two input structures. These structures describe desired format and conditions for stimuli. In the paper, assembly program generation for processors, software-implemented fault tolerance generation and mage generation are presented. Examples of the use are also included. Finally, the paper describes the main goals and future research.

Klíčová slova anglicky

verification
generation
stimuli
assembly program
software-implemented fault tolerance
maze

URL
Rok
2016
Strany
97–100
Sborník
Počítačové architektury a diagnostika PAD 2016
Konference
Počítačové architektury a diagnostika 2016
ISBN
978-80-214-5376-0
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
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"
}
Projekty
Algoritmy, metody návrhu a platforma pro many-core zpracování obrazu a videa s velkou propustností a malou spotřebou energie, MŠMT, Společné technologické iniciativy, 7H14002, zahájení: 2014-04-01, ukončení: 2017-06-30, ukončen
Architektury paralelních a vestavěných počítačových systémů, VUT, Vnitřní projekty VUT, FIT-S-14-2297, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina Spolehlivé číslicové systémy (VZ DEPSYS)
Pracoviště
Ústav počítačových systémů (UPSY)
Nahoru