tame/test/graph.xspec

234 lines
8.0 KiB
XML

<?xml version="1.0"?>
<!--
Tests dependency graph
Copyright (C) 2016 LoVullo Associates, Inc.
This file is part of TAME.
TAME is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see
<http://www.gnu.org/licenses/>.
-->
<description xmlns="http://www.jenitennison.com/xslt/xspec"
xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:x="http://www.jenitennison.com/xslt/xspec"
xmlns:graph="http://www.lovullo.com/tame/graph"
xmlns:preproc="http://www.lovullo.com/rater/preproc"
xmlns:foo="http://www.lovullo.com/_junk"
stylesheet="graph-test.xsl">
<scenario label="graph:reverse on a disconnected DAG">
<call function="graph:reverse">
<param name="graph"
select="$foo:reverse-graph" />
</call>
<!-- "root" (walk=0) vertices are used by nothing -->
<expect label="reverses walk=0 edges (A)"
test="empty(
$x:result/preproc:sym-dep[ @name = 'A' ]/* )" />
<expect label="reverses walk=0 edges (X)"
test="empty(
$x:result/preproc:sym-dep[ @name = 'X' ]/* )" />
<expect label="reverses edges recursively (B-A)"
test="exists( $x:result/preproc:sym-dep[ @name = 'B' ]
/preproc:sym-ref[ @name = 'A' ] )" />
<!-- circular -->
<expect label="reverses edges recursively (B-D)"
test="exists( $x:result/preproc:sym-dep[ @name = 'B' ]
/preproc:sym-ref[ @name = 'D' ] )" />
<expect label="reverses edges recursively (C-A)"
test="exists( $x:result/preproc:sym-dep[ @name = 'C' ]
/preproc:sym-ref[ @name = 'A' ] )" />
<expect label="reverses edges recursively (C-B)"
test="exists( $x:result/preproc:sym-dep[ @name = 'C' ]
/preproc:sym-ref[ @name = 'B' ] )" />
<expect label="reverses edges recursively (D-C)"
test="exists( $x:result/preproc:sym-dep[ @name = 'D' ]
/preproc:sym-ref[ @name = 'C' ] )" />
<expect label="reverses walk=1 edges (Z-X)"
test="exists( $x:result/preproc:sym-dep[ @name = 'Z' ]
/preproc:sym-ref[ @name = 'X' ] )" />
<!-- if done properly, we should have no new edges (the direction
on existing edges should just be reversed): the new graph
should be an isomorphism of the original -->
<expect label="does not produce any additional edges"
test="count( $x:result//preproc:sym-ref )
= count( $foo:reverse-graph//preproc:sym-ref )" />
<expect label="does not produce any additional vertices"
test="count( distinct-values( $x:result//preproc:*/@name ) )
= count( distinct-values(
$foo:reverse-graph//preproc:*/@name ) )" />
<expect label="copies union of edge attributes to new edges"
test="every $edge in $x:result//preproc:sym-ref
[ ancestor::preproc:sym-dep[ @name = 'C' ] ]
satisfies
$edge/@cattr = 'cvalue'
and $edge/@cattr2 = 'cvalue2'" />
</scenario>
<scenario label="graph:union">
<scenario label="given nothing">
<call function="graph:union">
<param name="graphs"
select="()" />
</call>
<expect label="produces an empty graph"
select="$foo:graph-empty" />
</scenario>
<scenario label="given two empty graphs">
<call function="graph:union">
<param name="graphs"
select="( $foo:graph-empty, $foo:graph-empty )" />
</call>
<expect label="produces an empty graph"
select="$foo:graph-empty" />
</scenario>
<scenario label="given graph with empty">
<call function="graph:union">
<param name="graphs"
select="( $foo:graph-empty, $foo:graph-vtwo )" />
</call>
<expect label="produces the non-empty graph"
select="$foo:graph-vtwo" />
</scenario>
<scenario label="given two different graphs">
<call function="graph:union">
<param name="graphs"
select="( $foo:graph-vtwo, $foo:graph-vthree )" />
</call>
<expect label="merges vertices and edges of unique vertices"
select="$foo:graph-vtwo-vthree" />
</scenario>
<scenario label="given single graph with duplicate vectors">
<call function="graph:union">
<param name="graphs"
select="$foo:graph-with-dupes" />
</call>
<expect label="mergs duplicates"
select="$foo:graph-deduped" />
</scenario>
</scenario>
<scenario label="graph:dep-lookup">
<scenario label="given a symbol">
<scenario label="in the same package">
<scenario label="where dependencies exist">
<call function="graph:dep-lookup">
<param name="symbol"
select="$foo:document/preproc:symtable
/preproc:sym[ @name='local' ]" />
<param name="graph"
select="$foo:document/preproc:sym-deps" />
<param name="lookup" select="()" />
</call>
<expect label="returns local dependencies"
test="$x:result is
$foo:document/preproc:sym-deps/preproc:sym-dep[
@name='local' ]" />
</scenario>
<scenario label="with external @src but local deps">
<call function="graph:dep-lookup">
<param name="symbol"
select="$foo:document/preproc:symtable
/preproc:sym[ @name='external-but-not' ]" />
<param name="graph"
select="$foo:document/preproc:sym-deps" />
<param name="lookup" select="()" />
</call>
<expect label="returns local dependencies"
test="$x:result is
$foo:document/preproc:sym-deps/preproc:sym-dep[
@name='external-but-not' ]" />
</scenario>
<scenario label="where dependencies are missing">
<call function="graph:dep-lookup">
<param name="symbol"
select="$foo:document/preproc:symtable
/preproc:sym[ @name='missing-deps' ]" />
<param name="graph"
select="$foo:document/preproc:sym-deps" />
<param name="lookup" select="()" />
</call>
<expect label="return empty sequence"
test="empty( $x:result )" />
</scenario>
</scenario>
<scenario label="in a separate package">
<variable name="foo:expected-lookup" as="element()">
<foo:lookup-ok />
</variable>
<scenario label="where dependencies exist">
<call function="graph:dep-lookup">
<param name="symbol"
select="$foo:document/preproc:symtable
/preproc:sym[ @name='external' ]" />
<param name="graph"
select="$foo:document/preproc:sym-deps" />
<param name="lookup"
select="foo:lookup( $foo:expected-lookup )" />
</call>
<expect label="returns external dependenices"
test="exists( $x:result/foo:lookup-ok )" />
</scenario>
</scenario>
</scenario>
</scenario>
</description>