| /////////////////////////////////////////////////////////////////////////////// |
| // |
| // Copyright (c) 2000-2018 Ericsson Telecom AB |
| // |
| // All rights reserved. This program and the accompanying materials |
| // are made available under the terms of the Eclipse Public License v1.0 |
| // which accompanies this distribution, and is available at |
| // http://www.eclipse.org/legal/epl-v10.html |
| ///////////////////////////////////////////////////////////////////////////////
|
| //
|
| // File: MBT_Qtronic_Testcases.ttcn
|
| // Rev: <RnXnn>
|
| // Prodnr: CNL 113 659
|
| // Updated: 2010-10-01
|
| // Contact: http://ttcn.ericsson.se
|
| ///////////////////////////////////////////////////////////////////////////////
|
|
|
| /* -*- ttcn3 -*- */
|
|
|
| /** @file C:\Users\eantwuh\workspace\SIPsim\MBT_Qtronic_Testcases.ttcn
|
| *
|
| * @author Conformiq TTCN3 Script Backend 0.1
|
| * @date Thu Sep 30 14:32:36 CEST 2010
|
| *
|
| * WARNING! This file has been automatically generated using
|
| * Ericsson Qtronic TTCN3 Script Backend (based on the original Conformiq Backend).DO NOT EDIT.
|
| */
|
|
|
| module MBT_Qtronic_Testcases
|
| {
|
| import from MBT_Qtronic_Types all;
|
| import from MBT_Qtronic_TestHarness all;
|
| /* User provided imports begin */
|
| import from MBT_Qtronic_Demo all; import from EPTF_MBT_LGen_Definitions all;
|
| /* User provided imports end */
|
| /* Qtronic generated alt step */
|
| altstep QtronicDefaultAlt() runs on Qtronic_CT
|
| {
|
| [] any port.receive
|
| {
|
| harnessTimer.stop;
|
| setverdict(fail);
|
| f_MBT_Qtronic_Demo_endTestCase();
|
| stop;
|
| }
|
| [] harnessTimer.timeout
|
| {
|
| setverdict(fail);
|
| f_MBT_Qtronic_Demo_endTestCase();
|
| stop;
|
| }
|
| }
|
| /* Generated test case #1 */
|
| testcase Test_Case_1() runs on Qtronic_CT
|
| {
|
| var float oldtimer := 0.0;
|
| var float SLACK := 10.0;
|
| var default default_behaviour_ref;
|
| f_MBT_Qtronic_Demo_beginTestCase();
|
| default_behaviour_ref := activate(QtronicDefaultAlt());
|
| log("Structural feature: method: main()");
|
| log("Structural feature: method: SIPClient.SIPClient()");
|
| log("Structural feature: method: SIPClient.run()");
|
| log("Structural feature: state: SIPClient.initial-state-0");
|
| log("Structural feature: transition: SIPClient.initial-state-0->SIPClient.Init-9");
|
| log("Structural feature: state: SIPClient.Init");
|
| qtronic_send_UserInput_to_userIn(UserInputTemplate1);
|
| oldtimer := 0.0;
|
| log("Structural feature: transition: SIPClient.Init->SIPClient.Calling-0");
|
| log("Structural feature: method: SIPClient.Invite()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate2);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate3);
|
| oldtimer := 0.0;
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate4);
|
| oldtimer := 0.0;
|
| log("Structural feature: state: SIPClient.Calling");
|
| log("Structural feature: state: SIPClient.Calling.initial-state-7");
|
| log("Structural feature: transition: SIPClient.Calling.initial-state-7->SIPClient.Calling.Wait-16");
|
| log("Structural feature: state: SIPClient.Calling.Wait");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate5);
|
| oldtimer := 0.0;
|
| log("Structural feature: method: SIPClient.incomingResponse(int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: transition: SIPClient.Calling->SIPClient.Ringing-1");
|
| log("Structural feature: state: SIPClient.Ringing");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate6);
|
| oldtimer := 0.0;
|
| log("Structural feature: method: SIPClient.incomingResponse(int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: method: SIPClient.incomingResponse(int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: transition: SIPClient.Ringing->SIPClient.final-state-6-7");
|
| log("Structural feature: method: SIPClient.Ack()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate7);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Structural feature: state: SIPClient.final-state-6");
|
| setverdict(pass);
|
| deactivate(default_behaviour_ref);
|
| f_MBT_Qtronic_Demo_endTestCase();
|
| }
|
| template UserInput UserInputTemplate1 :=
|
| {
|
| input1 := "invite",
|
| input2 := "sip:127.0.0.1:5061"
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate2 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "INVITE",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := -1
|
| }
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate3 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_init",
|
| stepArgs := {
|
|
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate4 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_handleINVITE",
|
| stepArgs := {
|
|
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate5 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_createResponse",
|
| stepArgs := {
|
| 1
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate6 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_createResponse",
|
| stepArgs := {
|
| 37
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate7 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "ACK",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| /* Generated test case #2 */
|
| testcase Test_Case_2() runs on Qtronic_CT
|
| {
|
| var float oldtimer := 0.0;
|
| var float SLACK := 10.0;
|
| var default default_behaviour_ref;
|
| f_MBT_Qtronic_Demo_beginTestCase();
|
| default_behaviour_ref := activate(QtronicDefaultAlt());
|
| log("Structural feature: method: main()");
|
| log("Structural feature: method: SIPClient.SIPClient()");
|
| log("Structural feature: method: SIPClient.run()");
|
| log("Structural feature: state: SIPClient.initial-state-0");
|
| log("Structural feature: transition: SIPClient.initial-state-0->SIPClient.Init-9");
|
| log("Structural feature: state: SIPClient.Init");
|
| qtronic_send_UserInput_to_userIn(UserInputTemplate8);
|
| oldtimer := 0.0;
|
| log("Structural feature: transition: SIPClient.Init->SIPClient.Calling-0");
|
| log("Structural feature: method: SIPClient.Invite()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate9);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate10);
|
| oldtimer := 0.0;
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate11);
|
| oldtimer := 0.0;
|
| log("Structural feature: state: SIPClient.Calling");
|
| log("Structural feature: state: SIPClient.Calling.initial-state-7");
|
| log("Structural feature: transition: SIPClient.Calling.initial-state-7->SIPClient.Calling.Wait-16");
|
| log("Structural feature: state: SIPClient.Calling.Wait");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate12);
|
| oldtimer := 0.0;
|
| log("Structural feature: method: SIPClient.incomingResponse(int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: transition: SIPClient.Calling->SIPClient.Ringing-1");
|
| log("Structural feature: state: SIPClient.Ringing");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate13);
|
| oldtimer := 0.0;
|
| log("Structural feature: method: SIPClient.incomingResponse(int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: method: SIPClient.incomingResponse(int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: transition: SIPClient.Ringing->SIPClient.Ready-2");
|
| log("Structural feature: method: SIPClient.Ack()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate14);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Requirement: requirement: Acknowledge established call with ACK");
|
| log("Structural feature: state: SIPClient.Ready");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate15);
|
| oldtimer := 0.0;
|
| log("Structural feature: method: SIPClient.incomingRequest(String)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: transition: SIPClient.Ready->SIPClient.final-state-3-6");
|
| log("Structural feature: method: SIPClient.SendOK(String)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate16);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Requirement: requirement: Terminating/Send OK in response to BYE");
|
| log("Structural feature: state: SIPClient.final-state-3");
|
| setverdict(pass);
|
| deactivate(default_behaviour_ref);
|
| f_MBT_Qtronic_Demo_endTestCase();
|
| }
|
| template UserInput UserInputTemplate8 :=
|
| {
|
| input1 := "invite",
|
| input2 := "sip:127.0.0.1:5061"
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate9 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "INVITE",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := -1
|
| }
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate10 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_init",
|
| stepArgs := {
|
|
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate11 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_handleINVITE",
|
| stepArgs := {
|
|
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate12 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_createResponse",
|
| stepArgs := {
|
| 1
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate13 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_createResponse",
|
| stepArgs := {
|
| 5
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate14 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "ACK",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate15 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_createBYE",
|
| stepArgs := {
|
|
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate16 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "200",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| /* Generated test case #3 */
|
| testcase Test_Case_3() runs on Qtronic_CT
|
| {
|
| var float oldtimer := 0.0;
|
| var float SLACK := 10.0;
|
| var default default_behaviour_ref;
|
| f_MBT_Qtronic_Demo_beginTestCase();
|
| default_behaviour_ref := activate(QtronicDefaultAlt());
|
| log("Structural feature: method: main()");
|
| log("Structural feature: method: SIPClient.SIPClient()");
|
| log("Structural feature: method: SIPClient.run()");
|
| log("Structural feature: state: SIPClient.initial-state-0");
|
| log("Structural feature: transition: SIPClient.initial-state-0->SIPClient.Init-9");
|
| log("Structural feature: state: SIPClient.Init");
|
| qtronic_send_UserInput_to_userIn(UserInputTemplate17);
|
| oldtimer := 0.0;
|
| log("Structural feature: transition: SIPClient.Init->SIPClient.Calling-0");
|
| log("Structural feature: method: SIPClient.Invite()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate18);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate19);
|
| oldtimer := 0.0;
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate20);
|
| oldtimer := 0.0;
|
| log("Structural feature: state: SIPClient.Calling");
|
| log("Structural feature: state: SIPClient.Calling.initial-state-7");
|
| log("Structural feature: transition: SIPClient.Calling.initial-state-7->SIPClient.Calling.Wait-16");
|
| log("Structural feature: state: SIPClient.Calling.Wait");
|
| log("Structural feature: transition: SIPClient.Calling.Wait->SIPClient.Calling.junction-state-8-14");
|
| log("Structural feature: method: SIPClient.RetransmittedRequest()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.500000000 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate21);
|
| harnessTimer.stop;
|
| oldtimer := 0.500000000;
|
| log("Requirement: requirement: 17.1.1.2 INVITE timers/Resends INVITE after A timeout");
|
| log("Structural feature: state: SIPClient.Calling.junction-state-8");
|
| log("Structural feature: transition: SIPClient.Calling.junction-state-8->SIPClient.Calling.Wait-15");
|
| log("Structural feature: state: SIPClient.Calling.Wait");
|
| log("Structural feature: transition: SIPClient.Calling.Wait->SIPClient.Calling.junction-state-8-14");
|
| log("Structural feature: method: SIPClient.RetransmittedRequest()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((1.500000000 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate22);
|
| harnessTimer.stop;
|
| oldtimer := 1.500000000;
|
| log("Requirement: requirement: 17.1.1.2 INVITE timers/Resends INVITE after A timeout");
|
| log("Structural feature: state: SIPClient.Calling.junction-state-8");
|
| log("Structural feature: transition: SIPClient.Calling.junction-state-8->SIPClient.Calling.Wait-15");
|
| log("Structural feature: state: SIPClient.Calling.Wait");
|
| log("Structural feature: transition: SIPClient.Calling.Wait->SIPClient.Calling.junction-state-8-14");
|
| log("Structural feature: method: SIPClient.RetransmittedRequest()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((3.500000000 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate23);
|
| harnessTimer.stop;
|
| oldtimer := 3.500000000;
|
| log("Requirement: requirement: 17.1.1.2 INVITE timers/Resends INVITE after A timeout");
|
| log("Structural feature: state: SIPClient.Calling.junction-state-8");
|
| log("Structural feature: transition: SIPClient.Calling.junction-state-8->SIPClient.Calling.Wait-15");
|
| log("Structural feature: state: SIPClient.Calling.Wait");
|
| log("Structural feature: transition: SIPClient.Calling.Wait->SIPClient.Calling.junction-state-8-14");
|
| log("Structural feature: method: SIPClient.RetransmittedRequest()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((7.500000000 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate24);
|
| harnessTimer.stop;
|
| oldtimer := 7.500000000;
|
| log("Requirement: requirement: 17.1.1.2 INVITE timers/Resends INVITE after A timeout");
|
| log("Structural feature: state: SIPClient.Calling.junction-state-8");
|
| log("Structural feature: transition: SIPClient.Calling.junction-state-8->SIPClient.Calling.Wait-15");
|
| log("Structural feature: state: SIPClient.Calling.Wait");
|
| log("Structural feature: transition: SIPClient.Calling->SIPClient.final-state-1-3");
|
| log("Requirement: requirement: 17.1.1.2 INVITE timers/Terminates INVITE cycle after B timeout");
|
| log("Structural feature: method: SIPClient.TimeOut()");
|
| harnessTimer.start((8.0 - oldtimer) + SLACK);
|
| qtronic_receive_TimeOutIndication_from_userOut(TimeOutIndicationTemplate25);
|
| harnessTimer.stop;
|
| oldtimer := 8.0;
|
| log("Structural feature: state: SIPClient.final-state-1");
|
| setverdict(pass);
|
| deactivate(default_behaviour_ref);
|
| f_MBT_Qtronic_Demo_endTestCase();
|
| }
|
| template UserInput UserInputTemplate17 :=
|
| {
|
| input1 := "invite",
|
| input2 := "sip:127.0.0.1:5061"
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate18 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "INVITE",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := -1
|
| }
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate19 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_init",
|
| stepArgs := {
|
|
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate20 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_handleINVITE",
|
| stepArgs := {
|
|
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate21 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "Retransmitted request",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate22 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "Retransmitted request",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate23 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "Retransmitted request",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate24 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "Retransmitted request",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template TimeOutIndication TimeOutIndicationTemplate25 :=
|
| {
|
|
|
| }
|
| /* Generated test case #4 */
|
| testcase Test_Case_4() runs on Qtronic_CT
|
| {
|
| var float oldtimer := 0.0;
|
| var float SLACK := 10.0;
|
| var default default_behaviour_ref;
|
| f_MBT_Qtronic_Demo_beginTestCase();
|
| default_behaviour_ref := activate(QtronicDefaultAlt());
|
| log("Structural feature: method: main()");
|
| log("Structural feature: method: SIPClient.SIPClient()");
|
| log("Structural feature: method: SIPClient.run()");
|
| log("Structural feature: state: SIPClient.initial-state-0");
|
| log("Structural feature: transition: SIPClient.initial-state-0->SIPClient.Init-9");
|
| log("Structural feature: state: SIPClient.Init");
|
| qtronic_send_UserInput_to_userIn(UserInputTemplate26);
|
| oldtimer := 0.0;
|
| log("Structural feature: transition: SIPClient.Init->SIPClient.Calling-0");
|
| log("Structural feature: method: SIPClient.Invite()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate27);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate28);
|
| oldtimer := 0.0;
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate29);
|
| oldtimer := 0.0;
|
| log("Structural feature: state: SIPClient.Calling");
|
| log("Structural feature: state: SIPClient.Calling.initial-state-7");
|
| log("Structural feature: transition: SIPClient.Calling.initial-state-7->SIPClient.Calling.Wait-16");
|
| log("Structural feature: state: SIPClient.Calling.Wait");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate30);
|
| oldtimer := 0.0;
|
| log("Structural feature: method: SIPClient.incomingResponse(int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: transition: SIPClient.Calling->SIPClient.Ringing-1");
|
| log("Structural feature: state: SIPClient.Ringing");
|
| qtronic_send_UserInput_to_userIn(UserInputTemplate31);
|
| oldtimer := 0.0;
|
| log("Structural feature: transition: SIPClient.Ringing->SIPClient.Canceling-12");
|
| log("Structural feature: state: SIPClient.Canceling");
|
| log("Structural feature: state: SIPClient.Canceling.initial-state-11");
|
| log("Structural feature: transition: SIPClient.Canceling.initial-state-11->SIPClient.Canceling.Wait-20");
|
| log("Structural feature: method: SIPClient.Cancel()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate32);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Structural feature: state: SIPClient.Canceling.Wait");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate33);
|
| oldtimer := 0.0;
|
| log("Structural feature: method: SIPClient.incomingResponse(int,int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: transition: SIPClient.Canceling->SIPClient.Waiting Response-10");
|
| log("Structural feature: state: SIPClient.Waiting Response");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate34);
|
| oldtimer := 0.0;
|
| log("Structural feature: method: SIPClient.incomingResponse(int,int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: transition: SIPClient.Waiting Response->SIPClient.final-state-4-8");
|
| log("Structural feature: method: SIPClient.Ack()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate35);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Structural feature: state: SIPClient.final-state-4");
|
| setverdict(pass);
|
| deactivate(default_behaviour_ref);
|
| f_MBT_Qtronic_Demo_endTestCase();
|
| }
|
| template UserInput UserInputTemplate26 :=
|
| {
|
| input1 := "invite",
|
| input2 := "sip:127.0.0.1:5061"
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate27 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "INVITE",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := -1
|
| }
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate28 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_init",
|
| stepArgs := {
|
|
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate29 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_handleINVITE",
|
| stepArgs := {
|
|
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate30 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_createResponse",
|
| stepArgs := {
|
| 1
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template UserInput UserInputTemplate31 :=
|
| {
|
| input1 := "cancel",
|
| input2 := ""
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate32 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "CANCEL",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate33 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_createResponse",
|
| stepArgs := {
|
| 5,
|
| 2 },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate34 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_createResponse",
|
| stepArgs := {
|
| 38,
|
| 4 },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate35 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "ACK",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| /* Generated test case #5 */
|
| testcase Test_Case_5() runs on Qtronic_CT
|
| {
|
| var float oldtimer := 0.0;
|
| var float SLACK := 10.0;
|
| var default default_behaviour_ref;
|
| f_MBT_Qtronic_Demo_beginTestCase();
|
| default_behaviour_ref := activate(QtronicDefaultAlt());
|
| log("Structural feature: method: main()");
|
| log("Structural feature: method: SIPClient.SIPClient()");
|
| log("Structural feature: method: SIPClient.run()");
|
| log("Structural feature: state: SIPClient.initial-state-0");
|
| log("Structural feature: transition: SIPClient.initial-state-0->SIPClient.Init-9");
|
| log("Structural feature: state: SIPClient.Init");
|
| qtronic_send_UserInput_to_userIn(UserInputTemplate36);
|
| oldtimer := 0.0;
|
| log("Structural feature: transition: SIPClient.Init->SIPClient.Calling-0");
|
| log("Structural feature: method: SIPClient.Invite()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate37);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate38);
|
| oldtimer := 0.0;
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate39);
|
| oldtimer := 0.0;
|
| log("Structural feature: state: SIPClient.Calling");
|
| log("Structural feature: state: SIPClient.Calling.initial-state-7");
|
| log("Structural feature: transition: SIPClient.Calling.initial-state-7->SIPClient.Calling.Wait-16");
|
| log("Structural feature: state: SIPClient.Calling.Wait");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate40);
|
| oldtimer := 0.0;
|
| log("Structural feature: method: SIPClient.incomingResponse(int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: transition: SIPClient.Calling->SIPClient.Ringing-1");
|
| log("Structural feature: state: SIPClient.Ringing");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate41);
|
| oldtimer := 0.0;
|
| log("Structural feature: method: SIPClient.incomingResponse(int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: method: SIPClient.incomingResponse(int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: transition: SIPClient.Ringing->SIPClient.Ready-2");
|
| log("Structural feature: method: SIPClient.Ack()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate42);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Requirement: requirement: Acknowledge established call with ACK");
|
| log("Structural feature: state: SIPClient.Ready");
|
| qtronic_send_UserInput_to_userIn(UserInputTemplate43);
|
| oldtimer := 0.0;
|
| log("Structural feature: transition: SIPClient.Ready->SIPClient.Terminating-4");
|
| log("Structural feature: state: SIPClient.Terminating");
|
| log("Structural feature: state: SIPClient.Terminating.initial-state-9");
|
| log("Structural feature: transition: SIPClient.Terminating.initial-state-9->SIPClient.Terminating.Wait-17");
|
| log("Structural feature: method: SIPClient.Bye()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate44);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Structural feature: state: SIPClient.Terminating.Wait");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate45);
|
| oldtimer := 0.0;
|
| log("Structural feature: method: SIPClient.incomingResponse(int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: transition: SIPClient.Terminating->SIPClient.final-state-5-5");
|
| log("Requirement: requirement: Terminating/Wait for OK in response to BYE");
|
| log("Structural feature: state: SIPClient.final-state-5");
|
| setverdict(pass);
|
| deactivate(default_behaviour_ref);
|
| f_MBT_Qtronic_Demo_endTestCase();
|
| }
|
| template UserInput UserInputTemplate36 :=
|
| {
|
| input1 := "invite",
|
| input2 := "sip:127.0.0.1:5061"
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate37 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "INVITE",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := -1
|
| }
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate38 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_init",
|
| stepArgs := {
|
|
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate39 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_handleINVITE",
|
| stepArgs := {
|
|
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate40 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_createResponse",
|
| stepArgs := {
|
| 1
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate41 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_createResponse",
|
| stepArgs := {
|
| 5
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate42 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "ACK",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template UserInput UserInputTemplate43 :=
|
| {
|
| input1 := "bye",
|
| input2 := ""
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate44 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "BYE",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate45 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_createResponse",
|
| stepArgs := {
|
| 5
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| /* Generated test case #6 */
|
| testcase Test_Case_6() runs on Qtronic_CT
|
| {
|
| var float oldtimer := 0.0;
|
| var float SLACK := 10.0;
|
| var default default_behaviour_ref;
|
| f_MBT_Qtronic_Demo_beginTestCase();
|
| default_behaviour_ref := activate(QtronicDefaultAlt());
|
| log("Structural feature: method: main()");
|
| log("Structural feature: method: SIPClient.SIPClient()");
|
| log("Structural feature: method: SIPClient.run()");
|
| log("Structural feature: state: SIPClient.initial-state-0");
|
| log("Structural feature: transition: SIPClient.initial-state-0->SIPClient.Init-9");
|
| log("Structural feature: state: SIPClient.Init");
|
| qtronic_send_UserInput_to_userIn(UserInputTemplate46);
|
| oldtimer := 0.0;
|
| log("Structural feature: transition: SIPClient.Init->SIPClient.Calling-0");
|
| log("Structural feature: method: SIPClient.Invite()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate47);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate48);
|
| oldtimer := 0.0;
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate49);
|
| oldtimer := 0.0;
|
| log("Structural feature: state: SIPClient.Calling");
|
| log("Structural feature: state: SIPClient.Calling.initial-state-7");
|
| log("Structural feature: transition: SIPClient.Calling.initial-state-7->SIPClient.Calling.Wait-16");
|
| log("Structural feature: state: SIPClient.Calling.Wait");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate50);
|
| oldtimer := 0.0;
|
| log("Structural feature: method: SIPClient.incomingResponse(int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: transition: SIPClient.Calling->SIPClient.Ringing-1");
|
| log("Structural feature: state: SIPClient.Ringing");
|
| qtronic_send_UserInput_to_userIn(UserInputTemplate51);
|
| oldtimer := 0.0;
|
| log("Structural feature: transition: SIPClient.Ringing->SIPClient.Canceling-12");
|
| log("Structural feature: state: SIPClient.Canceling");
|
| log("Structural feature: state: SIPClient.Canceling.initial-state-11");
|
| log("Structural feature: transition: SIPClient.Canceling.initial-state-11->SIPClient.Canceling.Wait-20");
|
| log("Structural feature: method: SIPClient.Cancel()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate52);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Structural feature: state: SIPClient.Canceling.Wait");
|
| log("Structural feature: transition: SIPClient.Canceling.Wait->SIPClient.Canceling.junction-state-12-21");
|
| log("Structural feature: method: SIPClient.Cancel()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.500000000 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate53);
|
| harnessTimer.stop;
|
| oldtimer := 0.500000000;
|
| log("Requirement: requirement: 17.1.2.2 Non-INVITE timers/Resends CANCEL after E timeout");
|
| log("Structural feature: state: SIPClient.Canceling.junction-state-12");
|
| log("Structural feature: transition: SIPClient.Canceling.junction-state-12->SIPClient.Canceling.Wait-22");
|
| log("Structural feature: state: SIPClient.Canceling.Wait");
|
| log("Structural feature: transition: SIPClient.Canceling.Wait->SIPClient.Canceling.junction-state-12-21");
|
| log("Structural feature: method: SIPClient.Cancel()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((1.500000000 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate54);
|
| harnessTimer.stop;
|
| oldtimer := 1.500000000;
|
| log("Requirement: requirement: 17.1.2.2 Non-INVITE timers/Resends CANCEL after E timeout");
|
| log("Structural feature: state: SIPClient.Canceling.junction-state-12");
|
| log("Structural feature: transition: SIPClient.Canceling.junction-state-12->SIPClient.Canceling.Wait-22");
|
| log("Structural feature: state: SIPClient.Canceling.Wait");
|
| log("Structural feature: transition: SIPClient.Canceling.Wait->SIPClient.Canceling.junction-state-12-21");
|
| log("Structural feature: method: SIPClient.Cancel()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((3.500000000 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate55);
|
| harnessTimer.stop;
|
| oldtimer := 3.500000000;
|
| log("Requirement: requirement: 17.1.2.2 Non-INVITE timers/Resends CANCEL after E timeout");
|
| log("Structural feature: state: SIPClient.Canceling.junction-state-12");
|
| log("Structural feature: transition: SIPClient.Canceling.junction-state-12->SIPClient.Canceling.Wait-22");
|
| log("Structural feature: state: SIPClient.Canceling.Wait");
|
| log("Structural feature: transition: SIPClient.Canceling.Wait->SIPClient.Canceling.junction-state-12-21");
|
| log("Structural feature: method: SIPClient.Cancel()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((7.500000000 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate56);
|
| harnessTimer.stop;
|
| oldtimer := 7.500000000;
|
| log("Requirement: requirement: 17.1.2.2 Non-INVITE timers/Resends CANCEL after E timeout");
|
| log("Structural feature: state: SIPClient.Canceling.junction-state-12");
|
| log("Structural feature: transition: SIPClient.Canceling.junction-state-12->SIPClient.Canceling.Wait-22");
|
| log("Structural feature: state: SIPClient.Canceling.Wait");
|
| log("Structural feature: transition: SIPClient.Canceling->SIPClient.final-state-2-13");
|
| log("Requirement: requirement: 17.1.2.2 Non-INVITE timers/Terminates CANCEL cycle after F timeout");
|
| log("Structural feature: method: SIPClient.TimeOut()");
|
| harnessTimer.start((8.0 - oldtimer) + SLACK);
|
| qtronic_receive_TimeOutIndication_from_userOut(TimeOutIndicationTemplate57);
|
| harnessTimer.stop;
|
| oldtimer := 8.0;
|
| log("Structural feature: state: SIPClient.final-state-2");
|
| setverdict(pass);
|
| deactivate(default_behaviour_ref);
|
| f_MBT_Qtronic_Demo_endTestCase();
|
| }
|
| template UserInput UserInputTemplate46 :=
|
| {
|
| input1 := "invite",
|
| input2 := "sip:127.0.0.1:5061"
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate47 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "INVITE",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := -1
|
| }
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate48 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_init",
|
| stepArgs := {
|
|
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate49 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_handleINVITE",
|
| stepArgs := {
|
|
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate50 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_createResponse",
|
| stepArgs := {
|
| 1
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template UserInput UserInputTemplate51 :=
|
| {
|
| input1 := "cancel",
|
| input2 := ""
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate52 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "CANCEL",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate53 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "CANCEL",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate54 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "CANCEL",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate55 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "CANCEL",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate56 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "CANCEL",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template TimeOutIndication TimeOutIndicationTemplate57 :=
|
| {
|
|
|
| }
|
| /* Generated test case #7 */
|
| testcase Test_Case_7() runs on Qtronic_CT
|
| {
|
| var float oldtimer := 0.0;
|
| var float SLACK := 10.0;
|
| var default default_behaviour_ref;
|
| f_MBT_Qtronic_Demo_beginTestCase();
|
| default_behaviour_ref := activate(QtronicDefaultAlt());
|
| log("Structural feature: method: main()");
|
| log("Structural feature: method: SIPClient.SIPClient()");
|
| log("Structural feature: method: SIPClient.run()");
|
| log("Structural feature: state: SIPClient.initial-state-0");
|
| log("Structural feature: transition: SIPClient.initial-state-0->SIPClient.Init-9");
|
| log("Structural feature: state: SIPClient.Init");
|
| qtronic_send_UserInput_to_userIn(UserInputTemplate58);
|
| oldtimer := 0.0;
|
| log("Structural feature: transition: SIPClient.Init->SIPClient.Calling-0");
|
| log("Structural feature: method: SIPClient.Invite()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate59);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate60);
|
| oldtimer := 0.0;
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate61);
|
| oldtimer := 0.0;
|
| log("Structural feature: state: SIPClient.Calling");
|
| log("Structural feature: state: SIPClient.Calling.initial-state-7");
|
| log("Structural feature: transition: SIPClient.Calling.initial-state-7->SIPClient.Calling.Wait-16");
|
| log("Structural feature: state: SIPClient.Calling.Wait");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate62);
|
| oldtimer := 0.0;
|
| log("Structural feature: method: SIPClient.incomingResponse(int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: transition: SIPClient.Calling->SIPClient.Ringing-1");
|
| log("Structural feature: state: SIPClient.Ringing");
|
| qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(EPTF_MBT_TestStepRequestTemplate63);
|
| oldtimer := 0.0;
|
| log("Structural feature: method: SIPClient.incomingResponse(int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: method: SIPClient.incomingResponse(int)");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepRequest_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| log("Structural feature: method: f_EPTF_SIP_mapAnswerCode2SipTemplateCode(int)");
|
| log("Structural feature: transition: SIPClient.Ringing->SIPClient.Ready-2");
|
| log("Structural feature: method: SIPClient.Ack()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate64);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Requirement: requirement: Acknowledge established call with ACK");
|
| log("Structural feature: state: SIPClient.Ready");
|
| qtronic_send_UserInput_to_userIn(UserInputTemplate65);
|
| oldtimer := 0.0;
|
| log("Structural feature: transition: SIPClient.Ready->SIPClient.Terminating-4");
|
| log("Structural feature: state: SIPClient.Terminating");
|
| log("Structural feature: state: SIPClient.Terminating.initial-state-9");
|
| log("Structural feature: transition: SIPClient.Terminating.initial-state-9->SIPClient.Terminating.Wait-17");
|
| log("Structural feature: method: SIPClient.Bye()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.0 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate66);
|
| harnessTimer.stop;
|
| oldtimer := 0.0;
|
| log("Structural feature: state: SIPClient.Terminating.Wait");
|
| log("Structural feature: transition: SIPClient.Terminating.Wait->SIPClient.Terminating.junction-state-10-18");
|
| log("Structural feature: method: SIPClient.Bye()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((0.500000000 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate67);
|
| harnessTimer.stop;
|
| oldtimer := 0.500000000;
|
| log("Requirement: requirement: 17.1.2.2 Non-INVITE timers/Resends BYE after E timeout");
|
| log("Structural feature: state: SIPClient.Terminating.junction-state-10");
|
| log("Structural feature: transition: SIPClient.Terminating.junction-state-10->SIPClient.Terminating.Wait-19");
|
| log("Structural feature: state: SIPClient.Terminating.Wait");
|
| log("Structural feature: transition: SIPClient.Terminating.Wait->SIPClient.Terminating.junction-state-10-18");
|
| log("Structural feature: method: SIPClient.Bye()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((1.500000000 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate68);
|
| harnessTimer.stop;
|
| oldtimer := 1.500000000;
|
| log("Requirement: requirement: 17.1.2.2 Non-INVITE timers/Resends BYE after E timeout");
|
| log("Structural feature: state: SIPClient.Terminating.junction-state-10");
|
| log("Structural feature: transition: SIPClient.Terminating.junction-state-10->SIPClient.Terminating.Wait-19");
|
| log("Structural feature: state: SIPClient.Terminating.Wait");
|
| log("Structural feature: transition: SIPClient.Terminating.Wait->SIPClient.Terminating.junction-state-10-18");
|
| log("Structural feature: method: SIPClient.Bye()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((3.500000000 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate69);
|
| harnessTimer.stop;
|
| oldtimer := 3.500000000;
|
| log("Requirement: requirement: 17.1.2.2 Non-INVITE timers/Resends BYE after E timeout");
|
| log("Structural feature: state: SIPClient.Terminating.junction-state-10");
|
| log("Structural feature: transition: SIPClient.Terminating.junction-state-10->SIPClient.Terminating.Wait-19");
|
| log("Structural feature: state: SIPClient.Terminating.Wait");
|
| log("Structural feature: transition: SIPClient.Terminating.Wait->SIPClient.Terminating.junction-state-10-18");
|
| log("Structural feature: method: SIPClient.Bye()");
|
| log("Structural feature: method: c_EPTF_MBT_TestStepResponse_empty()");
|
| log("Structural feature: method: c_EPTF_FsmAddr_empty()");
|
| harnessTimer.start((7.500000000 - oldtimer) + SLACK);
|
| qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(EPTF_MBT_TestStepResponseTemplate70);
|
| harnessTimer.stop;
|
| oldtimer := 7.500000000;
|
| log("Requirement: requirement: 17.1.2.2 Non-INVITE timers/Resends BYE after E timeout");
|
| log("Structural feature: state: SIPClient.Terminating.junction-state-10");
|
| log("Structural feature: transition: SIPClient.Terminating.junction-state-10->SIPClient.Terminating.Wait-19");
|
| log("Structural feature: state: SIPClient.Terminating.Wait");
|
| log("Structural feature: transition: SIPClient.Terminating->SIPClient.final-state-1-11");
|
| log("Requirement: requirement: 17.1.2.2 Non-INVITE timers/Terminates BYE cycle after F timeout");
|
| log("Structural feature: method: SIPClient.TimeOut()");
|
| harnessTimer.start((8.0 - oldtimer) + SLACK);
|
| qtronic_receive_TimeOutIndication_from_userOut(TimeOutIndicationTemplate71);
|
| harnessTimer.stop;
|
| oldtimer := 8.0;
|
| log("Structural feature: state: SIPClient.final-state-1");
|
| setverdict(pass);
|
| deactivate(default_behaviour_ref);
|
| f_MBT_Qtronic_Demo_endTestCase();
|
| }
|
| template UserInput UserInputTemplate58 :=
|
| {
|
| input1 := "invite",
|
| input2 := "sip:127.0.0.1:5061"
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate59 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "INVITE",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := -1
|
| }
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate60 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_init",
|
| stepArgs := {
|
|
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate61 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_handleINVITE",
|
| stepArgs := {
|
|
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate62 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_createResponse",
|
| stepArgs := {
|
| 1
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepRequest EPTF_MBT_TestStepRequestTemplate63 :=
|
| {
|
| stepName := "SIPAppLib: StepFunction_createResponse",
|
| stepArgs := {
|
| 5
|
| },
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| },
|
| lock := -1
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate64 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "ACK",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template UserInput UserInputTemplate65 :=
|
| {
|
| input1 := "bye",
|
| input2 := ""
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate66 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "BYE",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate67 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "BYE",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate68 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "BYE",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate69 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "BYE",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template EPTF_MBT_TestStepResponse EPTF_MBT_TestStepResponseTemplate70 :=
|
| {
|
| bName := "Behavior_SIP",
|
| iName := "BYE",
|
| addr := {
|
| entityGroupName := "MBT_EntityType",
|
| eIdx := 0,
|
| fIdx := 0
|
| }
|
| }
|
| template TimeOutIndication TimeOutIndicationTemplate71 :=
|
| {
|
|
|
| }
|
| control
|
| {
|
| execute(Test_Case_1());
|
| execute(Test_Case_2());
|
| execute(Test_Case_3());
|
| execute(Test_Case_4());
|
| execute(Test_Case_5());
|
| execute(Test_Case_6());
|
| execute(Test_Case_7());
|
| }
|
| }
|
