Generating Java unit tests with AI planning

Authors:
Eddie Dingels;Timothy Fraser;Alexander Quinn
Affiliations:
University of Maryland -- College Park, College Park, Maryland;University of Maryland -- College Park, College Park, Maryland;University of Maryland -- College Park, College Park, Maryland
Venue:
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
Year:
2007

Citing 9
Cited 1

Fast planning through planning graph analysis

Artificial Intelligence
Automated program flaw finding using simulated annealing

Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Using temporal logics to express search control knowledge for planning

Artificial Intelligence
Hierarchical GUI Test Case Generation Using Automated Planning

IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Test Case Generation as an AI Planning Problem

Automated Software Engineering
Generating Test Data with Enhanced Context-Free Grammars

IEEE Software
Bebop: A Symbolic Model Checker for Boolean Programs

Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Test input generation for java containers using state matching

Proceedings of the 2006 international symposium on Software testing and analysis
Feedback-Directed Random Test Generation

ICSE '07 Proceedings of the 29th international conference on Software Engineering

AIana: an AI planning system for test data generation

Proceedings of the 1st Workshop on Testing Object-Oriented Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Although several efforts have applied search-based approaches to the generation of unit tests, none have demonstrated that these approaches scale beyond small programs. Our experiment compares the ability of three general-purpose AI planners to generate unit tests for Java classes with varying sizes and semantics. Although the GraphPlan planner handled most of our test classes, none of our planners could handle them all. We suggest a number of alternate search-based approaches and conclude that further experiments are needed to evaluate them.