Detail publikace

Program Generation Through a Probabilistic Constrained Grammar

ČEKAN Ondřej, PODIVÍNSKÝ Jakub a KOTÁSEK Zdeněk. Program Generation Through a Probabilistic Constrained Grammar. In: Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018. Praha: IEEE Computer Society, 2018, s. 214-220. ISBN 978-1-5386-7376-8.
Název česky
Generování programu pomocí pravděpodobnostní omezené gramatiky
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt

Tento příspěvek představuje pravděpodobnostní omezenou gramatiku, která je navržena pro použití v oblasti generování testovacích stimulů. Tato gramatika rozšiřuje existující pravděpodobnostní bezkontextovou gramatiku o omezující podmínky. Stimuly získané touto gramatikou jsou použity ve funkční verifikaci procesoru a je vyhodnoceno získané pokrytí klíčových funkcí. V příspěvku je detailně popsána konstrukce assemblerovského programu, který představuje požadovaný testovací stimul pro vybraný procesor. Experimenty ukazují vyjadřovací sílu pravděpodobností omezené gramatiky, získané pokrytí ve funkční verifikaci procesoru a vhodnost tohoto přístupu v oblasti generování testovacích stimulů.

Rok
2018
Strany
214-220
Sborník
Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018
Konference
21st Euromicro Conference on Digital Systems Design, FIT ČVUT, Thákurova 9, 160 00 Praha 6, CZ
ISBN
978-1-5386-7376-8
Vydavatel
IEEE Computer Society
Místo
Praha, CZ
DOI
UT WoS
000537466600033
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11709,
   author = "Ond\v{r}ej \v{C}ekan and Jakub Podiv\'{i}nsk\'{y} and Zden\v{e}k Kot\'{a}sek",
   title = "Program Generation Through a Probabilistic Constrained Grammar",
   pages = "214--220",
   booktitle = "Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018",
   year = 2018,
   location = "Praha, CZ",
   publisher = "IEEE Computer Society",
   ISBN = "978-1-5386-7376-8",
   doi = "10.1109/DSD.2018.00049",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11709"
}
Nahoru