Newer
Older
/**
* @author ETSI / STF405
* @version $URL: svn+ssh://vcs.etsi.org/TTCN3/LIB/LibIts/trunk/ttcn/LibIts_TestSystem.ttcn $
* $Id: LibIts_TestSystem.ttcn 408 2012-02-28 13:49:56Z garciay $
* @desc Test System module for ITS GeoNetworking
*
*/
module LibItsGeoNetworking_TestSystem {
// LibCommon
import from LibCommon_Time {modulepar all};
import from LibCommon_Sync all;
import from LibCommon_BasicTypesAndValues {
import from LibItsCommon_TestSystem all;
import from LibItsCommon_TypesAndValues all;
import from LibItsGeoNetworking_TypesAndValues all;
import from LibItsIpv6OverGeoNetworking_TypesAndValues all;
import from LibItsExternal_TypesAndValues all;
import from LibItsGeoNetworking_Functions all;
group portDefinitions {
/**
* @desc Adapter control port
*/
type port AdapterControlPort message {
out
AcGnPrimitive, AcGn6Primitive;
in
AcGnResponse, AcGn6Response;
} // end AdapterControlPort
/**
* @desc Upper Tester port
*/
type port UpperTesterPort message {
out
UtInitialize, UtChangePosition, UtGnTrigger, UtCheck;
UtInitializeResult, UtChangePositionResult, UtResult;
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
102
103
104
105
106
107
108
109
110
111
112
} // end UpperTesterPort
} // end portDefinitions
group interfacePorts {
group networkAndTransportPorts {
group nt2Ports {
/**
* @desc NT2 GeoNetworking Port (GeoNetworking/G5)
*/
type port GeoNetworkingPort message {
in GeoNetworkingInd;
out GeoNetworkingReq;
} // end GeoNetworkingPort
} // End of group nt2Ports
} // End of group networkAndTransportPorts
} // End of group interfacePorts
group componentDefinitions {
/**
* @desc ITS Main Test Component
*/
type component ItsMtc extends ItsBaseMtc, ServerSyncComp {
port UpperTesterPort utPort;
port AdapterControlPort acPort;
} // end ItsMtc
/**
* @desc ITS System Adapter
*/
type component ItsGeoNetworkingSystem {
port UpperTesterPort utPort;
port AdapterControlPort acPort;
// NT2 ports
port GeoNetworkingPort geoNetworkingPort;
} // end ItsGeoNetworkingSystem
} // End of group componentDefinitions
type component ItsBaseGeoNetworking extends ItsBaseComponent {
port UpperTesterPort utPort;
port AdapterControlPort acPort;
}
/**
* @desc Test component for ITS Network and Transport layer
*/
type component ItsGeoNetworking extends ItsBaseGeoNetworking {
// NT2 ports
port GeoNetworkingPort geoNetworkingPort;
//variables for Gn
var UInt16 vc_localSeqNumber := f_getInitialSequenceNumber();
var PositionTable vc_positionTable := {};
var GeoAreaTable vc_areaTable := {};
var charstring vc_componentName := "";
var default vc_neighbourDefault;
var integer vc_multipleMessagesCount := f_getMessageCount();
} // End of component ItsGeoNetworking
group networkAndTransportPrimitives {
group nt2Primitives {
/**
* @desc NT2 GeoNetworking Indication Primitive
*/
type record GeoNetworkingInd {
GeoNetworkingPdu msgIn,
MacAddress macDestinationAddress
}
/**
* @desc NT2 GeoNetworking Request Primitive
*/
type record GeoNetworkingReq {
GeoNetworkingPdu msgOut,
MacAddress macDestinationAddress