Detail publikace

A Platform for Search-Based Testing of Concurrent Software

KŘENA, B.; LETKO, Z.; VOJNAR, T.; UR, S. A Platform for Search-Based Testing of Concurrent Software. 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2010. p. 208-208. 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
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS)
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Ur Shmuel
Klíčová slova

Verification, testing, search techniques, concurrent software.

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
208–208
Kniha
6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Konference
MEMICS'10 -- 6. Doktorský workshop o matematických a inženýrských metodách v informatice, Mikulov, CZ
ISBN
978-80-87342-10-7
Vydavatel
Masaryk University
Místo
Brno
BibTeX 
@misc{BUT192723,
  author="Bohuslav {Křena} and Zdeněk {Letko} and Tomáš {Vojnar} and Shmuel {Ur}",
  title="A Platform for Search-Based Testing of Concurrent Software",
  booktitle="6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2010",
  pages="208--208",
  publisher="Masaryk University",
  address="Brno",
  isbn="978-80-87342-10-7",
  note="abstract"
}
Nahoru