Conference paper

ČEKAN Ondřej and KOTÁSEK Zdeněk. A Probabilistic Context-Free Grammar Based Random Test Program Generation. In: Proceedings of 20th Euromicro Conference on Digital System Design. Vídeň: TU Vienna, 2017, pp. 356-359. ISBN 978-1-5386-2146-2.
Publication language:english
Original title:A Probabilistic Context-Free Grammar Based Random Test Program Generation
Title (cs):Náhodné generování testovacích programů založené na pravděpodobnostní bezkontextové gramatice
Pages:356-359
Proceedings:Proceedings of 20th Euromicro Conference on Digital System Design
Conference:20th Euromicro Conference on Digital Systems Design
Place:Vídeň, AT
Year:2017
ISBN:978-1-5386-2146-2
Publisher:TU Vienna
Files: 
+Type Name Title Size Last modified
iconDSD2017.pdf167 KB2017-09-27 10:33:17
^ Select all
With selected:
Keywords
Probabilistic Context-Free Grammar, Random Test
Program Generation, Stimulus, Constraint
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Ond{\v{r}}ej {\v{C}}ekan and Zden{\v{e}}k Kot{\'{a}}sek},
   title = {A Probabilistic Context-Free Grammar Based Random Test
	Program Generation},
   pages = {356--359},
   booktitle = {Proceedings of 20th Euromicro Conference on Digital System
	Design},
   year = {2017},
   location = {V{\'{i}}de{\v{n}}, AT},
   publisher = {TU Vienna},
   ISBN = {978-1-5386-2146-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=11426}
}

Your IPv4 address: 54.81.79.128
Switch to IPv6 connection

DNSSEC [dnssec]