Department of Computer Systems

Conference paper

ČEKAN Ondřej and KOTÁSEK Zdeněk. Random Test Stimuli Generation Based on a Probabilistic Grammar. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2017, pp. 43-44. ISBN 978-80-01-06178-7.
Publication language:english
Original title:Random Test Stimuli Generation Based on a Probabilistic Grammar
Title (cs):Náhodné generování testovacích stimulů založené na pravděpodobnostní gramatice
Pages:43-44
Proceedings:Proceedings of the 5th Prague Embedded Systems Workshop
Conference:The 5th Prague Embedded Systems Workshop
Place:Roztoky u Prahy, CZ
Year:2017
ISBN:978-80-01-06178-7
Publisher:Faculty of Information Technology, Czech Technical University
Files: 
Keywords
stimuli generation
probabilistic context-free grammar
constraints
Annotation
In our research, we are focusing on universal test stimuli generation for any system. Under the concept of stimulus generation we understand generating randomly constructed input test data that determine the behavior of the system. In the case of a processor, the input stimulus is a program which determines its computing operation. In the case of a robot controller, input stimulus is a maze that the robot goes through. This random stimulus creates new circumstances which the system must solve. The architecture of the universal stimuli generation which we have defined is based on two input structures (Format and Constrains) that describe a test stimulus.
BibTeX:
@INPROCEEDINGS{
   author = {Ond{\v{r}}ej {\v{C}}ekan and Zden{\v{e}}k Kot{\'{a}}sek},
   title = {Random Test Stimuli Generation Based on a Probabilistic
	Grammar},
   pages = {43--44},
   booktitle = {Proceedings of the 5th Prague Embedded Systems Workshop},
   year = {2017},
   location = {Roztoky u Prahy, CZ},
   publisher = {Faculty of Information Technology, Czech Technical
	University},
   ISBN = {978-80-01-06178-7},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=11465}
}

Your IPv4 address: 54.80.115.140
Switch to IPv6 connection

DNSSEC [dnssec]