| /////////////////////////////////////////////////////////////////////////////// |
| // |
| // 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_TestHarness.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_TestHarness.ttcn
|
| *
|
| * @author Conformiq TTCN3 Script Backend 0.1
|
| * @date Thu Sep 30 14:15:28 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_TestHarness
|
| {
|
| import from MBT_Qtronic_Types all;
|
| /* User provided imports begin */
|
| import from MBT_Qtronic_Demo all; import from EPTF_MBT_LGen_Definitions all;
|
| /* User provided imports end */
|
| 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;
|
| }
|
| }
|
| function qtronic_send_EPTF_MBT_TestStepRequest_to_fwIn(template EPTF_MBT_TestStepRequest msgToSend) runs on Qtronic_CT
|
| {
|
| // Do whatever manipulation is needed to 'msgToSend'
|
| // before it is delivered to the SUT through the real test interface.
|
| // This can include addition of fields not present in the model or
|
| // manipulation of unique identifiers in the messages that Qtronic
|
| // cannot possible know at the time of test generation.
|
| EPTF_MBT_TESTER_PCO.send(msgToSend) to vc_lgen;
|
| }
|
| function qtronic_send_UserInput_to_userIn(template UserInput msgToSend) runs on Qtronic_CT
|
| {
|
| // Do whatever manipulation is needed to 'msgToSend'
|
| // before it is delivered to the SUT through the real test interface.
|
| // This can include addition of fields not present in the model or
|
| // manipulation of unique identifiers in the messages that Qtronic
|
| // cannot possible know at the time of test generation.
|
| userIn.send(msgToSend);
|
| }
|
| function qtronic_receive_EPTF_MBT_TestStepResponse_from_fwOut(template EPTF_MBT_TestStepResponse tmplToMatch) runs on Qtronic_CT
|
| {
|
| // Do whatever manipulation is needed to 'tmplToMatch'
|
| // before matching it against the expected value template.
|
| // This manipulation typically means removing fields not present
|
| // in the abstract model system interface.
|
| EPTF_MBT_TESTER_PCO.receive(tmplToMatch) from vc_lgen;
|
| }
|
| function qtronic_receive_TimeOutIndication_from_userOut(template TimeOutIndication tmplToMatch) runs on Qtronic_CT
|
| {
|
| // Do whatever manipulation is needed to 'tmplToMatch'
|
| // before matching it against the expected value template.
|
| // This manipulation typically means removing fields not present
|
| // in the abstract model system interface.
|
| userOut.receive(tmplToMatch);
|
| }
|
| }
|