A Probabilistic Context-Free Grammar Based Random Test Program Generation

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
A Probabilistic Context-Free Grammar Based Random Test Program Generation
Original language description
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.
Czech name
—
Czech description
—

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

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

Article name in the collection
Proceedings of 20th Euromicro Conference on Digital System Design
ISBN
978-1-5386-2146-2
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
356-359
Publisher name
TU Vienna
Place of publication
Vídeň
Event location
Vídeň
Event date
Aug 30, 2017
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000427097100050

Similar results(10)