Testing the Semantics of W3C XML Schema

Authors:
Jian Bing Li;James Miller
Affiliations:
University of Alberta;University of Alberta
Venue:
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
Year:
2005

Citing 0
Cited 5

Testing software modelling tools using data mutation

Proceedings of the 2006 international workshop on Automation of software test
systematic generation of XML instances to test complex software applications

RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Conceptual business document modeling using UN/CEFACT's core components

APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Chronological fault-based mutation processes for WS-BPEL 2.0 programs

International Journal of Web Engineering and Technology
On an Enhancement of XML Applied for Mobile E-Commerce

Journal of Electronic Commerce in Organizations

Quantified Score

Hi-index	0.00

Visualization

Abstract

The XML Schema language is becoming the preferred means of defining and validating highly structured XML instance documents. We have extended the conventional mutation method to be applicable for W3C XML Schemas. In this paper a technique for using mutation analysis to test the semantic correctness of W3C XML Schemas is presented. We introduce a mutation analysis model and a set of W3C XML Schema (XSD) mutation operators that can be used to detect faults involving name-spaces, user-defined types, and inheritance. Preliminary evaluation of our technique shows that it is effectiveness to test the semantics of W3C XML Schema documents.