Commit b2628d98 authored by Sylvain Schmitz's avatar Sylvain Schmitz

extract more coverage data

parent 8eb72da3
all: dist.dat axis-count.tex size-gte-100.tex matrices xslt.dat xqy.dat coverage-size.tex coverage-axis-step.tex numqueries.tex MAXcount.tex composition.tex composition_full.tex
all: dist.dat axis-count.tex size-gte-100.tex matrices xslt.dat xqy.dat coverage-size.tex coverage-axis-step.tex numqueries.tex MAXcount.tex composition.tex composition_full.tex all-full-cov-pc.tex
SHELL := /bin/bash
......@@ -50,17 +50,26 @@ captured_dist.dat: $(wildcard ../../benchmark/*-full.xml)
captured_dist.pdf: captured_dist.dat captured_dist.tex
pdflatex --shell-escape captured_dist.tex
all-full.cov: coverage.sh full-frags.sh ../../relaxng/fragments-full.xml
./coverage.sh "href" "`./full-frags.sh ../../relaxng/fragments-full.xml`" > $@
all-full-cov.tex: all-full.cov
printf "%'.0f" `cat $<` > $@
all-full-cov-pc.tex: all-full.cov numqueries
echo "scale=2; 100*`cat all-full.cov`/`cat numqueries`" | bc > $@
xslt-full.cov: coverage.sh full-frags.sh ../../relaxng/fragments-full.xml
./coverage.sh xslt "`./full-frags.sh ../../relaxng/fragments-full.xml`" > xslt-full.cov
./coverage.sh 'type="xslt"' "`./full-frags.sh ../../relaxng/fragments-full.xml`" > xslt-full.cov
xslt-orig.cov: coverage.sh full-frags.sh ../../relaxng/fragments-full.xml
./coverage.sh xslt "`./full-frags.sh ../../relaxng/fragments-orig.xml`" > xslt-orig.cov
./coverage.sh 'type="xslt"' "`./full-frags.sh ../../relaxng/fragments-orig.xml`" > xslt-orig.cov
xquery-full.cov: coverage.sh full-frags.sh ../../relaxng/fragments-full.xml
./coverage.sh xquery "`./full-frags.sh ../../relaxng/fragments-full.xml`" > xquery-full.cov
./coverage.sh 'type="xquery"' "`./full-frags.sh ../../relaxng/fragments-full.xml`" > xquery-full.cov
xquery-orig.cov: coverage.sh full-frags.sh ../../relaxng/fragments-full.xml
./coverage.sh xquery "`./full-frags.sh ../../relaxng/fragments-orig.xml`" > xquery-orig.cov
./coverage.sh 'type="xquery"' "`./full-frags.sh ../../relaxng/fragments-orig.xml`" > xquery-orig.cov
xslt.dat: bench.sh xslt-full.cov xslt-orig.cov $(wildcard ../../benchmark/*-full.xml) benchmarks-all-full.xml
./bench.sh xslt-full.cov xslt-orig.cov `grep 'type="xslt"' benchmarks-all-full.xml | sed -e 's/.*href="\([^"]*\).*/\1/'` > xslt.dat 2> minmax-xslt.tex
......
......@@ -94,6 +94,6 @@ printf "}" >&2
# printf '"\\\\textit{Combined}"'
# printf "\t0\t"
# percent=`echo "scale=2; 100*$coverage_full/$total" | bc`
# printf "$percent\t"
# printf "$percent" > ext-overall-cov.tex
# percent=`echo "scale=2; 100*$coverage_orig/$total" | bc`
# printf "$percent\n"
......@@ -12,11 +12,11 @@ do
done
# head
printf '\\begin{tabular}{lrr}\n'
printf '\\toprule\n'
printf '& $\\geq 1$ axis step & no axis step\\\\\n'
printf '\\midrule\n'
printf 'coverage '
# printf '\\begin{tabular}{lrr}\n'
# printf '\\toprule\n'
# printf '& $\\geq 1$ axis step & no axis step\\\\\n'
# printf '\\midrule\n'
# printf 'coverage '
# at least one axis step
value=0
......@@ -31,8 +31,9 @@ do
count=`xmlstarlet sel -N xqx="http://www.w3.org/2005/XQueryX" -t -c "count(//xpath[(ast//xqx:xpathAxis)])" $file`
total=$((count + total))
done
percent=`echo "scale=1; 100*$value/$total" | bc`
printf "& $percent\\%% "
percent=`echo "scale=2; 100*$value/$total" | bc`
#printf "& $percent\\%% "
printf "$percent\\%%, but only "
# no axis step
value=0
......@@ -47,8 +48,9 @@ do
count=`xmlstarlet sel -N xqx="http://www.w3.org/2005/XQueryX" -t -c "count(//xpath[not(ast//xqx:xpathAxis)])" $file`
total=$((count + total))
done
percent=`echo "scale=1; 100*$value/$total" | bc`
printf "& $percent\\%%"
printf '\\\\\n'
printf '\\bottomrule\n'
printf '\\end{tabular}\n'
percent=`echo "scale=2; 100*$value/$total" | bc`
# printf "& $percent\\%%"
# printf '\\\\\n'
# printf '\\bottomrule\n'
# printf '\\end{tabular}\n'
printf "$percent\\%%"
#!/bin/bash
files=`grep "type=\"$1\"" benchmarks-all-full.xml | sed -e 's/.*href="\([^"]*\)".*/\1/'`
files=`grep "$1" benchmarks-all-full.xml | sed -e 's/.*href="\([^"]*\)".*/\1/'`
total=0
value=0
for file in $files
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment