Test Input Generation for Java Containers using State Matching

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F06%3A00015369" target="_blank" >RIV/00216224:14330/06:00015369 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Test Input Generation for Java Containers using State Matching

Original language description

The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequately. We describe techniques for automated test input generation of Java container classes. Test inputs are sequences of method calls from the container interface. The techniques rely on state matching to avoid generation of redundant tests. Exhaustive techniques use model checking with explicit or symbolic execution to explore all the possible test sequences up to predefined input sizes. Lossy techniques rely on abstraction mappings to compute and store abstract versions of the concrete states; they explore under-approximations of all the possible test sequences. We have implemented the techniques on top of the Java PathFinder model checker and we evaluate them using four Java container classes. We compare state matching based techniques and random selection for generating test inputs, in terms of testing cover

Czech name

Generování testovacích vstupů pro kontejnery v Javě

Czech description

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.

Type

D - Article in proceedings

CEP classification

IN - Informatics

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2006

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

International Symposium on International Symposium on Software Testing and Analysis

ISBN

1-59593-263-1

ISSN

—

e-ISSN

—

Number of pages

11

Pages from-to

—

Publisher name

ACM

Place of publication

USA

Event location

Portland, Maine

Event date

Jan 1, 2006

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—