<?xml encoding="UTF-8"?> | |
<!ELEMENT TestSuite ( | |
Statistic?, | |
Model*, | |
Coverage*, | |
Constraint*, | |
Directive?, | |
TestSuiteFiles?, | |
TestCase*, | |
Statistic?)> | |
<!ATTLIST TestSuite | |
suiteGenerator CDATA "GOTCHA Release 2.5" | |
date CDATA #REQUIRED | |
master CDATA #IMPLIED> | |
<!ELEMENT Model (StateVar*,RuleDesc*)> | |
<!ELEMENT StateVar EMPTY> | |
<!ATTLIST StateVar | |
name CDATA #REQUIRED | |
range CDATA #REQUIRED | |
coverage (false|true) "false"> | |
<!ELEMENT RuleDesc EMPTY> | |
<!ATTLIST RuleDesc | |
name CDATA #REQUIRED> | |
<!ELEMENT Coverage (#PCDATA)*> | |
<!ATTLIST Coverage | |
cid ID #IMPLIED | |
type CDATA #IMPLIED | |
name CDATA #IMPLIED | |
parms CDATA #IMPLIED> | |
<!ELEMENT Constraint (#PCDATA)*> | |
<!ATTLIST Constraint | |
tcid ID #IMPLIED | |
type CDATA #IMPLIED> | |
<!ELEMENT Directive (#PCDATA)*> | |
<!ELEMENT Statistic (#PCDATA)*> | |
<!ATTLIST Statistic | |
states CDATA #IMPLIED | |
rules CDATA #IMPLIED | |
coverageTasks CDATA #IMPLIED | |
coverageTasksNC CDATA #IMPLIED | |
coverageTasksNearCovered CDATA #IMPLIED | |
testcases CDATA #IMPLIED | |
testLengthAverage CDATA #IMPLIED | |
longestTestCase IDREF #IMPLIED | |
shortestTestCase IDREF #IMPLIED> | |
<!ELEMENT TestSuiteFiles (File*)> | |
<!ELEMENT File EMPTY> | |
<!ATTLIST File | |
path CDATA #REQUIRED | |
firstTestCase CDATA #IMPLIED | |
lastTestCase CDATA #IMPLIED> | |
<!ELEMENT TestCase (CoverageCount*,(Transition)+)> | |
<!ATTLIST TestCase | |
tid ID #IMPLIED> | |
<!ELEMENT CoverageCount EMPTY> | |
<!ATTLIST CoverageCount | |
cid IDREF #IMPLIED | |
coverageTasks CDATA #IMPLIED | |
newCoverageTasks CDATA #IMPLIED> | |
<!ELEMENT Transition (Rule+,State+)+> | |
<!ATTLIST Transition | |
trid CDATA #IMPLIED> | |
<!ELEMENT Rule (MethodPattern+,DataInputPattern+)> | |
<!ATTLIST Rule | |
rid CDATA #IMPLIED> | |
<!ELEMENT MethodPattern (#PCDATA)*> | |
<!ELEMENT DataInputPattern (#PCDATA)*> | |
<!ELEMENT State (#PCDATA)*> | |
<!ATTLIST State | |
sid CDATA #IMPLIED> |