Článek ve sborníku konference

KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel a VOJNAR Tomáš. A Platform for Search-Based Testing of Concurrent Software. In: PADTAD '10. Trento: Association for Computing Machinery, 2010, s. 11. ISBN 978-1-60558-823-0.
Jazyk publikace:angličtina
Název publikace:A Platform for Search-Based Testing of Concurrent Software
Název (cs):Platforma pro aplikaci technik prohledávání stavového prostoru na vícevláknový software
Strany:11
Sborník:PADTAD '10
Konference:PADTAD VIII – Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Řada knih:Proceedings of the 8th Workshop on Parallel and Distributed Systems
Místo vydání:Trento, IT
Rok:2010
ISBN:978-1-60558-823-0
Vydavatel:Association for Computing Machinery
URL:http://www.fit.vutbr.cz/~iletko/pub/padtad10.pdf [PDF]
Klíčová slova
Verification, testing, search techniques, concurrent software.
Anotace
Článek popisuje obecnou volně dostupnou softwarovou platformu nazvanou SearchBestie (dále S'Bestie), kterou jsme navrhli pro experimentování s technikami prohledávání stavového prostoru zejména v kontextu testování softwaru. S využitím S'Bestie a nástroje ConTest od IBM jsme, zřejmě jako první, zkombinovali techniky prohledávání stavového prostoru s testováním vícevláknových programů. Na řadě experimentů je demonstrována užitečnost tohoto přístupu i použitelnost vlastní platformy S'Bestie.
BibTeX:
@INPROCEEDINGS{
   author = {Bohuslav K{\v{r}}ena and Zden{\v{e}}k Letko and
	Shmuel Ur and Tom{\'{a}}{\v{s}} Vojnar},
   title = {A Platform for Search-Based Testing of Concurrent
	Software},
   pages = 11,
   booktitle = {PADTAD '10},
   series = {Proceedings of the 8th Workshop on Parallel and Distributed
	Systems},
   year = 2010,
   location = {Trento, IT},
   publisher = {Association for Computing Machinery},
   ISBN = {978-1-60558-823-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9275}
}

Vaše IPv4 adresa: 3.227.233.6
Přepnout na https