Herramientas Personales
Usted está aquí: Inicio → Investigación → Grupos de Investigación → rfm → fajita → sseatws
 

FAJITA @ SSEATWS

FAJITA release for the Experimental Competition at SSEAT 2010

FAJITA is a SAT-based automatic tool for test input generation.  FAJITA is specially aimed at the generation of complex linked data structures
satisfying challenging invariants. The release of FAJITA for the SSEAT 2010 Competition expects Java files result of the conversion of ROOPS source files.

Download fajita.zip and unzip the archive file.

Running Fajita for LINUX

Usage: ./fajita.sh java-roops-src-dir benchmark_classname benchmark_methodname

Examples:

./fajita.sh roops-benchmark/ roops.core.objects.Objects EqualOrNot
./fajita.sh roops-benchmark/ roops.core.objects.NodeCachingLinkedList removeIndexTest
./fajita.sh roops-benchmark/ roops.core.objects.BinomialHeap extractMinTest

Running Fajita for WINDOWS

Usage: >fajita.bat java-roops-src-dir benchmark_classname benchmark_methodname

Example:

> fajita.bar c:\home\jdoe\roops roops.core.objects.Objects EqualOrNot

 

 

 

 

Acciones de Documento