Test Input Generation for Java Containers using State Matching

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Generování testovacích vstupů pro kontejnery v Javě
Autoři	PELÁNEK Radek PASAREANU Corina VISSER Willem
Rok publikování	2006
Druh	Článek ve sborníku
Konference	International Symposium on International Symposium on Software Testing and Analysis
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	test input generation; java containers; state matching
Popis	Popularita objektově orientovaného programování vede k rozsáhlému užití kontejnerových knihoven. V této práci popisujeme techniky pro automatické generování testů kontejnerových knihoven v jazyku Java. Zkoumané techniky využívají metodu přiřazování stavů, aby se vyhly generování redundantních testů. Zkoumáme jak úplné, tak ztrátové techniky. Přístup byl implementován v nástroji Java PathFinder a techniky byly vyhodnoceny na čtyř kontejnerech.
Související projekty:	Techniky automatické verifikace a validace softwarových a hardwarových systémů Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy