Commit 90580f70 authored by Sylvain Schmitz's avatar Sylvain Schmitz

compute combined coverage

parent 36cbbedb
......@@ -32,11 +32,24 @@ captured_dist.dat: $(wildcard ../../benchmark/*-full.xml)
./captured_distr.sh > captured_dist.dat
captured_dist.pdf: captured_dist.dat captured_dist.tex
pdflatex --shell-escape captured_dist.tex
xslt.dat: bench.sh $(wildcard ../../benchmark/*-full.xml) benchmarks-all-full.xml
./bench.sh `grep 'type="xslt"' benchmarks-all-full.xml | sed -e 's/.*href="\([^"]*\).*/\1/'` > xslt.dat
xqy.dat: bench.sh $(wildcard ../../benchmark/*-full.xml) benchmarks-all-full.xml
./bench.sh `grep 'type="xquery"' benchmarks-all-full.xml | sed -e 's/.*href="\([^"]*\).*/\1/'` > xqy.dat
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
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
xquery-full.cov: coverage.sh full-frags.xpath
./coverage.sh 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
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
xqy.dat: bench.sh xquery-full.cov xquery-orig.cov $(wildcard ../../benchmark/*-full.xml) benchmarks-all-full.xml
./bench.sh xquery-full.cov xquery-orig.cov `grep 'type="xquery"' benchmarks-all-full.xml | sed -e 's/.*href="\([^"]*\).*/\1/'` > xqy.dat
test.pdf: xslt.dat xqy.dat test.tex
pdflatex --shell-escape test.tex
......
#!/bin/bash
coverage_full=`cat $1`
shift
coverage_orig=`cat $1`
shift
# which files to take into account
files="$@"
......@@ -46,3 +51,10 @@ do
done
echo
done
printf '"\\\\textit{Combined}"'
printf "\t0\t"
percent=`echo "scale=2; 100*$coverage_full/$total" | bc`
printf "$percent\t"
percent=`echo "scale=2; 100*$coverage_orig/$total" | bc`
printf "$percent\n"
#!/bin/bash
files=`grep "type=\"$1\"" benchmarks-all-full.xml | sed -e 's/.*href="\([^"]*\)".*/\1/'`
total=0
value=0
for file in $files
do
value=$(xmlstarlet sel -t -c "$2" $file)
total=$(($total+$value))
done
echo $total
#!/bin/bash
fragments=( `grep 'file=' $1 | sed 's/.*file=\"\([\.a-zA-Z0-9\-]*.rnc\).*/\1/g'` )
printf 'count(/benchmark/xpath[schemas[validation[('
printf "@schema='${fragments[0]}' "
for ((f=1; f<${#fragments[@]}; ++f))
do
printf "or @schema='${fragments[f]}' "
done
echo ") and @valid='yes']]])"
......@@ -14,7 +14,7 @@
\centering
% you need to compile with `pdflatex --shell-escape`
\begin{gnuplot}[terminal=cairolatex, terminaloptions={color size
\linewidth,6.0cm}]
10cm,6.0cm}]
set yrange [0:100]
set decimal locale
set format y "%'g"
......@@ -37,7 +37,7 @@
\centering
% you need to compile with `pdflatex --shell-escape`
\begin{gnuplot}[terminal=cairolatex, terminaloptions={color size
\linewidth,6.0cm}]
10cm,6.0cm}]
set yrange [0:100]
set decimal locale
set format y "%'g"
......
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