Test generation through programming in UDITA

We present an approach for describing tests using non-deterministic test generation programs. To write such programs, we introduce UDITA, a Java-based language with non-deterministic choice operators and an interface for generating linked structures. We also describe new algorithms that generate con...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:2010 ACM/IEEE 32nd International Conference on Software Engineering Ročník 1; s. 225 - 234
Hlavní autori: Gligoric, Milos, Gvero, Tihomir, Jagannath, Vilas, Khurshid, Sarfraz, Kuncak, Viktor, Marinov, Darko
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: New York, NY, USA ACM 01.05.2010
IEEE
Edícia:ACM Conferences
Predmet:
automated testing
Computer bugs
Concrete
Data structures
Engines
Generators
Java
Java PathFinder
Pex
Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging
test filtering
test generation
test predicates
test programs
Testing
UDITA
test generation
Pex
test predicates
test programs
Java PathFinder
test filtering
UDITA
automated testing
ISBN:9781605587196, 1605587192
ISSN:0270-5257
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:We present an approach for describing tests using non-deterministic test generation programs. To write such programs, we introduce UDITA, a Java-based language with non-deterministic choice operators and an interface for generating linked structures. We also describe new algorithms that generate concrete tests by efficiently exploring the space of all executions of non-deterministic UDITA programs. We implemented our approach and incorporated it into the official, publicly available repository of Java PathFinder (JPF), a popular tool for verifying Java programs. We evaluate our technique by generating tests for data structures, refactoring engines, and JPF itself. Our experiments show that test generation using UDITA is faster and leads to test descriptions that are easier to write than in previous frameworks. Moreover, the novel execution mechanism of UDITA is essential for making test generation feasible. Using UDITA, we have discovered a number of bugs in Eclipse, NetBeans, Sun javac, and JPF.
ISBN:9781605587196
1605587192
ISSN:0270-5257
DOI:10.1145/1806799.1806835