Detail publikace

Solving of Constraint Satisfaction Problem

ČEKAN, O.; ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z. Solving of Constraint Satisfaction Problem. Proceedings of the 20th Conference STUDENT EEICT 2014. Volume 3. Brno: Faculty of Information Technology BUT, 2014. p. 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
anglicky
Autoři
Čekan Ondřej, Ing., Ph.D. (UFYZ)
Zachariášová Marcela, Ing., Ph.D. (UPSY)
Kotásek Zdeněk, doc. Ing., CSc.
URL
Klíčová slova

Constraint solver, Constraint Satisfaction Problem, Coverage Directed Test Generation

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
ISBN
978-80-214-4924-4
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@inproceedings{BUT111584,
  author="Ondřej {Čekan} and Marcela {Zachariášová} and Zdeněk {Kotásek}",
  title="Solving of Constraint Satisfaction Problem",
  booktitle="Proceedings of the 20th Conference STUDENT EEICT 2014",
  year="2014",
  series="Volume 3",
  pages="291--295",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  isbn="978-80-214-4924-4",
  url="http://www.feec.vutbr.cz/EEICT/2014/sbornik/03doktorskeprojekty/10pocitacovesystemy/02-xcekan00@stud.fit.vutbr.cz.pdf"
}
Nahoru