Detail publikace

A Platform for Search-Based Testing of Concurrent Software

KŘENA, B.; LETKO, Z.; UR, S.; VOJNAR, T. A Platform for Search-Based Testing of Concurrent Software. PADTAD '10. Proceedings of the 8th Workshop on Parallel and Distributed Systems. Trento: Association for Computing Machinery, 2010. p. 48-58. 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
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS)
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Ur Shmuel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

Verification, testing, search techniques, concurrent software.

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
48–58
Sborník
PADTAD '10
Řada
Proceedings of the 8th Workshop on Parallel and Distributed Systems
ISBN
978-1-60558-823-0
Vydavatel
Association for Computing Machinery
Místo
Trento
BibTeX 
@inproceedings{BUT34830,
  author="Bohuslav {Křena} and Zdeněk {Letko} and Shmuel {Ur} and Tomáš {Vojnar}",
  title="A Platform for Search-Based Testing of Concurrent Software",
  booktitle="PADTAD '10",
  year="2010",
  series="Proceedings of the 8th Workshop on Parallel and Distributed Systems",
  pages="48--58",
  publisher="Association for Computing Machinery",
  address="Trento",
  isbn="978-1-60558-823-0",
  url="http://www.fit.vutbr.cz/~iletko/pub/padtad10.pdf"
}
Nahoru