From bcf842381a42cabc2754a964a51fc7ac299b2739 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Fri, 13 Jan 2017 12:59:11 +0100
Subject: [PATCH] shell test convert binary
---
examples2/grammar/contextFree1-2.txt | 16 +--
examples2/grammar/contextFree1-3.txt | 16 +--
examples2/grammar/contextFree1-4.txt | 16 +--
examples2/grammar/contextFree1.txt | 14 +--
examples2/grammar/contextFree2.txt | 16 +--
tests.aconvert.sh | 145 +++++++++++++++++++++++++++
6 files changed, 184 insertions(+), 39 deletions(-)
create mode 100755 tests.aconvert.sh
diff --git a/examples2/grammar/contextFree1-2.txt b/examples2/grammar/contextFree1-2.txt
index 765d49052d..1efcafa9a4 100644
--- a/examples2/grammar/contextFree1-2.txt
+++ b/examples2/grammar/contextFree1-2.txt
@@ -1,10 +1,10 @@
CFG (
-{'S', 'A', 'B', 'C', 'X'},
-{'a', 'b', 'c', 'd', 'e'},
-{'S' -> 'C' 'd' 'e' 'S' 'e' | 'd' 'd' 'B' | 'c' 'A',
-'A' -> 'a' 'd' 'X' | 'b' 'b' 'X',
-'X' -> 'c' 'a' 'd' 'X' |,
-'B' -> 'b' 'a' 'C' 'd' |,
-'C' -> 'A' 'c' 'a' | 'a'
+{S, A, B, C, X},
+{a, b, c, d, e},
+{S -> C d e S e | d d B | c A,
+A -> a d X | b b X,
+X -> c a d X |,
+B -> b a C d |,
+C -> A c a | a
},
-'S')
+S)
diff --git a/examples2/grammar/contextFree1-3.txt b/examples2/grammar/contextFree1-3.txt
index a70e69adb8..eff4678ae2 100644
--- a/examples2/grammar/contextFree1-3.txt
+++ b/examples2/grammar/contextFree1-3.txt
@@ -1,10 +1,10 @@
CFG (
-{'S', 'A', 'B', 'C', 'X'},
-{'a', 'b', 'c', 'd', 'e'},
-{'S' -> 'C' 'd' 'e' 'S' 'e' | 'd' 'd' 'B' | 'c' 'A',
-'A' -> 'C' 'd' | 'b' 'b',
-'B' -> 'b' 'a' 'C' 'd' |,
-'C' -> 'b' 'b' 'c' 'a' 'X' | 'a' 'X',
-'X' -> 'd' 'c' 'a' 'X' |
+{S, A, B, C, X},
+{a, b, c, d, e},
+{S -> C d e S e | d d B | c A,
+A -> C d | b b,
+B -> b a C d |,
+C -> b b c a X | a X,
+X -> d c a X |
},
-'S')
+S)
diff --git a/examples2/grammar/contextFree1-4.txt b/examples2/grammar/contextFree1-4.txt
index 937ed0bfee..92e3f72de9 100644
--- a/examples2/grammar/contextFree1-4.txt
+++ b/examples2/grammar/contextFree1-4.txt
@@ -1,10 +1,10 @@
CFG (
-{'A', 'B', 'C', 'D', 'E'},
-{'a', 'b'},
-{'A' -> 'b' | 'A' 'B' | 'a',
-'B' -> 'A' 'C',
-'C' -> 'a' 'E' 'D',
-'D' -> 'a' | 'B' 'E',
-'E' -> 'B' 'A' | 'b' |
+{A, B, C, D, E},
+{a, b},
+{A -> b | A B | a,
+B -> A C,
+C -> a E D,
+D -> a | B E,
+E -> B A | b |
},
-'E')
+E)
diff --git a/examples2/grammar/contextFree1.txt b/examples2/grammar/contextFree1.txt
index c064eb650a..9d2951551f 100644
--- a/examples2/grammar/contextFree1.txt
+++ b/examples2/grammar/contextFree1.txt
@@ -1,9 +1,9 @@
CFG (
-{'S', 'A', 'B', 'C'},
-{'a', 'b', 'c', 'd', 'e'},
-{'S' -> 'C' 'd' 'e' 'S' 'e' | 'd' 'd' 'B' | 'c' 'A',
-'A' -> 'C' 'd' | 'b' 'b',
-'B' -> 'b' 'a' 'C' 'd' |,
-'C' -> 'A' 'c' 'a' | 'a'
+{S, A, B, C},
+{a, b, c, d, e},
+{S -> C d e S e | d d B | c A,
+A -> C d | b b,
+B -> b a C d |,
+C -> A c a | a
},
-'S')
+S)
diff --git a/examples2/grammar/contextFree2.txt b/examples2/grammar/contextFree2.txt
index 40a7787b86..f139c99dba 100644
--- a/examples2/grammar/contextFree2.txt
+++ b/examples2/grammar/contextFree2.txt
@@ -1,10 +1,10 @@
CFG (
-{'S', 'B', 'C', 'D', 'E'},
-{'a', 'b'},
-{'S' -> 'D' 'S' | 'a' | 'C' 'D',
-'C' -> 'D' 'a' 'B' | 'b',
-'B' -> 'S' 'D' |,
-'D' -> 'B' 'E',
-'E' -> 'a' | 'C' 'D'
+{S, B, C, D, E},
+{a, b},
+{S -> D S | a | C D,
+C -> D a B | b,
+B -> S D |,
+D -> B E,
+E -> a | C D
},
-'D')
+D)
diff --git a/tests.aconvert.sh b/tests.aconvert.sh
new file mode 100755
index 0000000000..073d824dcd
--- /dev/null
+++ b/tests.aconvert.sh
@@ -0,0 +1,145 @@
+#!/usr/bin/env bash
+
+# $1 test dir suffix (debug / release)
+
+# SETTINGS
+TESTCASE_TIMEOUT=10
+LOGFILE="log_tests.txt"
+
+EXECUTABLES="aconvert2"
+TESTS_DIR="`pwd`/examples2"
+
+RES_GOOD=
+RES_FAIL=
+RES_TIME=
+RES_SEGV=
+RES_UNKN=
+
+
+# ----------------------------
+
+for FILE in $EXECUTABLES; do
+ if [ ! -f bin-$1/$FILE ]; then
+ echo "Executable $FILE is required for testing. Make sure it is in bin-$1 folder."
+ exit 1
+ fi
+done
+
+cd bin-$1/
+rm -f $LOGFILE
+
+# ----------------------------
+
+# $1 = conv command
+# $2 = return code
+# $3 = input automaton
+# $4 = output of conversion
+function log {
+ echo "----------------------------------------------------------" >> $LOGFILE
+ echo "conv: " $1 >> $LOGFILE
+ echo "ret: " $2 >> $LOGFILE
+ echo "input automaton:" >> $LOGFILE
+ cat "$3" >> $LOGFILE
+ echo "command out:" >> $LOGFILE
+ echo "$4" >> $LOGFILE
+}
+
+# $1 = command for conversion. Output of such command must be (eps-)NFA !!
+# $2 = automaton
+function runTest2 {
+ OUT=`timeout $TESTCASE_TIMEOUT bash -c "cat $2 | ./aconvert2 --$1_from_string "`
+ RET=$?
+
+ if [ $RET == 0 ]; then # ok
+ return 0
+ fi
+
+ log "$1" $RET "$2" "$OUT"
+
+ if [ $RET == 124 ]; then # timeout
+ return 2
+ elif [ $RET -ge 124 ]; then #segv
+ return 3
+ else
+ return 1
+ fi
+}
+
+function registerResult {
+ case $1 in
+ 0)
+ echo -n "."
+ echo -n "+1" >> $RES_GOOD
+ ;;
+ 1)
+ echo -n "x"
+ echo -n "+1" >> $RES_FAIL
+ ;;
+ 2)
+ echo -n "T"
+ echo -n "+1" >> $RES_TIME
+ ;;
+ 3)
+ echo -n "E"
+ echo -n "+1" >> $RES_SEGV
+ ;;
+ *)
+ echo -n "?"
+ echo -n "+1" >> $RES_UNKN
+ ;;
+ esac
+}
+
+function initResults {
+ RES_GOOD=$(mktemp)
+ echo -n "0" > $RES_GOOD
+ RES_FAIL=$(mktemp)
+ echo -n "0" > $RES_FAIL
+ RES_TIME=$(mktemp)
+ echo -n "0" > $RES_TIME
+ RES_SEGV=$(mktemp)
+ echo -n "0" > $RES_SEGV
+ RES_UNKN=$(mktemp)
+ echo -n "0" > $RES_UNKN
+}
+
+function clearResults {
+ rm $RES_GOOD
+ rm $RES_FAIL
+ rm $RES_TIME
+ rm $RES_SEGV
+ rm $RES_UNKN
+}
+
+function outputResults {
+ echo "" >> $RES_GOOD
+ echo "" >> $RES_FAIL
+ echo "" >> $RES_TIME
+ echo "" >> $RES_SEGV
+ echo "" >> $RES_UNKN
+
+ # summary
+ echo -ne "\n\t"
+ echo "RES: GOOD:" $(bc < $RES_GOOD) ", FAIL:" $(bc < $RES_FAIL) ", TIME:" $(bc < $RES_TIME) ", SEGV:" $(bc < $RES_SEGV), "UNKN:" $(bc < $RES_UNKN)
+ echo ""
+}
+
+# $1 - aconversions2 sequence
+function runTest {
+ echo $1 \(./aconvert2 --$1_from_string\)
+ echo -ne "\t"
+
+ initResults
+
+ # predefined tests first
+ for FILE in `ls $TESTS_DIR/$1/*.txt`; do
+ runTest2 "$1" "$FILE"
+ registerResult $?
+ done
+
+ outputResults
+ clearResults
+}
+
+runTest "automaton"
+runTest "grammar"
--
GitLab