Commit eef2bd0c authored by cankar's avatar cankar
Browse files

TP model for test configurations 1Gm, 2Gm, 1Mw and 1Mw1Gm

parent efd5cb7a
Loading
Loading
Loading
Loading
+389 −178

File changed.

Preview size limit exceeded, changes collapsed.

+188 −151

File changed.

Preview size limit exceeded, changes collapsed.

+2 −2
Original line number Diff line number Diff line
@@ -2,8 +2,8 @@ system {
    Inbound GmIn   : SIPPacket;
    Outbound GmOut : SIPPacket;

    Inbound ConfIn   : configNetworkReq, configUserReq;
    Outbound ConfOut : configNetworkResp, configUserResp;
    Inbound ConfIn   : configSystemReq;
    Outbound ConfOut : configSystemResp;

    Inbound MwIn   : SIPPacket;
    Outbound MwOut : SIPPacket;
+23 −6
Original line number Diff line number Diff line
@@ -8,7 +8,7 @@ record SIPPacket {

    AuthorizationHeader authorization_header;
    EventHeader event_header;
    ExpireHeader expires_header;
    ExpireHeader expire_header;
    FromHeader from;
    NotifyBody notify_body;
    PAccessNetInfoHeader p_access_network_info_header;
@@ -30,10 +30,15 @@ record SIPPacket {
    SupportedHeader supported_header;
    ToHeader to;
    ViaHeader via_header;
    ViaHeader topmost_via_header;
    WwwAuthenticateHeader www_authenticate_header;
    ContentTypeHeader content_type_header;
    PMediaAuthorizationHeader p_media_authorization_header;
    MinSEHeader min_se_header;
    SDPOffer sdpOffer;
    EncryptedSDPOffer encryptedSDPOffer;
    SDPAnswer sdpAnswer;
    ReasonHeader reason;
}

// additional typedefs for sip messages
@@ -74,10 +79,17 @@ record SIP481Resp extends SIPPacket{};
record HeaderInfo {
    String present;
    String value;

    public boolean isPresent() {
        return present == "[present]";
    }
}

record ReasonHeader extends HeaderInfo {}
record MinSEHeader extends HeaderInfo {}

record SDPOffer extends HeaderInfo {}
record EncryptedSDPOffer extends HeaderInfo {}
record SDPAnswer extends HeaderInfo {}
record PAssertedIdHeader {
    String sip_uri;
}
@@ -151,6 +163,13 @@ record VisitedNetPreProvisionedStr extends HeaderInfo {}

// CONFIGURATION MESSAGES FOR UEs and IUT

record configSystemReq {
    configNetworkReq net;
    configUserReq    ue1;
    configUserReq    ue2;
}
record configSystemResp {}

record configNetworkReq { // was IUTConfiguration
    boolean security_association;
    boolean forward_ini02;  // defines the behavior of the IMS
@@ -170,15 +189,13 @@ record configNetworkReq { // was IUTConfiguration
    boolean forward_sub09;
    boolean forward_tar11;
    boolean forward_tar02;
    boolean response_reg09;
    boolean encrypted_sdp_offer;
}

record configNetworkResp {}

record configUserReq { // was UEConfiguration
    String sender;
    boolean init_security_association;
    boolean init_emergency_registered;
    boolean ue_is_visiting_iut;
}

record configUserResp {}
 No newline at end of file