vc_scripts_submodule/coverage-extended-04.dtd at main · TimSVector/vc_scripts_submodule · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
<!-- Portions (C) International Organization for Standardization 1986:
     Permission to copy in any form is granted for use with
     conforming SGML systems and applications as defined in
     ISO 8879, provided this notice is included in all copies.
-->

<!--
    coverage-extended-04.dtd
    Based on Cobertura 0.4 DTD
    Extended for VectorCAST coverage metrics.
    - Allows <methods> and <lines> in any order under <class>
    - Removes <lines> from <method> (method is now EMPTY)
    - Adds extended coverage attributes:
      statement-rate, mcdcpair-coverage-rate, function-coverage-rate, functioncall-coverage-rate
-->

  <!ELEMENT coverage (sources?,packages)>
  <!ATTLIST coverage
    version                    CDATA #REQUIRED
    timestamp                  CDATA #REQUIRED
    line-rate                  CDATA #IMPLIED
    branch-rate                CDATA #IMPLIED
    complexity                 CDATA #IMPLIED
    branches-valid             CDATA #IMPLIED
    branches-covered           CDATA #IMPLIED
    lines-valid                CDATA #IMPLIED
    lines-covered              CDATA #IMPLIED
    statement-rate             CDATA #IMPLIED
    mcdcpair-coverage-rate     CDATA #IMPLIED
    function-coverage-rate     CDATA #IMPLIED
    functioncall-coverage-rate CDATA #IMPLIED
  >

  <!ELEMENT sources (source*)>
  <!ELEMENT source (#PCDATA)>
  <!ELEMENT packages (package*)>

  <!ELEMENT package (classes)>
  <!ATTLIST package
    name                  CDATA #REQUIRED
    line-rate             CDATA #IMPLIED
    branch-rate           CDATA #IMPLIED
    complexity            CDATA #IMPLIED
    branches-valid        CDATA #IMPLIED
    branches-covered      CDATA #IMPLIED
    lines-valid           CDATA #IMPLIED
    lines-covered         CDATA #IMPLIED
    statement-rate        CDATA "100%"
    mcdcpair-coverage     CDATA "100%"
    function-coverage     CDATA "100%"
    functioncall-coverage CDATA "100%"
  >

  <!ELEMENT classes (class*)>

  <!ELEMENT class (methods,lines)>
  <!ATTLIST class
    name                  CDATA #REQUIRED
    filename              CDATA #REQUIRED
    line-rate             CDATA #IMPLIED
    complexity            CDATA #IMPLIED
    branch-rate           CDATA #IMPLIED
    mcdcpair-coverage     CDATA "100%"
    functioncall-coverage CDATA "100%"
    function-coverage     CDATA "100%"
  >

  <!ELEMENT methods (method*)>

  <!ELEMENT method EMPTY>
  <!ATTLIST method
    name                  CDATA #REQUIRED
    signature             CDATA #REQUIRED
    line-rate             CDATA #IMPLIED
    branch-rate           CDATA #IMPLIED
    complexity            CDATA #IMPLIED
    mcdcpair-coverage     CDATA "100%"
    functioncall-coverage CDATA "100%"
    function-coverage     CDATA "100%"
  >

  <!ELEMENT lines (line*)>

  <!ELEMENT line (conditions*)>
  <!ATTLIST line
    number                CDATA #REQUIRED
    hits                  CDATA #REQUIRED
    branch                CDATA "false"
    condition-coverage    CDATA "100%"
    mcdcpair-coverage     CDATA "100%"
    functioncall-coverage CDATA "100%"
  >

  <!ELEMENT conditions (condition*)>

  <!ELEMENT condition EMPTY>
  <!ATTLIST condition
    number   CDATA #REQUIRED
    type     CDATA #REQUIRED
    coverage CDATA #REQUIRED
  >