Detail publikace

Generování testovacích stimulů

ČEKAN, O.

Originální název

Generování testovacích stimulů

Anglický název

Test stimuli generation

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

čeština

Originální 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.

Anglický abstrakt

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 v angličtině

verification generation stimuli assembly program software-implemented fault tolerance maze

Autoři

ČEKAN, O.

Vydáno

14. 9. 2016

Nakladatel

Fakulta informačních technologií VUT v Brně

Místo

Bořetice - Kraví Hora

ISBN

978-80-214-5376-0

Kniha

Počítačové architektury a diagnostika PAD 2016

Strany od

97

Strany do

100

Strany počet

4

URL

http://www.fit.vutbr.cz/events/pad2016/download/sbornik_pad_2016.pdf

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"
}