test artifacts:test coverage, scripts, characteristics and policies

damascenodiego · Mar 13, 2016 · 1dddb0b · 1dddb0b
1 parent c07a76a
commit 1dddb0b
Show file tree

Hide file tree

Showing 250 changed files with 6,104,791 additions and 0 deletions.
diff --git a/experiments/msc_dissertation/experiment_complete/00run_all.sh b/experiments/msc_dissertation/experiment_complete/00run_all.sh
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+for FNAME in '8 Masood2010Example1.kk' '21 SeniorTraineeDoctor.kk' '203 ExperiencePointsv2.kk' '485 user11roles2_v2.kk' '857 Masood2009P2v2.kk' '1880 Masood2009P1v2.kk' '5859 ProcureToStockV2.kk';
+do
+   date
+   ./01run_w.sh $FNAME
+   ./02run_hsi.sh $FNAME
+   ./04run_spy.sh $FNAME
+done
diff --git a/experiments/msc_dissertation/experiment_complete/01run_w.sh b/experiments/msc_dissertation/experiment_complete/01run_w.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+FNAME=$2
+STATES=$1
+FNAME=`echo $FNAME | cut -d'.' -f1 `
+echo $0 $FNAME
+date >> ./results/'w.test.log'
+echo "filename  | $FNAME" >> ./results/'w.test.log'
+date1=$(date +"%s%3N")
+java -Xmx7000m -jar ./app/w.jar $FNAME.kk > ./results/$FNAME'.w.test'
+date2=$(date +"%s%3N")
+diff=$(($date2-$date1))
+echo "time elapsed (miliseconds) | $diff" >> ./results/'w.test.log'
+echo "############################################################" >> ./results/'w.test.log'
diff --git a/experiments/msc_dissertation/experiment_complete/02run_hsi.sh b/experiments/msc_dissertation/experiment_complete/02run_hsi.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+FNAME=$2
+STATES=$1
+FNAME=`echo $FNAME | cut -d'.' -f1 `
+echo $0 $FNAME
+date >> ./results/'hsi.test.log'
+echo "filename  | $FNAME" >> ./results/'hsi.test.log'
+date1=$(date +"%s%3N")
+./app/fsm-hsi < $FNAME.kk > ./results/$FNAME'.hsi.test'
+date2=$(date +"%s%3N")
+diff=$(($date2-$date1))
+echo "time elapsed (miliseconds) | $diff" >> ./results/'hsi.test.log'
+echo "############################################################" >> ./results/'hsi.test.log'
diff --git a/experiments/msc_dissertation/experiment_complete/04run_spy.sh b/experiments/msc_dissertation/experiment_complete/04run_spy.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+FNAME=$2
+STATES=$1
+FNAME=`echo $FNAME | cut -d'.' -f1 `
+echo $0 $FNAME
+date >> ./results/'spy.test.log'
+echo "filename  | $FNAME" >> ./results/'spy.test.log'
+date1=$(date +"%s%3N")
+./app/spy 0 $STATES < $FNAME.kk > ./results/$FNAME'.spy.test'
+date2=$(date +"%s%3N")
+diff=$(($date2-$date1))
+echo "time elapsed (miliseconds) | $diff" >> ./results/'spy.test.log'
+echo "############################################################" >> ./results/'spy.test.log'
diff --git a/experiments/msc_dissertation/experiment_complete/app/rbacBt.jar b/experiments/msc_dissertation/experiment_complete/app/rbacBt.jar
diff --git a/experiments/msc_dissertation/experiment_complete/generate_ct_prtz_2528.sh b/experiments/msc_dissertation/experiment_complete/generate_ct_prtz_2528.sh
@@ -0,0 +1,57 @@
+#!/bin/bash
+
+export JAVA_RUN=/home/damasceno/opt/jdk1.8.0_73/bin/
+cd `dirname $0`
+
+rst=100
+sz=26
+
+runTimeStamp=run$(date +"%Y-%m-%d_%H-%M-%S")
+mutantsFile=mutantsNeq.txt
+counti=0
+
+mkdir ./$runTimeStamp
+mkdir -p /home/damasceno/Dropbox/$runTimeStamp/
+for counti in {1..30}; do
+for rst in '2528'; do
+for pol in 'user11roles2_v2' 'ExperiencePointsv2' 'Masood2009P2v2' ; do
+#for pol in 'user11roles2_v2' ; do
+#for pol in 'Masood2009P2v2' ; do
+#for pol in 'ExperiencePointsv2' ; do
+#for pol in 'SeniorTraineeDoctor'; do
+#for pol in 'Masood2010Example1'; do
+  for test in ./results/*$pol/test/*.spy.test ./results/*$pol/test/*.hsi.test ./results/*$pol/test/*.w.test; do
+    sz=`cat $test.testCharacteristics.log |cut -d$'\t' -f6|tail -n 1`
+    sz=`awk "BEGIN {printf \"%.0f\",$sz}"`
+
+       shuf $test > $test.$runTimeStamp
+       mv $test.$runTimeStamp $test.subset.$rst.test
+       sed -n -e 1,"$rst"p $test.subset.$rst.test -i.bkp 
+       $JAVA_RUN/java -Xmx8000m -jar ./rbacBt_cartaxPrtzSort.jar -ct ./results/*$pol/$pol.rbac -mutants ./results/*$pol/$mutantsFile -test $test.subset.$rst.test >> ./$runTimeStamp/conformanceTest.$runTimeStamp.out
+       $JAVA_RUN/java -Xmx8000m -jar ./rbacBt_cartaxPrtzSort.jar -testCharact -rbac ./results/*$pol/$pol.rbac -test $test.subset.$rst.test >> ./$runTimeStamp/testCharacteristics.$runTimeStamp.out
+
+       $JAVA_RUN/java -Xmx8000m -jar ./rbacBt_cartaxPrtzSort.jar -prtz $test.subset.$rst.test  -rbac ./results/*$pol/$pol.rbac -mode cartax
+       $JAVA_RUN/java -Xmx8000m -jar ~/fragmentTestSuite.jar $test.subset.$rst.test.cartax.test
+
+       $JAVA_RUN/java -Xmx8000m -jar ./rbacBt_cartaxPrtzSort.jar -prtz $test.subset.$rst.test  -rbac ./results/*$pol/$pol.rbac -mode damasc
+       $JAVA_RUN/java -Xmx8000m -jar ~/fragmentTestSuite.jar $test.subset.$rst.test.damasc.test
+
+       tname=`basename $test.subset.$rst.test`
+
+       for testprtz in ./prioritization/$pol/$tname.cartax.test.[0-9][0-9][0-9].test ./prioritization/$pol/$tname.damasc.test.[0-9][0-9][0-9].test; do
+          $JAVA_RUN/java -Xmx8000m -jar ./rbacBt_cartaxPrtzSort.jar -ct ./results/*$pol/$pol.rbac -mutants ./results/*$pol/$mutantsFile -test $testprtz >> ./$runTimeStamp/conformanceTest.$runTimeStamp.out
+       done
+       for countj in {1..10}; do # random prtz
+          shuf $test.subset.$rst.test > $test.subset.$rst.test.random.test
+          $JAVA_RUN/java -Xmx8000m -jar ~/fragmentTestSuite.jar $test.subset.$rst.test.random.test
+          for testprtz in ./prioritization/$pol/$tname.random.test.[0-9][0-9][0-9].test; do
+               $JAVA_RUN/java -Xmx8000m -jar ./rbacBt_cartaxPrtzSort.jar -ct ./results/*$pol/$pol.rbac -mutants ./results/*$pol/$mutantsFile -test $testprtz >> ./$runTimeStamp/conformanceTest.$runTimeStamp.out
+          done
+       done #for countj
+       rm -rf $test.subset.*  ./prioritization/$pol/
+  done #for test
+  echo " " >> ./$runTimeStamp/conformanceTest.$runTimeStamp.out
+  grep -v '^[a-zA-Z0-9_-_]*$' ./$runTimeStamp/conformanceTest.$runTimeStamp.out > /home/damasceno/Dropbox/$runTimeStamp/conformanceTest.$runTimeStamp.out
+done; #for pol
+done #for counti
+done; #for rst
diff --git a/experiments/msc_dissertation/experiment_complete/generate_ct_prtz_complete.sh b/experiments/msc_dissertation/experiment_complete/generate_ct_prtz_complete.sh
@@ -0,0 +1,45 @@
+#!/bin/bash
+
+export JAVA_RUN=/home/damasceno/opt/jdk1.8.0_73/bin/
+cd `dirname $0`
+
+rst=100
+sz=26
+
+runTimeStamp=run$(date +"%Y-%m-%d_%H-%M-%S")
+mutantsFile=mutantsNeq.txt
+counti=0
+
+mkdir ./$runTimeStamp
+mkdir -p /home/damasceno/Dropbox/$runTimeStamp/
+for pol in 'Masood2010Example1' 'SeniorTraineeDoctor'  ; do
+  for test in ./results/*$pol/test/*.spy.test ./results/*$pol/test/*.hsi.test ./results/*$pol/test/*.w.test; do
+
+       $JAVA_RUN/java -Xmx8000m -jar ./rbacBt_cartaxPrtzSort.jar -ct ./results/*$pol/$pol.rbac -mutants ./results/*$pol/$mutantsFile -test $test >> ./$runTimeStamp/conformanceTest.$runTimeStamp.out
+
+       $JAVA_RUN/java -Xmx8000m -jar ./rbacBt_cartaxPrtzSort.jar -prtz $test  -rbac ./results/*$pol/$pol.rbac -mode cartax
+       $JAVA_RUN/java -Xmx8000m -jar ~/fragmentTestSuite.jar $test.cartax.test
+
+       $JAVA_RUN/java -Xmx8000m -jar ./rbacBt_cartaxPrtzSort.jar -prtz $test  -rbac ./results/*$pol/$pol.rbac -mode damasc
+       $JAVA_RUN/java -Xmx8000m -jar ~/fragmentTestSuite.jar $test.damasc.test
+
+       tname=`basename $test`
+       for testprtz in ./prioritization/$pol/$tname.cartax.test.[0-9][0-9][0-9].test ./prioritization/$pol/$tname.damasc.test.[0-9][0-9][0-9].test; do
+          $JAVA_RUN/java -Xmx8000m -jar ./rbacBt_cartaxPrtzSort.jar -ct ./results/*$pol/$pol.rbac -mutants ./results/*$pol/$mutantsFile -test $testprtz >> ./$runTimeStamp/conformanceTest.$runTimeStamp.out
+       done
+       for counti in {1..30}; do
+             shuf $test > $test.random.test 
+             $JAVA_RUN/java -Xmx8000m -jar ./rbacBt_cartaxPrtzSort.jar -ct ./results/*$pol/$pol.rbac -mutants ./results/*$pol/$mutantsFile -test $test.random.test >> ./$runTimeStamp/conformanceTest.$runTimeStamp.out
+             $JAVA_RUN/java -Xmx8000m -jar ~/fragmentTestSuite.jar $test.random.test
+             tname=`basename $test.random.test`
+             for testprtz in ./prioritization/$pol/$tname.[0-9][0-9][0-9].test; do
+                $JAVA_RUN/java -Xmx8000m -jar ./rbacBt_cartaxPrtzSort.jar -ct ./results/*$pol/$pol.rbac -mutants ./results/*$pol/$mutantsFile -test $testprtz >> ./$runTimeStamp/conformanceTest.$runTimeStamp.out
+             done
+        done #for counti
+  done #for test      
+  rm -rf ./prioritization/$pol/
+  echo " " >> ./$runTimeStamp/conformanceTest.$runTimeStamp.out
+  grep -v '^[a-zA-Z0-9_-_]*$' ./$runTimeStamp/conformanceTest.$runTimeStamp.out > /home/damasceno/Dropbox/$runTimeStamp/conformanceTest.$runTimeStamp.out
+done; #for pol
+
+
diff --git a/experiments/msc_dissertation/experiment_complete/generate_mutants.sh b/experiments/msc_dissertation/experiment_complete/generate_mutants.sh
@@ -0,0 +1,22 @@
+#!/bin/bash
+
+export JAVA_RUN=/home/damasceno/opt/jdk1.8.0_45/bin/
+cd `dirname $0`
+
+rst=100
+sz=26
+
+
+runTimeStamp=run$(date +"%Y-%m-%d_%H-%M-%S")
+mutantsFile=mutants.txt
+counti=0
+
+for pol in 'Masood2010Example1' 'SeniorTraineeDoctor' 'ExperiencePoints' 'ExperiencePointsv2' 'user11roles2' 'user11roles2_v2' 'Masood2009P2' 'Masood2009P2v2' 'Masood2009P1' 'Masood2009P1v2' 'ProcureToStock' 'ProcureToStockV2'; do
+    $JAVA_RUN/java -Xmx8000m -jar ~/rbacBt.jar -rmut ./results/*$pol/$pol.rbac 
+#    for pmut in ./results/*$pol/*/*.rbac; do $JAVA_RUN/java -Xmx8000m -jar ~/rbacBt.jar -rmut $pmut;done
+    cd ./results/*$pol/
+    ls -1 ./*/*.rbac  > ./$mutantsFile
+#    ls -1 ./*/*/*.rbac >> ./$mutantsFile
+    cd -
+done
+
diff --git a/...omplete/results/01_Masood2010Example1/Dr_DECREMENT/Masood2010Example1_Dr_DECREMENT_0.rbac b/...omplete/results/01_Masood2010Example1/Dr_DECREMENT/Masood2010Example1_Dr_DECREMENT_0.rbac
@@ -0,0 +1,39 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<RBAC name="Masood2010Example1_Dr_DECREMENT_0">
+   <users>
+      <user name="u1"/>
+      <user name="u2"/>
+   </users>
+   <roles>
+      <role name="r1"/>
+   </roles>
+   <permissions>
+      <permission name="p1"/>
+      <permission name="p2"/>
+   </permissions>
+   <SuConstraints>
+      <Su cardinality="1" user="u1"/>
+      <Su cardinality="1" user="u2"/>
+   </SuConstraints>
+   <DuConstraints>
+      <Du cardinality="1" user="u1"/>
+      <Du cardinality="1" user="u2"/>
+   </DuConstraints>
+   <SrConstraints>
+      <Sr cardinality="2" role="r1"/>
+   </SrConstraints>
+   <DrConstraints>
+      <Dr cardinality="0" role="r1"/>
+   </DrConstraints>
+   <URAssignments>
+      <AS role="r1" user="u1"/>
+      <AS role="r1" user="u2"/>
+   </URAssignments>
+   <URActivations/>
+   <PRAssignments>
+      <PA permission="p1" role="r1"/>
+      <PA permission="p2" role="r1"/>
+   </PRAssignments>
+   <SSoDConstraints/>
+   <DSoDConstraints/>
+</RBAC>
diff --git a/...omplete/results/01_Masood2010Example1/Dr_INCREMENT/Masood2010Example1_Dr_INCREMENT_0.rbac b/...omplete/results/01_Masood2010Example1/Dr_INCREMENT/Masood2010Example1_Dr_INCREMENT_0.rbac
@@ -0,0 +1,39 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<RBAC name="Masood2010Example1_Dr_INCREMENT_0">
+   <users>
+      <user name="u1"/>
+      <user name="u2"/>
+   </users>
+   <roles>
+      <role name="r1"/>
+   </roles>
+   <permissions>
+      <permission name="p1"/>
+      <permission name="p2"/>
+   </permissions>
+   <SuConstraints>
+      <Su cardinality="1" user="u1"/>
+      <Su cardinality="1" user="u2"/>
+   </SuConstraints>
+   <DuConstraints>
+      <Du cardinality="1" user="u1"/>
+      <Du cardinality="1" user="u2"/>
+   </DuConstraints>
+   <SrConstraints>
+      <Sr cardinality="2" role="r1"/>
+   </SrConstraints>
+   <DrConstraints>
+      <Dr cardinality="2" role="r1"/>
+   </DrConstraints>
+   <URAssignments>
+      <AS role="r1" user="u1"/>
+      <AS role="r1" user="u2"/>
+   </URAssignments>
+   <URActivations/>
+   <PRAssignments>
+      <PA permission="p1" role="r1"/>
+      <PA permission="p2" role="r1"/>
+   </PRAssignments>
+   <SSoDConstraints/>
+   <DSoDConstraints/>
+</RBAC>
diff --git a/...omplete/results/01_Masood2010Example1/Du_DECREMENT/Masood2010Example1_Du_DECREMENT_0.rbac b/...omplete/results/01_Masood2010Example1/Du_DECREMENT/Masood2010Example1_Du_DECREMENT_0.rbac
@@ -0,0 +1,39 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<RBAC name="Masood2010Example1_Du_DECREMENT_0">
+   <users>
+      <user name="u1"/>
+      <user name="u2"/>
+   </users>
+   <roles>
+      <role name="r1"/>
+   </roles>
+   <permissions>
+      <permission name="p1"/>
+      <permission name="p2"/>
+   </permissions>
+   <SuConstraints>
+      <Su cardinality="1" user="u1"/>
+      <Su cardinality="1" user="u2"/>
+   </SuConstraints>
+   <DuConstraints>
+      <Du cardinality="0" user="u1"/>
+      <Du cardinality="1" user="u2"/>
+   </DuConstraints>
+   <SrConstraints>
+      <Sr cardinality="2" role="r1"/>
+   </SrConstraints>
+   <DrConstraints>
+      <Dr cardinality="1" role="r1"/>
+   </DrConstraints>
+   <URAssignments>
+      <AS role="r1" user="u1"/>
+      <AS role="r1" user="u2"/>
+   </URAssignments>
+   <URActivations/>
+   <PRAssignments>
+      <PA permission="p1" role="r1"/>
+      <PA permission="p2" role="r1"/>
+   </PRAssignments>
+   <SSoDConstraints/>
+   <DSoDConstraints/>
+</RBAC>
diff --git a/...omplete/results/01_Masood2010Example1/Du_DECREMENT/Masood2010Example1_Du_DECREMENT_1.rbac b/...omplete/results/01_Masood2010Example1/Du_DECREMENT/Masood2010Example1_Du_DECREMENT_1.rbac
@@ -0,0 +1,39 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<RBAC name="Masood2010Example1_Du_DECREMENT_1">
+   <users>
+      <user name="u1"/>
+      <user name="u2"/>
+   </users>
+   <roles>
+      <role name="r1"/>
+   </roles>
+   <permissions>
+      <permission name="p1"/>
+      <permission name="p2"/>
+   </permissions>
+   <SuConstraints>
+      <Su cardinality="1" user="u1"/>
+      <Su cardinality="1" user="u2"/>
+   </SuConstraints>
+   <DuConstraints>
+      <Du cardinality="1" user="u1"/>
+      <Du cardinality="0" user="u2"/>
+   </DuConstraints>
+   <SrConstraints>
+      <Sr cardinality="2" role="r1"/>
+   </SrConstraints>
+   <DrConstraints>
+      <Dr cardinality="1" role="r1"/>
+   </DrConstraints>
+   <URAssignments>
+      <AS role="r1" user="u1"/>
+      <AS role="r1" user="u2"/>
+   </URAssignments>
+   <URActivations/>
+   <PRAssignments>
+      <PA permission="p1" role="r1"/>
+      <PA permission="p2" role="r1"/>
+   </PRAssignments>
+   <SSoDConstraints/>
+   <DSoDConstraints/>
+</RBAC>
diff --git a/...omplete/results/01_Masood2010Example1/Du_INCREMENT/Masood2010Example1_Du_INCREMENT_0.rbac b/...omplete/results/01_Masood2010Example1/Du_INCREMENT/Masood2010Example1_Du_INCREMENT_0.rbac
@@ -0,0 +1,39 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<RBAC name="Masood2010Example1_Du_INCREMENT_0">
+   <users>
+      <user name="u1"/>
+      <user name="u2"/>
+   </users>
+   <roles>
+      <role name="r1"/>
+   </roles>
+   <permissions>
+      <permission name="p1"/>
+      <permission name="p2"/>
+   </permissions>
+   <SuConstraints>
+      <Su cardinality="1" user="u1"/>
+      <Su cardinality="1" user="u2"/>
+   </SuConstraints>
+   <DuConstraints>
+      <Du cardinality="2" user="u1"/>
+      <Du cardinality="1" user="u2"/>
+   </DuConstraints>
+   <SrConstraints>
+      <Sr cardinality="2" role="r1"/>
+   </SrConstraints>
+   <DrConstraints>
+      <Dr cardinality="1" role="r1"/>
+   </DrConstraints>
+   <URAssignments>
+      <AS role="r1" user="u1"/>
+      <AS role="r1" user="u2"/>
+   </URAssignments>
+   <URActivations/>
+   <PRAssignments>
+      <PA permission="p1" role="r1"/>
+      <PA permission="p2" role="r1"/>
+   </PRAssignments>
+   <SSoDConstraints/>
+   <DSoDConstraints/>
+</RBAC>