Detail publikace

A Platform for Search-Based Testing of Concurrent Software

KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel a VOJNAR Tomáš. A Platform for Search-Based Testing of Concurrent Software. In: PADTAD '10. Proceedings of the 8th Workshop on Parallel and Distributed Systems. Trento: Association for Computing Machinery, 2010, s. 11. ISBN 978-1-60558-823-0.
Název česky
Platforma pro aplikaci technik prohledávání stavového prostoru na vícevláknový software
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Ur Shmuel (IBM)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

Č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.

Rok
2010
Strany
11
Sborník
PADTAD '10
Řada
Proceedings of the 8th Workshop on Parallel and Distributed Systems
Konference
PADTAD VIII – Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, Trento, IT
ISBN
978-1-60558-823-0
Vydavatel
Association for Computing Machinery
Místo
Trento, IT
BibTeX
@INPROCEEDINGS{FITPUB9275,
   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 = "https://www.fit.vut.cz/research/publication/9275"
}
Nahoru