Test Input Generation for Java Containers using State Matching

• 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
• 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