COMET - Benchmarks

Benchmarks > Requires

Because the artifacts are automatically packed when you download the benchmarks, it might take some time for the download dialog to appear.

Requires

Author:	Si Huang
Last Updated:	April 29, 2010, 14:21:08, CDT
Language:	Java
Size:	3 Events, 25 LOC
Versions:	1

This benchmark was used for experiments on GUI test suite repair. The subject in this benchmark is a GUI program with three buttons (Events). This program does not have any real functionality, other than to include a "requires" event constraint. The Event 3 button is disabled at startup. The user must click on Event 2 to enable Event 3. Once enabled, Event 3 is enabled for the rest of the program's execution. This benchmark was developed by the E2 lab at UNL.

Application

application/SimpleFrameReqs.java

Environment

Operating system: Linux 2.6.18 (Fedora Core)

JDK (with JRE): Java 1.6 update 16

GUI environment: X virtual framebuffer (Xvfb)

Tools

GUITAR ripper: http://www.cs.umd.edu/~atif/Benchmarks/common/JavaGUIReplayer2.zip

GUITAR replayer: http://guitar.svn.sourceforge.net/viewvc/guitar/GUITestRunner/tags/v1.1/

Covering array generator: http://www.cse.unl.edu/citportal/tools/casa/

Models

Event-flow graph (EFG): models/SimpleFrameReqs.efg

GUI structure: models/SimpleFrameReqs.gui

Test Suites

Initial test cases (before repair): testsuites/initial.zip

Final test cases (after repair): testsuites/final.zip

Execution Matrices

Initial coverage (before repair): testsuites/initialexemat.zip

Final coverage (after repair): testsuites/finalexemat.zip

BibTeX for Reference

bibtex/huang.cohen.memon.icst10.bib