Testing the semantics of W3C XML schema

Author

Li, Jian Bing ; Miller, James

Author_Institution

Dept. of Electr. & Comput. Eng., Alberta Univ., Edmonton, Alta., Canada

Volume

1

fYear

2005

fDate

26-28 July 2005

Firstpage

443

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.

Keywords

XML; formal specification; formal verification; inheritance; programming language semantics; W3C XML schema documents; XML schema language; fault detection; inheritance; mutation analysis; name spaces; semantic correctness; semantic testing; structured XML instance documents; user-defined types; Application software; Computer applications; Fault detection; Genetic mutations; Internet; Programming profession; Software tools; Testing; Web services; XML;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International

ISSN

0730-3157

Print_ISBN

0-7695-2413-3

Type

conf

DOI

10.1109/COMPSAC.2005.151

Filename

1510064