SCL Component Test Bed

Appendix

I. Test Specification DTD

The full document type definition of our test specification is
reproduced here: comments have been removed to satisfy
the constraints of this publication. An extensively commented
version may be found on the Software Component
Laboratory web site.

<?xml version="1.0" encoding="utf-8"?>
<!ELEMENT TestSpecification ( TestSet* ) >
<!ELEMENT TestSet (Desc? (Operation | TestGroup | Invariant )* ) >
<!ATTLIST TestSet Name ID #REQUIRED >
<!ELEMENT TestGroup (Desc? (Operation | TestGroup | Invariant)* ) >
<!ATTLIST TestGroup Name ID #REQUIRED >
<!ATTLIST TestGroup TargetMethod CDATA #IMPLIED >
<!ELEMENT Invariant ( Arg* (Result | Exception)? ) >
<!ATTLIST Invariant DataType CDATA #REQUIRED >
<!ATTLIST Invariant MethodCall CDATA #REQUIRED >
<!ELEMENT Operation ( (Constructor | MethodCall | Invariant)* ) >
<!ATTLIST Operation Name ID #REQUIRED >
<!ATTLIST Operation Pre IDREF #IMPLIED>
<!ATTLIST Operation Version CDATA #IMPLIED>
<!ELEMENT Constructor ( Arg*, (Result | Exception)? ) >
<!ATTLIST Constructor Name CDATA #REQUIRED >
<!ELEMENT MethodCall ( Arg*, (Result | Exception)? ) >
<!ATTLIST MethodCall Name CDATA #REQUIRED >
<!ATTLIST MethodCall Target CDATA #REQUIRED >
<!ATTLIST MethodCall Static ( Y | N ) "N" >
<!ELEMENT Arg (#PCDATA) >
<!ATTLIST Arg Name CDATA #IMPLIED >
<!ATTLIST Arg Source CDATA #IMPLIED >
<!ATTLIST Arg DataType CDATA #IMPLIED>
<!ELEMENT Result (Exp?) >
<!ATTLIST Result Name CDATA #IMPLIED>
<!ATTLIST Result DataType CDATA #IMPLIED>
<!ATTLIST Result Qualification CDATA #IMPLIED >
<!ATTLIST Result Save ( Y | N ) "N" >
<!ELEMENT Exp (#PCDATA) >
<!ATTLIST Exp SpecVersion CDATA #IMPLIED >
<!ELEMENT Exception (Exp?) >
<!ATTLIST Exception Name CDATA #IMPLIED >
<!ATTLIST Exception DataType CDATA #REQUIRED >
<!ATTLIST Exception Qualification CDATA #IMPLIED >
<!ATTLIST Exception Save ( Y | N ) "N" >

From: 'Component Certification' paper (compcert.pdf)
See: http://xml.coverpages.org/scl.html