XMODEL-BASED TESTING OF XSLT APPLICATIONS

Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini

2007

Abstract

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.

Paper Citation

in Harvard Style

Bertolino A., Gao J., Marchetti E. and Polini A. (2007). XMODEL-BASED TESTING OF XSLT APPLICATIONS . In Proceedings of the Third International Conference on Web Information Systems and Technologies - Volume 2: WEBIST, ISBN 978-972-8865-78-8, pages 282-288. DOI: 10.5220/0001284202820288

in Bibtex Style

@conference{webist07,
author={Antonia Bertolino and Jinghua Gao and Eda Marchetti and Andrea Polini},
title={XMODEL-BASED TESTING OF XSLT APPLICATIONS},
booktitle={Proceedings of the Third International Conference on Web Information Systems and Technologies - Volume 2: WEBIST,},
year={2007},
pages={282-288},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001284202820288},
isbn={978-972-8865-78-8},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Web Information Systems and Technologies - Volume 2: WEBIST,
TI - XMODEL-BASED TESTING OF XSLT APPLICATIONS
SN - 978-972-8865-78-8
AU - Bertolino A.
AU - Gao J.
AU - Marchetti E.
AU - Polini A.
PY - 2007
SP - 282
EP - 288
DO - 10.5220/0001284202820288