[XSL-LIST Mailing List Archive Home]
[By Thread]
[By Date]
[xsl] Static Validation of XSL Transformations
Subject: [xsl] Static Validation of XSL Transformations
From: Anders Møller <amoeller@xxxxxxxx>
Date: Tue, 06 Mar 2007 13:54:17 +0100
|
An online version of our XSLT analysis tool is now available at
http://www.brics.dk/XSLV/
Given an XSLT 2.0 stylesheet, S, and two schemas, D_in and D_out, the
tool is able to check statically that all output of S at runtime is
valid according to D_out assuming that the input is valid according to
D_in. Additionally, the tool produces a flow graph of S. Schemas are
written in either DTD, XML Schema, or Restricted RELAX NG.
A research paper describing the analysis is also available from the web
site.
--
Anders Moeller
amoeller@xxxxxxxx
http://www.brics.dk/~amoeller
| 
Mac OS X
Linux/Unix
data server software 