Getting startedRunning stgExecuting the test



Executing the test

The test program is generated in Java and the easiest way to run the test is to gather all is needed in a specific directory.
A Sjava compiler and run time is required as well as the interface to the LUCKYsolver.
Then, generic and specific java files will be copied in the directory.
The commands are listed below.

setenv BACKEND $(STG_HOME)/backend_sjava

# create a directory to gather all is needed and go to it.
cd $(BACKEND)/EssaiTri
setenv JDK_HOME ...
set path=($JDK_HOME/bin $path)

setenv CLASSPATH $(BACKEND)/sjava/lib/sjavaEnv.jar:$(BACKEND)/sjava/bin/sjavac.jar:$(BACKEND)/solveur/:.
setenv LD_LIBRARY_PATH $(BACKEND)/solveur/

# copying generic files
cp ../fichiersjavaainclure/*.java .

# copying specific files: TestDrive.sjava, ImpManager.sjava and triangleTest.sjava
cp ../fichiersjavageneres/triangle/*.java .

# copying the implementation program
cp ../EssaiTriangle/ .

# compiling everything ...
../sjava/bin/sjavac -label *sjava

# running the test 
java TestDrive

The test case execution is run in parallel with the implementation under test(IUT) under the control of the test execution driver. A constraint solver is used for the choice of values parameters in inputs of the IUT and evaluation of assignments. Two different execution traces are listed: the first one shows a scalene triangle and the second one leads to a non triangle solution (the sum of two of the three integers is lower than the third one).

F Ployette, F-X Ponscarme, June 11, 2007

Getting startedRunning stgExecuting the testContentsIndex