projects / deliverable / titan.core.git / blame
| Commit | Line | Data |
|---|---|---|
| 970ed795 | 1 | /****************************************************************************** |
| d44e3c4f | 2 | * Copyright (c) 2000-2016 Ericsson Telecom AB |
| 970ed795 EL |
3 | * All rights reserved. This program and the accompanying materials |
| 4 | * are made available under the terms of the Eclipse Public License v1.0 | |
| 5 | * which accompanies this distribution, and is available at | |
| 6 | * http://www.eclipse.org/legal/epl-v10.html | |
| d44e3c4f | 7 | * |
| 8 | * Contributors: | |
| 9 | * Balasko, Jeno | |
| 10 | * Hanko, Matyas | |
| 11 | * Szabados, Kristof | |
| 12 | * Szabo, Janos Zoltan – initial implementation | |
| 13 | * Szalai, Gabor | |
| 14 | * | |
| 970ed795 EL |
15 | ******************************************************************************/ |
| 16 | module RAW_Test | |
| 17 | { | |
| 18 | import from SCCP_typedefs all; | |
| 19 | import from SCCP_RAW_Samples all; | |
| 20 | ||
| 21 | import from DTAP_typedefs all; | |
| 22 | import from DTAP_RAW_Samples all; | |
| 23 | ||
| 24 | type component MyComponent { }; | |
| 25 | ||
| 26 | //------------- PDU_SCCP_Unitdata ----------------------- | |
| 27 | ||
| 28 | testcase TC_SCCP_01() runs on MyComponent{ | |
| 29 | if (SCCPstr01 == enc_PDU_SCCP(valueof(SCCP01))) {setverdict(pass);} | |
| 30 | else {setverdict(fail);} | |
| 31 | ||
| 32 | if (SCCPstr01 == enc_PDU_SCCP(dec_PDU_SCCP(SCCPstr01))) {setverdict(pass);} | |
| 33 | else {setverdict(fail);} | |
| 34 | } | |
| 35 | ||
| 36 | //------------- PDU_SCCP_ConnectionRequest ----------------------- | |
| 37 | ||
| 38 | testcase TC_SCCP_02() runs on MyComponent{ | |
| 39 | ||
| 40 | if (SCCPstr02 == enc_PDU_SCCP(valueof(SCCP02))) {setverdict(pass);} | |
| 41 | else {setverdict(fail);} | |
| 42 | ||
| 43 | if (SCCPstr02 == enc_PDU_SCCP(dec_PDU_SCCP(SCCPstr02))) {setverdict(pass);} | |
| 44 | else {setverdict(fail);} | |
| 45 | ||
| 46 | } | |
| 47 | ||
| 48 | //------------- PDU_SCCP_ConnectionConfirm ----------------------- | |
| 49 | ||
| 50 | testcase TC_SCCP_03() runs on MyComponent{ | |
| 51 | ||
| 52 | if (SCCPstr03 == enc_PDU_SCCP(valueof(SCCP03))) {setverdict(pass);} | |
| 53 | else {setverdict(fail);} | |
| 54 | ||
| 55 | if (SCCPstr03 == enc_PDU_SCCP(dec_PDU_SCCP(SCCPstr03))) {setverdict(pass);} | |
| 56 | else {setverdict(fail);} | |
| 57 | ||
| 58 | } | |
| 59 | ||
| 60 | //------------- PDU_SCCP_DataForm1 ------------------------------- | |
| 61 | ||
| 62 | testcase TC_SCCP_04() runs on MyComponent{ | |
| 63 | ||
| 64 | if (SCCPstr04 == enc_PDU_SCCP(valueof(SCCP04))) {setverdict(pass);} | |
| 65 | else {setverdict(fail);} | |
| 66 | ||
| 67 | if (SCCPstr04 == enc_PDU_SCCP(dec_PDU_SCCP(SCCPstr04))) {setverdict(pass);} | |
| 68 | else {setverdict(fail);} | |
| 69 | ||
| 70 | } | |
| 71 | ||
| 72 | //------------- PDU_SCCP_Released -------------------------------- | |
| 73 | ||
| 74 | testcase TC_SCCP_05() runs on MyComponent{ | |
| 75 | ||
| 76 | if (SCCPstr05 == enc_PDU_SCCP(valueof(SCCP05))) {setverdict(pass);} | |
| 77 | else {setverdict(fail);} | |
| 78 | ||
| 79 | if (SCCPstr05 == enc_PDU_SCCP(dec_PDU_SCCP(SCCPstr05))) {setverdict(pass);} | |
| 80 | else {setverdict(fail);} | |
| 81 | ||
| 82 | } | |
| 83 | ||
| 84 | //------------- PDU_DTAP_LocationUpdateRequest ------------------- | |
| 85 | ||
| 86 | testcase TC_DTAP_01() runs on MyComponent{ | |
| 87 | ||
| 88 | if (DTAPstr01 == enc_PDU_DTAP_MS_MSC(valueof(DTAP01))) {setverdict(pass);} | |
| 89 | else {setverdict(fail);} | |
| 90 | ||
| 91 | if (DTAPstr01 == enc_PDU_DTAP_MS_MSC(dec_PDU_DTAP_MS_MSC(DTAPstr01))) {setverdict(pass);} | |
| 92 | else {setverdict(fail);} | |
| 93 | } | |
| 94 | ||
| 95 | //------------- PDU_DTAP_LocationUpdateAccept ------------------- | |
| 96 | ||
| 97 | testcase TC_DTAP_02() runs on MyComponent{ | |
| 98 | ||
| 99 | if (DTAPstr02 == enc_PDU_DTAP_MS_MSC(valueof(DTAP02))) {setverdict(pass);} | |
| 100 | else {setverdict(fail);} | |
| 101 | ||
| 102 | if (DTAPstr02 == enc_PDU_DTAP_MS_MSC(dec_PDU_DTAP_MS_MSC(DTAPstr02))) {setverdict(pass);} | |
| 103 | else {setverdict(fail);} | |
| 104 | ||
| 105 | } | |
| 106 | ||
| 107 | //------------- PDU_DTAP_CallProceeding ------------------------- | |
| 108 | ||
| 109 | testcase TC_DTAP_03() runs on MyComponent{ | |
| 110 | ||
| 111 | if (DTAPstr03 == enc_PDU_DTAP_MS_MSC(valueof(DTAP03))) {setverdict(pass);} | |
| 112 | else {setverdict(fail);} | |
| 113 | ||
| 114 | if (DTAPstr03 == enc_PDU_DTAP_MS_MSC(dec_PDU_DTAP_MS_MSC(DTAPstr03))) {setverdict(pass);} | |
| 115 | else {setverdict(fail);} | |
| 116 | ||
| 117 | } | |
| 118 | ||
| 119 | //------------- PDU_DTAP_Alerting_MSC_MS ------------------------ | |
| 120 | // Note! enc_PDU_DTAP_MSC_MS is being used instead of enc_PDU_DTAP_MS_MSC | |
| 121 | ||
| 122 | testcase TC_DTAP_04() runs on MyComponent{ | |
| 123 | ||
| 124 | if (DTAPstr04 == enc_PDU_DTAP_MSC_MS(valueof(DTAP04))) {setverdict(pass);} | |
| 125 | else {setverdict(fail);} | |
| 126 | ||
| 127 | if (DTAPstr04 == enc_PDU_DTAP_MSC_MS(dec_PDU_DTAP_MSC_MS(DTAPstr04))) {setverdict(pass);} | |
| 128 | else {setverdict(fail);} | |
| 129 | ||
| 130 | } | |
| 131 | ||
| 132 | //------------- PDU_DTAP_Connect_MSC_MS ------------------------ | |
| 133 | // Note! enc_PDU_DTAP_MSC_MS is being used instead of enc_PDU_DTAP_MS_MSC | |
| 134 | ||
| 135 | testcase TC_DTAP_05() runs on MyComponent{ | |
| 136 | ||
| 137 | if (DTAPstr05 == enc_PDU_DTAP_MSC_MS(valueof(DTAP05))) {setverdict(pass);} | |
| 138 | else {setverdict(fail);} | |
| 139 | ||
| 140 | if (DTAPstr05 == enc_PDU_DTAP_MSC_MS(dec_PDU_DTAP_MSC_MS(DTAPstr05))) {setverdict(pass);} | |
| 141 | else {setverdict(fail);} | |
| 142 | } | |
| 143 | ||
| 144 | //------------- PDU_DTAP_ConnectAck ------------------------- | |
| 145 | ||
| 146 | testcase TC_DTAP_06() runs on MyComponent{ | |
| 147 | ||
| 148 | if (DTAPstr06 == enc_PDU_DTAP_MS_MSC(valueof(DTAP06))) {setverdict(pass);} | |
| 149 | else {setverdict(fail);} | |
| 150 | ||
| 151 | if (DTAPstr06 == enc_PDU_DTAP_MS_MSC(dec_PDU_DTAP_MS_MSC(DTAPstr06))) {setverdict(pass);} | |
| 152 | else {setverdict(fail);} | |
| 153 | } | |
| 154 | ||
| 155 | //------------- PDU_DTAP_Disconnect_MSC_MS ------------------------ | |
| 156 | // Note! enc_PDU_DTAP_MSC_MS is being used instead of enc_PDU_DTAP_MS_MSC | |
| 157 | ||
| 158 | testcase TC_DTAP_07() runs on MyComponent{ | |
| 159 | ||
| 160 | if (DTAPstr07 == enc_PDU_DTAP_MSC_MS(valueof(DTAP07))) {setverdict(pass);} | |
| 161 | else {setverdict(fail);} | |
| 162 | ||
| 163 | if (DTAPstr07 == enc_PDU_DTAP_MSC_MS(dec_PDU_DTAP_MSC_MS(DTAPstr07))) {setverdict(pass);} | |
| 164 | else {setverdict(fail);} | |
| 165 | } | |
| 166 | ||
| 167 | //------------- PDU_DTAP_Release_MS_MSC ------------------------- | |
| 168 | ||
| 169 | testcase TC_DTAP_08() runs on MyComponent{ | |
| 170 | ||
| 171 | if (DTAPstr08 == enc_PDU_DTAP_MS_MSC(valueof(DTAP08))) {setverdict(pass);} | |
| 172 | else {setverdict(fail);} | |
| 173 | ||
| 174 | if (DTAPstr08 == enc_PDU_DTAP_MS_MSC(dec_PDU_DTAP_MS_MSC(DTAPstr08))) {setverdict(pass);} | |
| 175 | else {setverdict(fail);} | |
| 176 | } | |
| 177 | ||
| 178 | //------------- PDU_DTAP_Disconnect_MSC_MS ------------------------ | |
| 179 | // Note! enc_PDU_DTAP_MSC_MS is being used instead of enc_PDU_DTAP_MS_MSC | |
| 180 | ||
| 181 | testcase TC_DTAP_09() runs on MyComponent{ | |
| 182 | ||
| 183 | if (DTAPstr09 == enc_PDU_DTAP_MSC_MS(valueof(DTAP09))) {setverdict(pass);} | |
| 184 | else {setverdict(fail);} | |
| 185 | ||
| 186 | if (DTAPstr09 == enc_PDU_DTAP_MSC_MS(dec_PDU_DTAP_MSC_MS(DTAPstr09))) {setverdict(pass);} | |
| 187 | else {setverdict(fail);} | |
| 188 | } | |
| 189 | ||
| 190 | control { | |
| 191 | ||
| 192 | execute (TC_SCCP_01()); | |
| 193 | execute (TC_SCCP_02()); | |
| 194 | execute (TC_SCCP_03()); | |
| 195 | execute (TC_SCCP_04()); | |
| 196 | execute (TC_SCCP_05()); | |
| 197 | ||
| 198 | execute (TC_DTAP_01()); | |
| 199 | execute (TC_DTAP_02()); | |
| 200 | execute (TC_DTAP_03()); | |
| 201 | execute (TC_DTAP_04()); | |
| 202 | execute (TC_DTAP_05()); | |
| 203 | execute (TC_DTAP_06()); | |
| 204 | execute (TC_DTAP_07()); | |
| 205 | execute (TC_DTAP_08()); | |
| 206 | execute (TC_DTAP_09()); | |
| 207 | ||
| 208 | } | |
| 209 | } | |
| 210 |