Skip to content

Commit

Permalink
testmatch website updated
Browse files Browse the repository at this point in the history 
git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@1017 ab42f6e0-554d-0410-b580-99e487e6eeb2
  • Loading branch information
@grammarware
grammarware committed Apr 15, 2011
1 parent 8ff16b1 commit f226129
Show file tree
Hide file tree
Showing 10 changed files with 144 additions and 91 deletions.
8 changes: 3 additions & 5 deletions Makefile
View file
Expand Up @@ -23,11 +23,9 @@ zooprj:
xsltproc ../shared/xsl/links2html.xslt _dev/java-grammars.xml | python ../shared/python/closemeta.py > zoo/java/links.html

testmatchprj:
bgf2html ../topics/testing/gbtf/tests/java/habelitz.bgf testmatch/habelitz.html
bgf2html ../topics/testing/gbtf/tests/java/parr.bgf testmatch/parr.html
bgf2html ../topics/testing/gbtf/tests/java/stahl.bgf testmatch/stahl.html
bgf2html ../topics/testing/gbtf/tests/java/studman.bgf testmatch/studman.html
#xsltproc ../shared/xsl/links2html.xslt _dev/testmatch.xml | python ../shared/python/closemeta.py > testmatch/index.html
ls -1 ../topics/testing/gbtf/tests/java/*.bgf | xargs -n1 _dev/conv java
ls -1 ../topics/testing/gbtf/tests/tescol/*.bgf | xargs -n1 _dev/conv tescol
@#xsltproc ../shared/xsl/links2html.xslt _dev/testmatch.xml | python ../shared/python/closemeta.py > testmatch/index.html

test:
xmllint --noout --schema ../shared/xsd/links.xsd _dev/*.xml
4 changes: 4 additions & 0 deletions _dev/conv
View file
@@ -0,0 +1,4 @@
#!/bin/sh

echo 'Exporting the grammar as hypertext...'
bgf2html $2 testmatch/$1/`basename $2 .bgf`.html
3 changes: 3 additions & 0 deletions index.html
View file
Expand Up @@ -35,6 +35,9 @@ <h2>Pages</h2>
<li>
<a href="zoo/">SLPS Grammar Zoo (C, C++, C#, Java)</a>
</li>
<li>
<a href="testmatch/">TestMatch project (comparing languages based on parsing generated test data)</a>
</li>
<li>
<a href="zoo/java/links.html">Java grammars link repository</a>
</li>
Expand Down
5 changes: 2 additions & 3 deletions slps.css
View file
@@ -1,10 +1,9 @@
h1, h2 {text-align:center;}
h1, h2, div.c {text-align:center;}
h2 a {font-size:small;}
dt {font-weight: bold;}
img {border:0;}
.last {width: 100%; text-align: right;}
.last {width: 100%; text-align: right; font-style: italic;}
.last img {border:0; width: 88px; height: 31px;}
.last img#linkedin {border:0; width: 160px; height: 33px;}
br {clear: both;}
.container {text-align:center; width:300px;}
ul.linklist li span,.links {text-align:center; font-family: "Courier New", Courier, mono; font-weight: bold;}
Expand Down
Binary file added testmatch/figures/java.png
View file
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added testmatch/figures/match-algorithm.png
View file
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added testmatch/figures/match-good-bad.png
View file
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added testmatch/figures/tescol.png
View file
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added testmatch/figures/testsize.png
View file
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
215 changes: 132 additions & 83 deletions testmatch/index.html
View file
Expand Up @@ -6,112 +6,161 @@
<link href="../slps.css" rel="stylesheet" type="text/css" />
</head>
<body style="background-color:#9C9;">
<div class="c"><img src="figures/match-algorithm.png" alt="nonterminal matching algorithm impact"/></div>
<h1>Software Language Processing Suite</h1>
<h1>
Software Language Processing Suite
Comparison of context-free grammars based on parsing generated test data
</h1>
<h2>
Comparison of Context-free Grammars<br/>
Based on Test-data Generation and Parsing<br/>
[page under construction]
</h2>
<div class="c"><img src="figures/testsize.png" alt="test set sizes"/></div>
<h3>Test set generation</h3>
<ul>
<li>
ANTLR⇒BGF extraction:
<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/prolog/gbtf.pro?view=markup">mindepthG, distG, complete, hole, mark, vary</a> (Prolog)
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/prolog/cli/gbtf.pro?view=markup">skipuppy, tc, pc, nc, bc, cdbc, main gbtf</a> (Prolog)
</li>
</ul>
<h3>ANTLR⇒BGF extraction</h3>
<ul>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/ANTLR2.rsc?view=markup">ANTLR2 grammar</a> (Rascal)
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/ANTLR3.rsc?view=markup">ANTLR3 grammar</a> (Rascal)
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/antlrstrip.py?view=markup">ANTLR stripping transformation</a> (±legacy Python)
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/antlrpp.py?view=markup">ANTLR pretty-printer</a> (Python)
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/slps/antlr2bgf/StrippedANTLR.g?view=markup">Stripped ANTLR specification and its mapping to BGF</a> (ANTLR3)
</li>
</ul>
<div class="c"><img src="figures/java.png" alt="Java inequality"/></div>
<h3>ANTLR Java 5 sources</h3>
<dl>
<dt>Habelitz</dt>
<dd>
<ul>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/ANTLR2.rsc?view=markup">ANTLR2 grammar</a> (Rascal)
<a href="http://www.antlr.org/grammar/1207932239307/Java1_5Grammars/Java.g">Original grammar by Dieter Habelitz</a> (ANTLR3), 2008
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/java/antlr-java-5/habelitz/">Extraction directory</a>
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/testing/gbtf/tests/java/habelitz.bgf?view=markup">Extracted grammar</a> (BGF)
</li>
<li>
<a href="java/habelitz.html">Extracted grammar</a> (browsable)
</li>
</ul>
</dd>
<dt>Parr</dt>
<dd>
<ul>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/ANTLR3.rsc?view=markup">ANTLR3 grammar</a> (Rascal)
<a href="http://www.antlr.org/grammar/1152141644268/Java.g">Original grammar by Terence Parr</a> (ANTLR3), 2006
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/antlrstrip.py?view=markup">ANTLR stripping transformation</a> (±legacy Python)
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/java/antlr-java-5/parr/">Extraction directory</a>
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/antlrpp.py?view=markup">ANTLR pretty-printer</a> (Python)
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/testing/gbtf/tests/java/parr.bgf?view=markup">Extracted grammar</a> (BGF)
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/slps/antlr2bgf/StrippedANTLR.g?view=markup">Stripped ANTLR specification and its mapping to BGF</a> (ANTLR3)
<a href="java/parr.html">Extracted grammar</a> (browsable)
</li>
</ul>
</li>
<li>
ANTLR Java 5 sources:
<dl>
<dt>Habelitz</dt>
<dd>
<ul>
<li>
<a href="http://www.antlr.org/grammar/1207932239307/Java1_5Grammars/Java.g">Original grammar by Dieter Habelitz</a>, ANTLR3, 2008
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/java/antlr-java-5/habelitz/">Extraction directory</a>
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/testing/gbtf/tests/java/habelitz.bgf?view=markup">Extracted grammar</a> (BGF)
</li>
<li>
<a href="habelitz.html">Extracted grammar</a> (browsable)
</li>
</ul>
</dd>
<dt>Parr</dt>
<dd>
<ul>
<li>
<a href="http://www.antlr.org/grammar/1152141644268/Java.g">Original grammar by Terence Parr</a>, ANTLR3, 2006
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/java/antlr-java-5/parr/">Extraction directory</a>
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/testing/gbtf/tests/java/parr.bgf?view=markup">Extracted grammar</a> (BGF)
</li>
<li>
<a href="parr.html">Extracted grammar</a> (browsable)
</li>
</ul>
</dd>
<dt>Stahl</dt>
<dd>
<ul>
<li>
<a href="http://www.antlr.org/grammar/1093454600181/java15-grammar.zip">Original grammar by Michael Stahl</a>, ANTLR2, 2004
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/java/antlr-java-5/stahl/">Extraction directory</a>
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/testing/gbtf/tests/java/stahl.bgf?view=markup">Extracted grammar</a> (BGF)
</li>
<li>
<a href="stahl.html">Extracted grammar</a> (browsable)
</li>
</ul>
</dd>
<dt>Studman</dt>
<dd>
<ul>
<li>
<a href="http://www.antlr.org/grammar/1090713067533/java15.g">Original grammar by Michael Studman</a>, ANTLR2, 2004
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/java/antlr-java-5/studman/">Extraction directory</a>
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/testing/gbtf/tests/java/studman.bgf?view=markup">Extracted grammar</a> (BGF)
</li>
<li>
<a href="studman.html">Extracted grammar</a> (browsable)
</li>
</ul>
</dd>
</dl>
</li>
</dd>
<dt>Stahl</dt>
<dd>
<ul>
<li>
<a href="http://www.antlr.org/grammar/1093454600181/java15-grammar.zip">Original grammar by Michael Stahl</a> (ANTLR2), 2004
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/java/antlr-java-5/stahl/">Extraction directory</a>
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/testing/gbtf/tests/java/stahl.bgf?view=markup">Extracted grammar</a> (BGF)
</li>
<li>
<a href="java/stahl.html">Extracted grammar</a> (browsable)
</li>
</ul>
</dd>
<dt>Studman</dt>
<dd>
<ul>
<li>
<a href="http://www.antlr.org/grammar/1090713067533/java15.g">Original grammar by Michael Studman</a> (ANTLR2), 2004
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/java/antlr-java-5/studman/">Extraction directory</a>
</li>
<li>
<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/testing/gbtf/tests/java/studman.bgf?view=markup">Extracted grammar</a> (BGF)
</li>
<li>
<a href="java/studman.html">Extracted grammar</a> (browsable)
</li>
</ul>
</dd>
</dl>
<div class="c"><img src="figures/tescol.png" alt="TESCOL nonterminal matching"/></div>
<h3>TESCOL sources</h3>
<ul>
<li><a href="tescol/00000.html">00000 grammar</a> (browsable)</li>
<li><a href="tescol/00001.html">00001 grammar</a> (browsable)</li>
<li><a href="tescol/00010.html">00010 grammar</a> (browsable)</li>
<li><a href="tescol/00011.html">00011 grammar</a> (browsable)</li>
<li><a href="tescol/00100.html">00100 grammar</a> (browsable)</li>
<li><a href="tescol/00101.html">00101 grammar</a> (browsable)</li>
<li><a href="tescol/00110.html">00110 grammar</a> (browsable)</li>
<li><a href="tescol/00111.html">00111 grammar</a> (browsable)</li>
<li><a href="tescol/01000.html">01000 grammar</a> (browsable)</li>
<li><a href="tescol/01001.html">01001 grammar</a> (browsable)</li>
<li><a href="tescol/01010.html">01010 grammar</a> (browsable)</li>
<li><a href="tescol/01011.html">01011 grammar</a> (browsable)</li>
<li><a href="tescol/01100.html">01100 grammar</a> (browsable)</li>
<li><a href="tescol/01101.html">01101 grammar</a> (browsable)</li>
<li><a href="tescol/01110.html">01110 grammar</a> (browsable)</li>
<li><a href="tescol/01111.html">01111 grammar</a> (browsable)</li>
<li><a href="tescol/10000.html">10000 grammar</a> (browsable)</li>
<li><a href="tescol/10001.html">10001 grammar</a> (browsable)</li>
<li><a href="tescol/10010.html">10010 grammar</a> (browsable)</li>
<li><a href="tescol/10011.html">10011 grammar</a> (browsable)</li>
<li><a href="tescol/10100.html">10100 grammar</a> (browsable)</li>
<li><a href="tescol/10101.html">10101 grammar</a> (browsable)</li>
<li><a href="tescol/10110.html">10110 grammar</a> (browsable)</li>
<li><a href="tescol/10111.html">10111 grammar</a> (browsable)</li>
<li><a href="tescol/11000.html">11000 grammar</a> (browsable)</li>
<li><a href="tescol/11001.html">11001 grammar</a> (browsable)</li>
<li><a href="tescol/11010.html">11010 grammar</a> (browsable)</li>
<li><a href="tescol/11011.html">11011 grammar</a> (browsable)</li>
<li><a href="tescol/11100.html">11100 grammar</a> (browsable)</li>
<li><a href="tescol/11101.html">11101 grammar</a> (browsable)</li>
<li><a href="tescol/11110.html">11110 grammar</a> (browsable)</li>
<li><a href="tescol/11111.html">11111 grammar</a> (browsable)</li>
<li><a href="http://files.328d.net/TESCOL.g">TESCOL.g</a> (reference grammar)</li>
</ul>
<div class="c"><img src="figures/match-good-bad.png" alt="nonterminal matching: good and bad examples"/></div>
<h3>Paper</h3>
<ul>
<li>
<a href="#">...</a>
</li>
</ul>
<hr />
<div class="last">
The page is maintained by <a href="http://grammarware.net/">Dr. Vadim Zaytsev</a> a.k.a. @<a href="http://twitter.com/grammarware">grammarware</a>. Last updated: April 2011.
</div>
</body>
</html>

0 comments on commit f226129

Please sign in to comment.