Ing. Zdeněk Letko, Ph.D.

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.
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: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
Místo vydání:Brno, CZ
Rok:2010
ISBN:978-80-87342-10-7
Vydavatel:Masarykova universita
Klíčová slova
Verification, testing, search techniques, concurrent software.
Anotace
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.

Vaše IPv4 adresa: 54.161.118.57