Fakulta informačních technologií VUT v Brně

Detail publikace

A Platform for Search-Based Testing of Concurrent Software

KŘENA Bohuslav, LETKO Zdeněk, VOJNAR Tomáš a UR Shmuel. A Platform for Search-Based Testing of Concurrent Software. 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2010. ISBN 978-80-87342-10-7.
Název česky
Platforma pro aplikaci technik prohledávání stavového prostoru na vícevláknový software
Typ
abstrakt
Jazyk
angličtina
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Ur Shmuel (IBM)
Abstrakt
Abstrakt 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
1
Kniha
6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Konference
MEMICS'10 -- 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Mikulov, CZ
ISBN
978-80-87342-10-7
Vydavatel
Masarykova universita
Místo
Brno, CZ
Nahoru