Commit fdbcafea authored by Andreas Liebig's avatar Andreas Liebig
Browse files

add PSAP test purposes

parent d822f5ef

test_purposes/psap.tplan2

+89 −11
Original line number Diff line number Diff line
@@ -24,6 +24,7 @@ Package NG112_PSAP { 
                - PICS_SERVICE_PSAP

                - PICS_SERVICE_PSAP_UDP

                - PICS_SERVICE_PSAP_TCP

                - PICS_SERVICE_PSAP_MESSAGE

                ;

            entities:

                - IUT
@@ -33,12 +34,14 @@ Package NG112_PSAP { 
                - acceptingIncomingCalls //PSAP ready to receive incoming calls

                - receives //for packets coming from the network to the IUT

                - sends //for packets sent by the IUT to the network

                - establishesIncomingCall //[ref psap.txt:establishesIncomingCall] the incoming call is established 

                - establishesIncomingCall //[ref psap.txt:establishesIncomingCall] The IUT establishes the incoming call

                - inAnActiveIncomingCall //[ref psap.txt:inAnActiveIncomingCall] An incoming call is established

                ;

        }



//			Const {

//         SDP: [ref psap.txt:SDP];

//         SDP_ULAW: [ref psap.txt:SDP_ULAW];

//         SDP_ALAW: [ref psap.txt:SDP_ALAW];

//         SDP_AND_PIDF_MULTIPART [ref psap.txt:SDP_AND_PIDF_MULTIPART];

//      }
@@ -59,7 +62,7 @@ Package NG112_PSAP { 
Test Purpose {

TP Id TP_PSAP_SIP_INVITE_BV_01

Test objective 

    "IUT successfully handles SIP INVITE with service urn via UDP" 

    "IUT successfully handles SIP INVITE with service urn and ULAW via UDP" 

Reference 

    "Next Generation 112 Long Term Definition http://www.eena.org/uploads/gallery/files/pdf/2013-03-15-eena_ng_longtermdefinitionupdated.pdf Clause 4.7",

    "https://tools.ietf.org/html/rfc5031"
@@ -75,7 +78,7 @@ Expected behaviour 
                Request_URI indicating value "urn:service:sos.police",

                Content_Type indicating value "application/sdp",

                body containing

                    SDP

                    SDP_ULAW

                ;

            ;

        }
@@ -87,6 +90,35 @@ Expected behaviour 


Test Purpose {

TP Id TP_PSAP_SIP_INVITE_BV_02

Test objective 

    "IUT successfully handles SIP INVITE with service urn and ALAW via UDP" 

Reference 

    "Next Generation 112 Long Term Definition http://www.eena.org/uploads/gallery/files/pdf/2013-03-15-eena_ng_longtermdefinitionupdated.pdf Clause 4.7",

    "https://tools.ietf.org/html/rfc5031"

Config Id CFG_PSAP_01

PICS Selection PICS_SERVICE_PSAP and PICS_SERVICE_PSAP_UDP

Initial conditions with {

    the IUT entity acceptingIncomingCalls

}

Expected behaviour

    ensure that {

        when {

            the IUT entity receives a UDP SIP_INVITE containing

                Request_URI indicating value "urn:service:sos.police",

                Content_Type indicating value "application/sdp",

                body containing

                    SDP_ALAW

                ;

            ;

        }

        then {

            the IUT entity establishesIncomingCall

        }

    }

}  //End of TP_PSAP_SIP_INVITE_BV_02



Test Purpose {

TP Id TP_PSAP_SIP_INVITE_BV_03

Test objective 

    "IUT successfully handles SIP INVITE with service urn via TCP" 

Reference
@@ -104,7 +136,7 @@ Expected behaviour 
                Request_URI indicating value "urn:service:sos.police",

                Content_Type indicating value "application/sdp",

                body containing

                    SDP

                    SDP_ULAW

                ;

            ;

        }
@@ -112,10 +144,10 @@ Expected behaviour 
            the IUT entity establishesIncomingCall

        }

    }

}  //End of TP_PSAP_SIP_INVITE_BV_02

}  //End of TP_PSAP_SIP_INVITE_BV_03



Test Purpose {

TP Id TP_PSAP_SIP_INVITE_BV_03

TP Id TP_PSAP_SIP_INVITE_BV_04

Test objective 

    "IUT successfully handles SIP INVITE with SDP and PIDF-LO content" 

Reference
@@ -141,10 +173,10 @@ Expected behaviour 
            the IUT entity establishesIncomingCall

        }

    }

}  //End of TP_PSAP_SIP_INVITE_BV_03

}  //End of TP_PSAP_SIP_INVITE_BV_04



Test Purpose {

TP Id TP_PSAP_SIP_INVITE_BV_04

TP Id TP_PSAP_SIP_INVITE_BV_05

Test objective 

    "IUT successfully handles SIP INVITE without service URN" 

Reference
@@ -162,7 +194,7 @@ Expected behaviour 
                Request_URI indicating value "sip:psap@city.com",

                Content_Type indicating value "application/sdp",

                body containing

                    SDP

                    SDP_ULAW

                ;

            ;

        }
@@ -170,5 +202,51 @@ Expected behaviour 
            the IUT entity establishesIncomingCall

        }

    }

}  //End of TP_PSAP_SIP_INVITE_BV_04

}  //End of TP_PSAP_SIP_INVITE_BV_05



Test Purpose {

TP Id TP_PSAP_SIP_INVITE_BV_06

Test objective 

    "IUT successfully handles an incoming SIP BYE" 

Reference 

    "Next Generation 112 Long Term Definition http://www.eena.org/uploads/gallery/files/pdf/2013-03-15-eena_ng_longtermdefinitionupdated.pdf Clause 4.7",

    "https://tools.ietf.org/html/rfc5031"

Config Id CFG_PSAP_01

PICS Selection PICS_SERVICE_PSAP and PICS_SERVICE_PSAP_TCP

Initial conditions with {

    the IUT entity inAnActiveIncomingCall

}

Expected behaviour

    ensure that {

        when {

            the IUT entity receives a SIP_BYE 

        }

        then {

            the IUT entity sends a SIP_OK

        }

    }

}  //End of TP_PSAP_SIP_INVITE_BV_06



Test Purpose {

TP Id TP_PSAP_SIP_INVITE_BV_07

Test objective 

    "IUT successfully handles an incoming SIP MESSAGE" 

Reference 

    "Next Generation 112 Long Term Definition http://www.eena.org/uploads/gallery/files/pdf/2013-03-15-eena_ng_longtermdefinitionupdated.pdf Clause 5.1.9"

Config Id CFG_PSAP_01

PICS Selection PICS_SERVICE_PSAP and PICS_SERVICE_PSAP_MESSAGE

Initial conditions with {

    the IUT entity acceptingIncomingCalls

}

Expected behaviour

    ensure that {

        when {

            the IUT entity receives a SIP_MESSAGE 

        }

        then {

            the IUT entity sends a SIP_OK

        }

    }

}  //End of TP_PSAP_SIP_INVITE_BV_07



}
 
 No newline at end of file

test_purposes/psap.txt

+29 −2
Original line number Diff line number Diff line
@@ -5,7 +5,7 @@ THEN IUT sends OK 
THEN IUT receives ACK





*** SDP

*** SDP_ULAW

v=0

o=alice 2890844526 2890842807 IN IP4 atlanta.example.com

s=-
@@ -16,6 +16,18 @@ a=rtpmap:0 PCMU/8000 
m=video 20002 RTP/AVP 31

a=rtpmap:31 H261/90000



*** SDP_ALAW

v=0

o=alice 2890844526 2890842807 IN IP4 atlanta.example.com

s=-

c=IN IP4 192.0.2.1

t=0 0

m=audio 20000 RTP/AVP 0

a=rtpmap:8 PCMA/8000

m=video 20002 RTP/AVP 31

a=rtpmap:31 H261/90000







*** SDP_AND_PIDF_MULTIPART

 --boundary1
@@ -58,3 +70,18 @@ a=rtpmap:31 H261/90000 
      </tuple>

     </presence>

 --boundary1--    

 

 *** inAnActiveIncomingCall

WHEN the IUT entity receives a TCP SIP_INVITE containing

  Request_URI indicating value "urn:service:sos.police",

  Content_Type indicating value "multipart/mixed",

  body containing

    SDP_AND_PIDF_MULTIPART

    ;

;

THEN the IUT sends TRYING (optional)

THEN the IUT sends RINGING (optional)

THEN the IUT sends OK

THEN the IUT receives ACK



 
 No newline at end of file