add batch-mode script

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/114.mp3 b/Robust/src/Benchmarks/SSJava/MP3Decoder/114.mp3
new file mode 100755 (executable)
index 0000000..a4734b9
Binary files /dev/null and b/Robust/src/Benchmarks/SSJava/MP3Decoder/114.mp3 differ

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java b/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java
index 965c70362a71059f6e2943beb2348585937e6f2b..568a249aff836c3d95e078b86000f660ece2005e 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/Player.java
@@ -206,8 +206,8 @@ public class Player {
       // @LOC("O") SampleBuffer output = (SampleBuffer) decoder.decodeFrame(h);\r
       decoder.decodeFrame(h);\r
 \r
-      DEBUG_OUTPUT_CHECKSUM();\r
-      // DEBUG_OUTPUT();\r
+     // DEBUG_OUTPUT_CHECKSUM();\r
+       DEBUG_OUTPUT();\r
       // synchronized (this)\r
       // {\r
       // out = audio;\r

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile b/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
index 83adb837424f58eea83e235ccc6d04bc188fb63b..3f7f58bd6afaffe68013e782414c4d80d145c269 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
@@ -12,7 +12,7 @@ RANDOMSEED=12345
 endif
 
 SSJAVA= -ssjava -ssjavadebug
-BSFLAGS= -32bit -mainclass $(PROGRAM)  -heapsize-mb 1000  -nooptimize -debug -garbagestats #-printlinenum #-joptimize
+BSFLAGS= -32bit -mainclass $(PROGRAM)  -heapsize-mb 1350  -nooptimize -debug -garbagestats #-printlinenum #-joptimize
 NORMAL= -ssjava-inject-error 0 0
 INJECT_ERROR= -ssjava-inject-error $(INV_ERROR_PROB) $(RANDOMSEED)
 

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/run-batch-mode.sh b/Robust/src/Benchmarks/SSJava/MP3Decoder/run-batch-mode.sh
new file mode 100755 (executable)
index 0000000..59e8954
--- /dev/null
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/run-batch-mode.sh
@@ -0,0 +1,46 @@
+#!/bin/bash
+trycommand () {
+  $1
+  if [[ ! $? ]] ; then
+    echo "FAILED: $1"
+    exit
+  fi  
+}
+
+F=114.mp3
+H=errinj-history.txt
+D=errinj-diff.tmp
+X=errinj-diff-ranges.tmp
+T=errinj-range.tmp
+
+trycommand "rm $H"
+
+for (( i=0;i<100;i++))
+do
+  echo 'idx' $i >> $H
+  trycommand "rm $X"
+  echo "### make normal"
+  trycommand "make normal"
+  trycommand "make cleanerror"
+  echo "### make error"
+  trycommand "make error INV_ERROR_PROB=10000000 RANDOMSEED=90$i"
+  echo "### run normal"
+  trycommand "run-normal.sh $F"
+  echo "### run error"
+  trycommand "run-error-batchmode.sh $F $H"
+  diff normal.txt error.txt > $D
+  sed \
+  -e '/^[^0-9]/ d' \
+  -e  's/\(.*\),\(.*\)c.*/\1/' \
+  -e  's/\(.*\)c.*/\1/' \
+  -e  's/\(.*\)a.*/\1/' \
+  $D >> $X
+  if [[ -s $D ]] ; then
+    awk 'NR==1;END{print}' $X > $T
+    awk 'NR==1{s=$0;getline;e=$0;if(s==e) print "NO DIFF";else print s"\n"e}' $T >> $H
+  else
+    echo 'NO DIFF' >> $H
+  fi
+done
+
+

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/run-error-batchmode.sh b/Robust/src/Benchmarks/SSJava/MP3Decoder/run-error-batchmode.sh
new file mode 100755 (executable)
index 0000000..79041c4
--- /dev/null
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/run-error-batchmode.sh
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+if [[ -z $1 ]] ; then
+  echo 'Please supply an mp3 file name.'
+  exit
+fi
+
+MP3Playere.bin $1 > error.txt
+
+grep "SSJAVA: Injecting error" error.txt
+
+awk '{if($1=="SSJAVA:" && $2=="Injecting"){print "inj",x};{x=$1} }' error.txt >> $2 
+
+X=converterTempFile
+
+sed -e '/^SSJAVA:/ d' -e '1,/+++/ d' error.txt > $X  
+
+mv $X error.txt