A Probabilistic Context-Free Grammar Based Random Test Program Generation

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F17%3APU126409" target="_blank" >RIV/00216305:26230/17:PU126409 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.fit.vutbr.cz/research/pubs/all.php?id=11426" target="_blank" >http://www.fit.vutbr.cz/research/pubs/all.php?id=11426</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/DSD.2017.26" target="_blank" >10.1109/DSD.2017.26</a>

Jazyk výsledku

angličtina

Název v původním jazyce

A Probabilistic Context-Free Grammar Based Random Test Program Generation

Popis výsledku v původním jazyce

The aim of this paper is to show the use of a probabilistic context-free grammar in the domain of stimulus generation, especially random test program generation for processors. Nowadays, the randomly constructed test stimuli are largely applied in functional verification to verify the proper design and final implementation of systems. Context-free grammar cannot be used by itself in this case, because conditions for instructions of the program are changing during the generation. Therefore, there is a need to introduce additional logic in the form of constraints. Constraints guarantee the continuous changes of probabilities in the grammar and their application in order to preserve the validity of the program. The use of the grammar system provides a formal description of the stimuli, while the connection with constraints allows for the wide use in various systems. Experiments demonstrate that this approach is competitive with a conventional approach.

Název v anglickém jazyce

A Probabilistic Context-Free Grammar Based Random Test Program Generation

Popis výsledku anglicky

The aim of this paper is to show the use of a probabilistic context-free grammar in the domain of stimulus generation, especially random test program generation for processors. Nowadays, the randomly constructed test stimuli are largely applied in functional verification to verify the proper design and final implementation of systems. Context-free grammar cannot be used by itself in this case, because conditions for instructions of the program are changing during the generation. Therefore, there is a need to introduce additional logic in the form of constraints. Constraints guarantee the continuous changes of probabilities in the grammar and their application in order to preserve the validity of the program. The use of the grammar system provides a formal description of the stimuli, while the connection with constraints allows for the wide use in various systems. Experiments demonstrate that this approach is competitive with a conventional approach.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20206 - Computer hardware and architecture

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2017

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of 20th Euromicro Conference on Digital System Design

ISBN

978-1-5386-2146-2

ISSN

—

e-ISSN

—

Počet stran výsledku

4

Strana od-do

356-359

Název nakladatele

TU Vienna

Místo vydání

Vídeň

Místo konání akce

Vídeň

Datum konání akce

30. 8. 2017

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000427097100050