Detail publikace

A Probabilistic Context-Free Grammar Based Random Test Program Generation

ČEKAN, O. KOTÁSEK, Z.

Originální název

A Probabilistic Context-Free Grammar Based Random Test Program Generation

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

Probabilistic Context-Free Grammar, Random Test Program Generation, Stimulus, Constraint

Autoři

ČEKAN, O.; KOTÁSEK, Z.

Vydáno

30. 8. 2017

Nakladatel

Technical University Wien

Místo

Vídeň

ISBN

978-1-5386-2145-5

Kniha

Proceedings of 20th Euromicro Conference on Digital System Design

Strany od

356

Strany do

359

Strany počet

4

URL

https://www.fit.vut.cz/research/publication/11426/

BibTex

@inproceedings{BUT144432,
  author="Ondřej {Čekan} and Zdeněk {Kotásek}",
  title="A Probabilistic Context-Free Grammar Based Random Test Program Generation",
  booktitle="Proceedings of 20th Euromicro Conference on Digital System Design",
  year="2017",
  pages="356--359",
  publisher="Technical University Wien",
  address="Vídeň",
  doi="10.1109/DSD.2017.26",
  isbn="978-1-5386-2145-5",
  url="https://www.fit.vut.cz/research/publication/11426/"
}

Dokumenty

DSD2017.pdf