Detail publikace

Solving of Constraint Satisfaction Problem

ČEKAN Ondřej, ZACHARIÁŠOVÁ Marcela a KOTÁSEK Zdeněk. Solving of Constraint Satisfaction Problem. In: Proceedings of the 20th Conference STUDENT EEICT 2014. Volume 3. Brno: Fakulta informačních technologií VUT v Brně, 2014, s. 291-295. ISBN 978-80-214-4924-4.
Název česky
Řešení problému s omezujícími podmínkami
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Čekan Ondřej, Ing., Ph.D. (UPSY FIT VUT)
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT)
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT)
URL
Abstrakt

Cílem toho příspěvku je najít vhodný nástroj pro řešení "Coverage Directed Test Generation", což je jedna z technik funkční verifikace. Za tímto účelem jsou ve článku seskupeny informace ohledně problému s omezujícími podmínkami, který spočívá v nalezení řešení respektive přiřazení hodnot proměnným takovým způsobem, že toto přiřazení respektuje omezení kladená na tyto proměnné. Práce rovněž představuje vlastní řešení, jak začlenit generátor do procesu funkční verifikace.

Rok
2014
Strany
291-295
Sborník
Proceedings of the 20th Conference STUDENT EEICT 2014
Řada
Volume 3
Konference
Student EEICT 2014, Brno, CZ
ISBN
978-80-214-4924-4
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB10627,
   author = "Ond\v{r}ej \v{C}ekan and Marcela Zachari\'{a}\v{s}ov\'{a} and Zden\v{e}k Kot\'{a}sek",
   title = "Solving of Constraint Satisfaction Problem",
   pages = "291--295",
   booktitle = "Proceedings of the 20th Conference STUDENT EEICT 2014",
   series = "Volume 3",
   year = 2014,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   ISBN = "978-80-214-4924-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10627"
}
Nahoru