Loading ttcn/AtsESRP/AtsESRP_TestCases.ttcn +40 −0 Original line number Diff line number Diff line Loading @@ -413,6 +413,46 @@ module AtsESRP_TestCases { // Postamble f_cf_01_http_down(); } // End of TC_ESRP_HTTP_DEQUEUE_REGISTRATION_TARGET_REGISTRATION_BV_02 /** * @desc "IUT sends correct response for Dequeue Deregistration" */ testcase TC_ESRP_HTTP_DEQUEUE_REGISTRATION_TARGET_DEREGISTRATION_BV_01() runs on HttpComponent system TestAdapter { // Test control f_check_statements({ { name := "PICS_ESRP_TARGET_DEQUEUE_REGISTRATION_SUPPORT", val := PICS_ESRP_TARGET_DEQUEUE_REGISTRATION_SUPPORT } }) // Test component configuration f_cf_01_http_up(); // Preamble f_sendDequeueRegistration( m_dequeue_registration_request( PX_ESRP_DEQUEUE_REGISTRATION_QUEUE_INVALID, PX_ESRP_DEQUEUE_REGISTRATION_DEQUEUER, PX_ESRP_DEQUEUE_REGISTRATION_EXPIRATION ) ); f_awaitingDequeueRegistrationResponse(mw_dequeue_response_ok(?)) f_sendDequeueRegistration( m_dequeue_registration_request( PX_ESRP_DEQUEUE_REGISTRATION_QUEUE_INVALID, PX_ESRP_DEQUEUE_REGISTRATION_DEQUEUER, 0 ) ); // Test Body tc_ac.start; f_awaitingDequeueRegistrationResponse(mw_dequeue_response_ok(0)) // Postamble f_cf_01_http_down(); } // End of TC_ESRP_HTTP_DEQUEUE_REGISTRATION_TARGET_DEREGISTRATION_BV_01 } // End of group DequeueRegistrationTarget group QueueState { Loading Loading
ttcn/AtsESRP/AtsESRP_TestCases.ttcn +40 −0 Original line number Diff line number Diff line Loading @@ -413,6 +413,46 @@ module AtsESRP_TestCases { // Postamble f_cf_01_http_down(); } // End of TC_ESRP_HTTP_DEQUEUE_REGISTRATION_TARGET_REGISTRATION_BV_02 /** * @desc "IUT sends correct response for Dequeue Deregistration" */ testcase TC_ESRP_HTTP_DEQUEUE_REGISTRATION_TARGET_DEREGISTRATION_BV_01() runs on HttpComponent system TestAdapter { // Test control f_check_statements({ { name := "PICS_ESRP_TARGET_DEQUEUE_REGISTRATION_SUPPORT", val := PICS_ESRP_TARGET_DEQUEUE_REGISTRATION_SUPPORT } }) // Test component configuration f_cf_01_http_up(); // Preamble f_sendDequeueRegistration( m_dequeue_registration_request( PX_ESRP_DEQUEUE_REGISTRATION_QUEUE_INVALID, PX_ESRP_DEQUEUE_REGISTRATION_DEQUEUER, PX_ESRP_DEQUEUE_REGISTRATION_EXPIRATION ) ); f_awaitingDequeueRegistrationResponse(mw_dequeue_response_ok(?)) f_sendDequeueRegistration( m_dequeue_registration_request( PX_ESRP_DEQUEUE_REGISTRATION_QUEUE_INVALID, PX_ESRP_DEQUEUE_REGISTRATION_DEQUEUER, 0 ) ); // Test Body tc_ac.start; f_awaitingDequeueRegistrationResponse(mw_dequeue_response_ok(0)) // Postamble f_cf_01_http_down(); } // End of TC_ESRP_HTTP_DEQUEUE_REGISTRATION_TARGET_DEREGISTRATION_BV_01 } // End of group DequeueRegistrationTarget group QueueState { Loading