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.
English title
Test stimuli generation
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 abstract

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.

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