Skip to content

Commit 526e1ef

Browse files
committed
Updated generateResults to handle rpki-commons, added updated version of RQ4
1 parent 33041b1 commit 526e1ef

File tree

2 files changed

+58
-3
lines changed

2 files changed

+58
-3
lines changed

artifacts/experiments/RQ4/generateResults.py

Lines changed: 14 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,13 @@
3232
"CharClassesQuickcheck#addString": 'addString',
3333
"StateSetQuickcheck#addStateDoesNotRemove": 'add',
3434
"StateSetQuickcheck#containsElements": 'contains',
35-
"StateSetQuickcheck#removeAdd": 'remove'
35+
"StateSetQuickcheck#removeAdd": 'remove',
36+
"RoaCMSBuilderPropertyTest#buildEncodedParseCheck": 'roa',
37+
"ManifestCMSBuilderPropertyTest#buildEncodedParseCheck": 'manifest',
38+
"AspaCmsTest#should_generate_aspa": 'aspa',
39+
"X509ResourceCertificateParentChildValidatorTest#validParentChildSubResources": 'resources',
40+
"X509ResourceCertificateParentChildValidatorTest#validParentChildOverClaiming": 'claiming',
41+
"X509ResourceCertificateParentChildValidatorTest#validParentChildOverClaimingLooseValidation": 'loose'
3642
}
3743

3844
row_count = 1
@@ -46,6 +52,8 @@ def filter_for_recent_results(project_name: str, stats_directories: list[str]) -
4652
project_string = project_name if project_name != "convex" else project_name + "-core" # edge case
4753
if "mph-table-fixed" in stats_directories[0]: # edge case
4854
project_string = "mph-table-fixed"
55+
elif "rpki-commons-fixed" in stats_directories[0]:
56+
project_string = "rpki-commons-fixed"
4957
time_stamps = [datetime.datetime.strptime(x.replace(project_string, "").replace("_", ":").replace("T", " "), "%Y-%m-%d %H:%M:%S.%f")
5058
for x in stats_directories]
5159
time_stamps.sort()
@@ -89,11 +97,14 @@ def generate_report_stats(stat_values: dict[str, dict]) -> dict[str, str]:
8997
property_dict = {}
9098
for key in first_iteration:
9199
property_dict[key] = []
92-
100+
93101
# populate the dictionary with our results
94102
for key, val in stat_values.items():
95103
for prop, time in val.items():
96104
property_array = property_dict.get(prop)
105+
if property_array is None:
106+
property_dict[prop] = []
107+
property_array = property_dict.get(prop)
97108
property_array.append(time)
98109

99110
# generate mean, standard deviation and populate our final object
@@ -142,7 +153,7 @@ def main():
142153
fixed_stats_directories = obtain_stats_directories(results_directory=fixed_results_directory)
143154
evaluated_fixed_runs = filter_for_recent_results(project_name=project_name, stats_directories=fixed_stats_directories)
144155
fixed_raw_stats = evaluate_directories(project_name=fixed_project_name, results_directory=fixed_results_directory, directories=evaluated_fixed_runs)
145-
156+
146157
# obtain mean/st dev
147158
final_stats = generate_report_stats(stat_values=raw_stats)
148159
final_fixed_stats = generate_report_stats(stat_values=fixed_raw_stats)

artifacts/output/rq4.tex

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
\begin{tabular}{lllll}
2+
N & Property & Vanilla & Improved & Overhead \\
3+
\hline
4+
\multicolumn{5}{c}{convex} \\
5+
\hline
6+
1 & message & 45.22 ± 3.36 & 42.80 ± 2.70 & 0.95 \\
7+
2 & data & 53.02 ± 1.99 & 53.92 ± 0.00 & 1.02 \\
8+
3 & primitive & 48.52 ± 0.88 & 50.12 ± 0.00 & 1.03 \\
9+
\textbf{} & \textbf{Average} & \textbf{48.92} & \textbf{48.95} & \textbf{1.00} \\
10+
\hline
11+
\multicolumn{5}{c}{jflex} \\
12+
\hline
13+
1 & remove & 41.50 ± 6.41 & 31.56 ± 5.16 & 0.76 \\
14+
2 & addSingleton & 44.89 ± 0.77 & 51.57 ± 0.79 & 1.15 \\
15+
3 & contains & 43.82 ± 2.12 & 42.61 ± 1.68 & 0.97 \\
16+
4 & addSet & 44.56 ± 0.94 & 52.82 ± 0.87 & 1.19 \\
17+
5 & add & 43.06 ± 1.84 & 43.10 ± 1.80 & 1.00 \\
18+
6 & addString & 44.93 ± 1.64 & 51.53 ± 1.59 & 1.15 \\
19+
7 & addSingle & 44.40 ± 2.21 & 53.14 ± 1.53 & 1.20 \\
20+
\textbf{} & \textbf{Average} & \textbf{43.88} & \textbf{46.62} & \textbf{1.06} \\
21+
\hline
22+
\multicolumn{5}{c}{mph-table} \\
23+
\hline
24+
1 & list & 13.49 ± 0.98 & 13.19 ± 0.94 & 0.98 \\
25+
2 & optionals & 12.75 ± 0.76 & 13.17 ± 1.08 & 1.03 \\
26+
3 & short & 12.68 ± 0.67 & 13.16 ± 0.58 & 1.04 \\
27+
4 & int & 13.09 ± 0.81 & 12.79 ± 1.00 & 0.98 \\
28+
5 & pair & 12.76 ± 0.81 & 13.16 ± 1.09 & 1.03 \\
29+
6 & byte & 12.57 ± 0.79 & 12.85 ± 1.04 & 1.02 \\
30+
7 & long & 12.80 ± 0.75 & 13.04 ± 0.91 & 1.02 \\
31+
8 & string & 12.73 ± 0.60 & 12.99 ± 0.97 & 1.02 \\
32+
9 & list* & nan & 27.19 ± 3.60 & nan \\
33+
\textbf{} & \textbf{Average} & \textbf{12.86} & \textbf{14.62} & \textbf{1.01} \\
34+
\hline
35+
\multicolumn{5}{c}{rpki-commons} \\
36+
\hline
37+
1 & claiming & 25.33 ± 2.37 & nan & nan \\
38+
2 & aspa & 23.42 ± 1.72 & nan & nan \\
39+
3 & resources & 24.18 ± 1.60 & 26.14 ± 0.28 & 1.08 \\
40+
4 & roa & 24.29 ± 3.24 & nan & nan \\
41+
5 & manifest & 23.41 ± 2.44 & nan & nan \\
42+
6 & loose & 25.48 ± 2.62 & nan & nan \\
43+
\textbf{} & \textbf{Average} & \textbf{24.35} & \textbf{26.14} & \textbf{1.08} \\
44+
\end{tabular}

0 commit comments

Comments
 (0)