Skip to topic | Skip to bottom

Tesi.OptimizedCartesianProductr1.2 - 19 Apr 2008 - 13:33 - PaoloMarinellitopic end

Start of topic | Skip to actions

Optimized Cartesian Product

Implementation technique to check whether a type is a legal restriction of its base in presence of XSDL 1.1 conditional declarations.


We realized an OCP prototype within Xerces-J 2.9.1. In Downloads you may download both sources and binaries. We tested our implementation in Java 6 only.

In order to test our implementation, you may use our testsuite which can be run through a GUI. In order to do so, you may

  1. download our binary distribution Extract it in any folder. You will find two jars xerces-2.9.1-ocp.jar and resolver.jar. Please include both jars in your classpath.
  2. download a jar file for the GUI xerces-2.9.1-ocp-testsuite.jar, and please include it within your classpath
  3. download a zip file containing our testesuite, and extract it in the folder you prefer. It contains, among the others, a file named test.testSet. It is our testsuite.
  4. run java it.unibo.cs.cta.test.gui.TestsuiteUIMainFrame (please check again that all required jars are within your classpath. You may incude them directly within the command line, using the -classpath option). Our GUI should start.
  5. from the GUI, select the file test.testSet


Our testsuite supports three kinds of test:

  1. schema-check. For instance to check that every type alternatives but the last have a test attribute.
  2. cartesian-product. Such tests only write on your console the context-determined Type Tables and corresponding error conditions built by the OCP static phase.
  3. instance-validation. Such tests actually validate an instance document against a schema.


  • source code.
  • binaries. It contains two jars: xerces-2.9.1-ocp.jar and resolver.jar.
  • xerces-2.9.1-ocp-testsuite.jar: Jar containing a GUI to execute testsuites. The main class is it.unibo.cs.cta.test.gui.TestsuiteUIMainFrame. Before launching, please make sure all jars within the binary distribution (or compiled from source code) are in your classpath.
  • A testsuite for OCP. The main file is test.testSet.

to top

You are here: Tesi > OptimizedCartesianProduct

to top

Copyright © 1999-2019 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Fabio's Wiki? Send feedback