Xmodel-based testing of XSLT applications

Model-based testing is nowadays the emerging paradigm for software testing in many domains, In the Web arena XML Schema is becoming the technology of reference to describe data structure and applications input domains. The proposed tool (TAXI - Testing by Automatically generated XML Instances) exploits such a model to automatically derive correct XML instances applying the well-known Category-partition methodology. In this paper we introduce an improvement of TAXI to test XSLT Stylesheets. Indeed, with XSLT Stylesheets increasingly getting larger and more complex, their correctness becomes a crucial factor for software quality and hence we believe that they need careful validation. Two different case studies illustrate the approach to the validation of XML to XML and XML to XHTML transformations.