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
Čekan Ondřej, Ing., Ph.D. (UPSY FIT VUT)
Podivínský Jakub, Ing., Ph.D. (UPSY FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
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
10.1109/DSD.2018.00049
UT WoS
000537466600033
EID Scopus
2-s2.0-85056451477
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