CoVer Configuration File DTD

The Config.xml file have the following DTD:

 <ELEMENT coverconf (iaprint?) >
 <ELEMENT iaprint (type*,sync*,removeval*) >
 <ELEMENT type  (typevalue*) >
 <ATTRLIST type name CDATA #IMPLIED >
 <ELEMENT typevalue  EMPTY >
 <ATTRLIST typevalue 
   name CDATA #IMPLIED 
   value CDATA #IMPLIED
 >
 <ELEMENT sync  (var*) >
 <ATTRLIST sync name CDATA #IMPLIED >
 <ELEMENT var (#PCDATA) >
 <ATTRLIST var type CDATA #IMPLIED >
 <ELEMENT removeval  (#PCDATA) >
 
 

In the above DTD only the interaction printer iaprinter is considered. A set of synchronizations "sync" are caught from the trace and formated and printed where the sync's name matches the UPPAAL channel used. At the state right after the transition, the values of the variables found in the vars (the childs of the sync) are added to the output sync. It is possible to convert the values of the vars to a string by assigning it a type. Such types can also be defined inside iaprinter, and functions as a translation table. This could be interpreted as a signal <sync name> is sent with parameters <var name> ... Parameters that have a values that are equal to one of the values specified as a removeval are removed from the synchronization.

CoVer Config File Example

Example 1:

<?xml version="1.0" ?>
<coverconf>
<iaprint>

<type name="paramtype">
   <typevalue name="NULL" value="-1" />
   <typevalue name="valueis1" value="1" />
   <typevalue name="valueis2" value="2" />
</type>

 <sync name="a" >
   <var type="paramtype">p</var>
 </sync>

 <sync name="b" >
 </sync>

 <sync name="c" >
 </sync>

 <removeval>NULL</removeval>
</iaprint>

</coverconf>

Example of Output

Example based of the defined interaction printer

<?xml version="1.0" ?>
<!-- Generated by Uppaal CoVer -->
<traces>
<trace>
<sync name="a">
    <var name="p">valueis1</var>
</sync>
<sync name="b">
</sync>
</trace>
<trace>
<sync name="a">
    <var name="p">valueis2</var>
</sync>
<sync name="c">
</sync>
</trace>
</traces>