Detail publikace

Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software

KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software. Lecture Notes in Computer Science, roč. 2012, č. 7186, s. 177-192. ISSN 0302-9743. Dostupné z: http://www.springerlink.com/content/084w5489p9556775/
Název anglicky
Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software
Typ
článek v časopise
Jazyk
čeština
Autoři
URL
Abstrakt

Metriky pokrytí hrají klíčovou úlohy při testování programů. Umožňují měřit, jak dobře byl program testován, a řídit proces testování. Několik metrik pro testování vícevláknových programů již existuje, ale většina z nich plně nereflektuje chování vícevláknových programů nebo jsou příliš náročné. V tomto článku navrhujeme několik nových metrik, které jsou vhodné pro saturační testování a testování založené na prohledávání prostoru. Od předchozích metrik se liší zejména tím, že jsou odvozeny od různých dynamických algoritmů pro detekci chyb v synchronizaci. Způsob odvození metrik je obecný a lze tak vytvořit další metriky z jiných algoritmů pro detekci chyb. Naší motivací byl fakt, že do vývoje detekčních technik bylo vloženo značné úsilí, a současné techniky tak velmi přesně identifikují místa a operace klíčové pro popis chování vícevláknových aplikací. Odvozené metriky byly dále zpřesněny pomocí abstraktních identifikátorů objektů a vláken. Naše metriky byly empiricky porovnány s vybranými již existujícími metrikami.

Rok
2012
Strany
177-192
Časopis
Lecture Notes in Computer Science, roč. 2012, č. 7186, ISSN 0302-9743
Vydavatel
Springer Verlag
BibTeX
@ARTICLE{FITPUB9552,
   author = "Bohuslav K\v{r}ena and Zden\v{e}k Letko and Tom\'{a}\v{s} Vojnar",
   title = "Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software",
   pages = "177--192",
   journal = "Lecture Notes in Computer Science",
   volume = 2012,
   number = 7186,
   year = 2012,
   ISSN = "0302-9743",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/9552"
}
Soubory
Nahoru