Updated rq1 experiment bash and python script to include RPKI (gousiosg#23)

Author: jcoultas

common.py

@@ -16,5 +16,11 @@
     "jflex.core.unicode.CharClassesQuickcheck.addString(Ljflex/core/unicode/CharClasses;Ljava/lang/String;I)V": 'addString',
     "jflex.state.StateSetQuickcheck.addStateDoesNotRemove(Ljflex/state/StateSet;I)V": 'add',
     "jflex.state.StateSetQuickcheck.containsElements(Ljflex/state/StateSet;I)V": 'contains',
-    "jflex.state.StateSetQuickcheck.removeAdd(Ljflex/state/StateSet;I)V": 'remove'
+    "jflex.state.StateSetQuickcheck.removeAdd(Ljflex/state/StateSet;I)V": 'remove',
+    "net.ripe.rpki.commons.crypto.cms.roa.RoaCMSBuilderPropertyTest.buildEncodedParseCheck(JLjava/lang/Integer;)V": 'roa',
+    "net.ripe.rpki.commons.crypto.cms.manifest.ManifestCMSBuilderPropertyTest.buildEncodedParseCheck([BLjava/math/BigInteger;Ljava/lang/Integer;)V": 'manifest',
+    "net.ripe.rpki.commons.crypto.cms.aspa.AspaCmsTest.should_generate_aspa(ILjava/util/List;)V": 'aspa',
+    "net.ripe.rpki.commons.validation.X509ResourceCertificateParentChildValidatorTest.validParentChildSubResources(Ljava/util/List;I)V": 'resources',
+    "net.ripe.rpki.commons.validation.X509ResourceCertificateParentChildValidatorTest.validParentChildOverClaiming(Ljava/util/List;ILjava/util/List;)V": 'claiming',
+    "net.ripe.rpki.commons.validation.X509ResourceCertificateParentChildValidatorTest.validParentChildOverClaimingLooseValidation(Ljava/util/List;ILjava/util/List;)V": 'loose'
 }

rq1_data.py

@@ -7,6 +7,7 @@
     ('Convex', 'artifacts/experiment/rq1_convex.csv', 'artifacts/experiment/rq1_table_convex.tex'),
     ('jFlex', 'artifacts/experiment/rq1_jflex.csv', 'artifacts/experiment/rq1_table_jflex.tex'),
     ('MPH Table', 'artifacts/experiment/rq1_mph-table.csv', 'artifacts/experiment/rq1_table_mph-table.tex'),
+    ('RPKI-Commons', 'artifacts/experiment/rq1_rpki-commons.csv', 'artifacts/experiment/rq1_table_rpki-commons.tex'),
 ]
 
 byProjNameFile = 'artifacts/experiment/rq1_table_projects.tex'
@@ -61,7 +62,7 @@
     dataSetSum[projName] = dfSubset.copy()
 
     with open(texFile, 'w') as tf:
-        tf.write(dfSubset.to_latex(index=False, header=False))
+        tf.write(dfSubset.style.hide(axis="index").to_latex())
 
     dataSet = pd.concat([dataSet, data.copy()])
 
@@ -126,4 +127,4 @@
         else:
             outTable += line
 
-    tf.write(outTable)
+    tf.write(outTable)

run_experiment_rq1.sh

@@ -10,7 +10,7 @@ cd $JCG_HOME || exit
 
 mkdir -p artifacts/experiment
 
-for PROJECT in mph-table convex jflex
+for PROJECT in mph-table convex jflex rpki-commons
 do
 	FILE=artifacts/experiment/rq1_$PROJECT.csv