test_LibItsExternalFunctions.ttcn3 35.6 KB
Newer Older
1 2
module test_LibItsExternalFunctions {
    
3 4 5 6
    // LibCommon
    import from LibCommon_BasicTypesAndValues {type UInt8;}
    
    // LibIts
7 8 9 10 11 12 13 14 15 16
    import from ITS_Container language "ASN.1:1997" all;
    import from CAM_PDU_Descriptions language "ASN.1:1997" all;
    
    // LibItsCommon
    import from LibItsCommon_Functions all;
    
    // LibItsCam
    import from LibItsCam_Templates all;
    
    // LibItsIpv6OverGeoNetworking
17 18
    import from LibItsIpv6OverGeoNetworking_TypesAndValues {
        type Ipv6Address, RouterAdvertisementMsg;
19
    }
20 21
    import from LibItsIpv6OverGeoNetworking_Functions all;
    
22 23 24
    // LibItsSecurity
    import from LibItsSecurity_TypesAndValues all;
    import from LibItsSecurity_Functions all;
25
    
26
    import from test_CommonCodec all;
27
    
28
    template (value) UInt8 m_ICMPv6_protocoId := 58; // = 0x3a: ICMPv6 protocol ID
29
    
30
    group externalFunction_testCases {
31
        
32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59
        group testValues_01 {
            
            template (value) Ipv6Address m_src_01 := 'fe80000000000000020086fffe0580da'O; // fe80::200:86ff:fe05:80da
            
            template (value) Ipv6Address m_dst_01 := 'fe80000000000000026097fffe0769ea'O; // fe80::260:97ff:fe07:69ea
            
            template (value) octetstring m_ipv6Payload_01 := '8700000000000000fe80000000000000026097fffe0769ea01010000860580da'O;
    //        template (value) octetstring m_ipv6Payload_01 := '870068bd00000000fe80000000000000026097fffe0769ea01010000860580da'O;
            /*template (value) RouterAdvertisementMsg m_ipv6Payload := {
                icmpType := c_rtAdvMsg,
                icmpCode := 0,
                checksum := '68bd'O,
                curHopLimit := ,
                managedConfigFlag,
                otherConfigFlag,
                homeAgentFlag,
                reserved,
                routerLifetime,
                reachableTime,
                retransTimer,
                rtAdvOptions := omit
            }*/
            
            template (value) integer m_payloadLength_01 := 32;
            
            template octetstring mw_checksum_01 := '68bd'O; 
            
        } // End of group testValues_01
60
        
61 62 63 64 65 66 67 68 69 70 71 72 73 74
        group testValues_02 {
            
            template (value) Ipv6Address m_src_02 := '2001ffff000000000000000000000002'O; 
            
            template (value) Ipv6Address m_dst_02 := '2001ffff000000000000000000000001'O; 
            
            template (value) octetstring m_ipv6Payload_02 := '80000000636801004a43ec45d23f0b0008090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f202122232425262728292a2b2c2d2e2f3031323334353637'O;
    //        template (value) octetstring m_ipv6Payload_02 := '8000dc4b636801004a43ec45d23f0b0008090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f202122232425262728292a2b2c2d2e2f3031323334353637'O;
            
            template (value) integer m_payloadLength_02 := 64;
            
            template octetstring mw_checksum_02 := 'dc4b'O; 
            
        } // End of group testValues_02
75
        
76 77 78
        group testValues_03 {
            
            template (value) Ipv6Address m_src_03 := '2001ffff000000000000000000000001'O; // 2001:ffff::1 
79
    
80 81 82 83 84 85 86 87 88 89
            template (value) Ipv6Address m_dst_03 := '2001ffff000000000000000000000002'O; // 2001:ffff::2 
            
            template (value) octetstring m_ipv6Payload_03 := '8100000072680500b043ec45f3500b0008090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f202122232425262728292a2b2c2d2e2f3031323334353637'O;
    //        template (value) octetstring m_ipv6Payload_03 := '8100413a72680500b043ec45f3500b0008090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f202122232425262728292a2b2c2d2e2f3031323334353637'O;
            
            template (value) integer m_payloadLength_03 := 64;
            
            template octetstring mw_checksum_03 := '413a'O; 
            
        } // End of group testValues_03
90
        
91
        group externalFunctionsGN {
92
            
93 94
            testcase tc_computePositionUsingDistance_01() runs on TCType system TCType {
                var ReferencePosition v_referencePosition;
95
                var float v_offSet;
96 97
                
                v_referencePosition := valueof(m_tsPosition);
98
                v_offSet := 1000.0;
99 100 101 102 103 104 105 106 107 108 109 110 111 112 113
                
                log("v_referencePosition = ", v_referencePosition);
                fx_computePositionUsingDistance(
                    v_referencePosition.latitude,
                    v_referencePosition.longitude,
                    v_offSet,
                    v_referencePosition.positionConfidenceEllipse.semiMajorOrientation,
                    v_referencePosition.latitude,
                    v_referencePosition.longitude
                );
                log("New position = lat:", v_referencePosition.latitude, ", lon:", v_referencePosition.longitude);
                
                setverdict(pass);
            }
            
114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129
            testcase tc_computeIPv6Checksum_01() runs on TCType system TCType {
                var octetstring v_checksum;
                
                v_checksum := f_computeIPv6CheckSum(
                    m_src_01, 
                    m_dst_01, 
                    m_payloadLength_01, 
                    m_ipv6Payload_01, 
                    m_ICMPv6_protocoId); 
                
                if (match(v_checksum, mw_checksum_01) == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
            }
130
            
131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162
            testcase tc_computeIPv6Checksum_02() runs on TCType system TCType {
                var octetstring v_checksum;
                
                v_checksum := f_computeIPv6CheckSum(
                    m_src_02, 
                    m_dst_02, 
                    m_payloadLength_02, 
                    m_ipv6Payload_02, 
                    m_ICMPv6_protocoId); 
                
                if (match(v_checksum, mw_checksum_02) == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
            }
            
            testcase tc_computeIPv6Checksum_03() runs on TCType system TCType {
                var octetstring v_checksum;
                
                v_checksum := f_computeIPv6CheckSum(
                    m_src_03, 
                    m_dst_03, 
                    m_payloadLength_03, 
                    m_ipv6Payload_03, 
                    m_ICMPv6_protocoId); 
                
                if (match(v_checksum, mw_checksum_03) == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
163
            }
164 165
            
        } // End of group externalFunctionsGN
166
        
167
        group externalFunctionsSec {
168
            
169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186
            testcase tc_generateKeyPair_01() runs on TCType system TCType {
                var boolean v_result;
                var octetstring/*UInt64*/ v_privateKey;
                var octetstring v_publicKeyX;
                var octetstring v_publicKeyY;
                
                v_result := fx_generateKeyPair(v_privateKey, v_publicKeyX, v_publicKeyY); 
                log("v_result = ", v_result);
                log("privateKey = ", v_privateKey);
                log("publicKeyX = ", v_publicKeyX);
                log("publicKeyY = ", v_publicKeyY);
                
                if (v_result == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
            }
187
            
188 189 190 191 192 193 194 195
            testcase tc_hashWithSha256_01() runs on TCType system TCType {
                var octetstring v_data;
                var octetstring v_hash := ''O;
                
                v_data := 'DEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEFDEADBEEF'O;
                v_hash := f_hashWithSha256(v_data); 
                log("v_hash = ", v_hash);
                
196 197
                setverdict(pass);
            }
198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235
            
            testcase tc_signWithEcdsaNistp256WithSha256_01() runs on TCType system TCType {
                var boolean v_result;
                var octetstring v_toBeSignedSecuredMessage;
                var octetstring/*UInt64*/ v_privateKey;
                var octetstring v_publicKeyX;
                var octetstring v_publicKeyY;
                var octetstring v_hash, v_sign;
                
                fx_generateKeyPair(v_privateKey, v_publicKeyX, v_publicKeyY); 
                log("privateKey = ", v_privateKey);
                log("publicKeyX = ", v_publicKeyX);
                log("publicKeyY = ", v_publicKeyY);
    
                v_toBeSignedSecuredMessage := '0203811D80020209010727A031EE3F372C01008091000004EA807A2D6CC220D563C6C74047C764407AF5F21240C403A40697294A94CF3CF0846C8DF447DA62EAC49DBA51EEC4AF7C8B1E0BCC67822626B2112E2FC56BE4C1010100044F0CBC2A8AF10F5476AE4180828D9C62D82215E0EDCBDCAB74AA49C1B6D260455E949EA97B9A98F64BDA55FA2441F4BE82BB45DB1B4F9B194B5471A6058F6E8602202006C04080C04081240153C13EED5A391AED0303181DB9CF7C052616001DB9566E0526872A1D53F0D0052783500000EBEECFB8A931E5FBA5138808836CEC66EE5C99095693DDFE235076B91C8E2B0013DEAEB76EC813F6C205333E0050434FE7F29F2980C352B7FB1578CE2AA6F394000000004E526ED10203000004D20000162E002F2200200010800000000100BC21A4FEDECABEEF0001E240000012F8000002A38037269401'O;
                v_hash := f_hashWithSha256(v_toBeSignedSecuredMessage); 
                log("length v_hash = ", lengthof(v_hash));
                log("v_hash = ", v_hash);
                v_sign := fx_signWithEcdsaNistp256WithSha256(v_toBeSignedSecuredMessage, v_privateKey); 
                log("length v_sign = ", lengthof(v_sign));
                log("v_sign = ", v_sign);
                
                
                log(substr(v_sign, 2, 32));
                log(substr(v_sign, 34, 32));
                
                
                v_result := fx_verifyWithEcdsaNistp256WithSha256(v_toBeSignedSecuredMessage, v_sign, v_publicKeyX, v_publicKeyY);
                log("v_result = ", v_result);
                
                if (v_result == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
            }
            
        } // End of group externalFunctionsSec
236
        
237
        group externalFunctionsGeodesic {
238
            
239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286
            testcase tc_dms2dd() runs on TCType system TCType {
                
                if (48.857253 != f_dms2dd(48, 51, 26.1108, "N")) { // Latitude Paris
                    setverdict(fail);
                }
                if (2.294489 != f_dms2dd(2, 17, 40.16, "E")) { // Longitude Paris
                    setverdict(fail);
                }
                if (42.560225 != f_dms2dd(42, 33, 36.81, "N")) { // Latitude Ackley, Iowa
                    setverdict(fail);
                }
                if (-93.057803 != f_dms2dd(93, 3, 28.09, "W")) { // Longitude Ackley, Iowa
                    setverdict(fail);
                }
                if (-33.962156 != f_dms2dd(33, 57, 43.76, "S")) { // Latitude Port Elisabeth, South Africa
                    setverdict(fail);
                }
                if (25.623722 != f_dms2dd(25, 37, 25.40, "E")) { // Longitude , Port ElisabethSouth Africa
                    setverdict(fail);
                }
                if (35.674131 != f_dms2dd(35, 40, 26.87, "N")) { // Latitude Tokyo
                    setverdict(fail);
                }
                if (139.770375 != f_dms2dd(139, 46, 13.35, "E")) { // Longitude Tokyo
                    setverdict(fail);
                }
                if (-37.823108 != f_dms2dd(37, 49, 23.19, "S")) { // Latitude Melbourne
                    setverdict(fail);
                }
                if (144.977039 != f_dms2dd(144, 58, 37.34, "E")) { // Longitude Melbourne
                    setverdict(fail);
                }
                if (-54.657792 != f_dms2dd(54, 39, 28.05, "S")) { // Latitude Faro San Diego
                    setverdict(fail);
                }
                if (65.119572 != f_dms2dd(65, 7, 10.46, "E")) { // Longitude Faro San Diego
                    setverdict(fail);
                }
                if (42.0 != f_dms2dd(42, 0, 0.0, "N")) { // Longitude Faro San Diego
                    setverdict(fail);
                }
                if (0.0 != f_dms2dd(37, 49, 23.29, "A")) { // Latitude
                    setverdict(fail);
                }
                else { 
                    setverdict(pass);
                }
            }
287
            
288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340
            testcase tc_isValidPolygonalRegion_01() runs on TCType system TCType {
                var boolean v_result;
                var PolygonalRegion v_polygonalArea;
                
                v_result := f_isValidPolygonalRegion(v_polygonalArea);
                
                if (v_result == false) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
            }
            
            testcase tc_isValidPolygonalRegion_02() runs on TCType system TCType {
                var boolean v_result;
                var PolygonalRegion v_polygonalArea;
                
                v_polygonalArea := {};
                
                v_result := f_isValidPolygonalRegion(v_polygonalArea);
                
                if (v_result == false) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
            }
            
            testcase tc_isValidPolygonalRegion_03() runs on TCType system TCType {
                var boolean v_result;
                var PolygonalRegion v_polygonalArea;
                
                v_polygonalArea := {
                    { // Darmstadt, Germany
                        latitude    := 498716540, 
                        longitude   := 8638208
                    }, 
                    {
                        latitude    := 498685550, 
                        longitude   := 8641105
                    }, 
                    {
                        latitude    := 492040400, 
                        longitude   := 8647560
                    } 
                };
                
                v_result := f_isValidPolygonalRegion(v_polygonalArea);
                if (v_result == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
341
            }
342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686
            
            testcase tc_isLocationInsidePolygonalRegion_01() runs on TCType system TCType {
                var boolean v_result;
                var PolygonalRegion v_polygonalArea;
                var ThreeDLocation v_location;
                
                v_polygonalArea := {
                    { // Sisteron, France
                        latitude    := f_ddlat2int(f_dms2dd(44, 11, 56.91, "N")), 
                        longitude   := f_ddlon2int(f_dms2dd(5, 56, 33.28, "E")) 
                    }, 
                    { // Nice, France
                        latitude    := 437101728, 
                        longitude   := 7261953
                    }, 
                    { // Marseille, france
                        latitude    := f_ddlat2int(f_dms2dd(43, 17, 39.40, "N")), 
                        longitude   := f_ddlon2int(f_dms2dd(5, 21, 29.19, "E"))
                    }, 
                    { // Cevennes National Park, france
                        latitude    := f_ddlat2int(f_dms2dd(44, 19, 23.34, "N")), 
                        longitude   := f_ddlon2int(f_dms2dd(3, 35, 39.21, "E"))
                    } 
                };
                v_location := { // Location outside: Brest, France
                    latitude    := f_ddlat2int(f_dms2dd(48, 23, 35.91, "N")), 
                    longitude   := f_ddlon2int(f_dms2dd(4, 29, 16.65, "W")),
                    elevation   := '0000'O
                };
                v_result := f_isLocationInsidePolygonalRegion(v_polygonalArea, v_location);
                if (v_result == false) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
                
                v_location := { // Location inside: Forcalquier, France
                    latitude    := f_ddlat2int(f_dms2dd(43, 57, 47.40, "N")), 
                    longitude   := f_ddlon2int(f_dms2dd(5, 46, 47.42, "E")),
                    elevation   := '0000'O
                };
                v_result := f_isLocationInsidePolygonalRegion(v_polygonalArea, v_location);
                if (v_result == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
            }
            
            testcase tc_isLocationInsidePolygonalRegion_03() runs on TCType system TCType {
                var boolean v_result;
                var PolygonalRegion v_polygonalArea;
                var ThreeDLocation v_location;
                
                v_polygonalArea := { // Florida, Usa
                    { // Upper left corner
                        latitude    := 310002130, 
                        longitude   := -87584839 
                    }, 
                    { 
                        latitude    := 310096290, 
                        longitude   := -85003052
                    }, 
                    { 
                        latitude    := 307267260, 
                        longitude   := -84838257
                    }, 
                    { 
                        latitude    := 305849620, 
                        longitude   := -82168579
                    }, 
                    { 
                        latitude    := 307361700, 
                        longitude   := -81476441
                    }, 
                    { // Upper right corner
                        latitude    := 290023750, 
                        longitude   := -80795288
                    }, 
                    { 
                        latitude    := 268965980, 
                        longitude   := -79938355
                    }, 
                    { 
                        latitude    := 258137380, 
                        longitude   := -80059204
                    }, 
                    { 
                        latitude    := 249302800, 
                        longitude   := -80454712
                    }, 
                    { 
                        latitude    := 244011350, 
                        longitude   := -81817017
                    }, 
                    { 
                        latitude    := 247009270, 
                        longitude   := -81959839
                    }, 
                    { 
                        latitude    := 249502030, 
                        longitude   := -81124878
                    }, 
                    { 
                        latitude    := 260015000, 
                        longitude   := -82014771
                    }, 
                    { 
                        latitude    := 278332470, 
                        longitude   := -83014527
                    }, 
                    { 
                        latitude    := 288389000, 
                        longitude   := -82871704
                    }, 
                    { 
                        latitude    := 299872930, 
                        longitude   := -84091187
                    }, 
                    { 
                        latitude    := 295390530, 
                        longitude   := -85134888
                    }, 
                    { 
                        latitude    := 302723520, 
                        longitude   := -86475220
                    }, 
                    { 
                        latitude    := 302818390, 
                        longitude   := -87628784
                    }
                };
                v_location := { // Location inside: Forcalquier, France
                    latitude    := 308211200, 
                    longitude   := -87255249,
                    elevation   := '0000'O
                };
                v_result := f_isLocationInsidePolygonalRegion(v_polygonalArea, v_location);
                if (v_result == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
                
                v_location := { // Location outside: Forcalquier, France
                    latitude    := 439599330, 
                    longitude   := 5780711,
                    elevation   := '0000'O
                };
                v_result := f_isLocationInsidePolygonalRegion(v_polygonalArea, v_location);
                if (v_result == false) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
            }
            
            testcase tc_isLocationInsideRectangularRegion_01() runs on TCType system TCType {
                var boolean v_result;
                var RectangularRegions v_rectangularAreas;
                var ThreeDLocation v_location;
                
                v_rectangularAreas := 
                {
                    { // Wyoming, USA
                        { // Upper left corner
                            latitude    := f_ddlat2int(f_dms2dd(45, 0, 0.0, "N")), 
                            longitude   := f_ddlon2int(f_dms2dd(111, 0, 0.0, "W"))
                        }, 
                        { // Lower right corner
                            latitude    := f_ddlat2int(f_dms2dd(41, 0, 0.0, "N")), 
                            longitude   := f_ddlon2int(f_dms2dd(104, 0, 0.0, "W"))
                        } 
                    }
                };
                v_location := { // Location outside: Kimball Muni/robert E Arraj Field, Nebraska
                    latitude    := f_ddlat2int(f_dms2dd(41, 11, 17.0, "N")), 
                    longitude   := f_ddlon2int(f_dms2dd(103, 40, 38.6, "W")),
                    elevation   := '0000'O
                }
                v_result := f_isLocationInsideRectangularRegion(v_rectangularAreas, v_location);
                if (v_result == false) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
                
                v_location := { // Location inside: Bridger Creek Airport, Wyoming
                    latitude    := f_ddlat2int(f_dms2dd(43, 20, 25.85, "N")), 
                    longitude   := f_ddlon2int(f_dms2dd(107, 41, 13.29, "W")),
                    elevation   := '0000'O
                }
                v_result := f_isLocationInsideRectangularRegion(v_rectangularAreas, v_location);
                if (v_result == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
            }
            
            testcase tc_isLocationInsideCircularRegion_01() runs on TCType system TCType {
                var boolean v_result;
                var CircularRegion v_circularArea;
                var ThreeDLocation v_location;
                
                v_circularArea := 
                {
                    { // Center: Heathrow Airport, Great Britain
                        latitude    := f_ddlat2int(f_dms2dd(51, 28, 20.57, "N")), 
                        longitude   := f_ddlon2int(f_dms2dd(0, 27, 3.38, "W"))
                    }, 
                    2000 // Radius in meters: 2 Km
                };
                v_location := { // Location outside: Sheffield Town Hall, Great Britain
                    latitude    := f_ddlat2int(f_dms2dd(53, 22, 49.38, "N")), 
                    longitude   := f_ddlon2int(f_dms2dd(1, 28, 12.12, "W")),
                    elevation   := '0000'O
                }
                v_result := f_isLocationInsideCircularRegion(v_circularArea, v_location);
                if (v_result == false) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
                v_location := { // Location inside: Harlington Baptist Church, Great Britain
                    latitude    := f_ddlat2int(f_dms2dd(51, 29, 12.73, "N")), 
                    longitude   := f_ddlon2int(f_dms2dd(0, 26, 7.6, "W")),
                    elevation   := '0000'O
                }
                v_result := f_isLocationInsideCircularRegion(v_circularArea, v_location);
                if (v_result == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
            }
            
            testcase tc_isLocationInsideIdentifiedRegion_01() runs on TCType system TCType {
                var boolean v_result;
                var IdentifiedRegion v_area;
                var ThreeDLocation v_location;
                
                v_area := {
                    region_dictionary   := e_iso_3166_1,    // ISO 3166-1
                    region_identifier   := 250,             // France
                    local_region        := 83               // Var
                }
                
                v_location := { // Location ouside: Harlington Baptist Church, Great Britain
                    latitude    := f_ddlat2int(f_dms2dd(51, 29, 12.73, "N")), 
                    longitude   := f_ddlon2int(f_dms2dd(0, 26, 7.6, "W")),
                    elevation   := '0000'O
                }
                v_result := f_isLocationInsideIdentifiedRegion(v_area, v_location);
                if (v_result == false) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
                
                v_location := { // Location inside: Les oliviers de la mairie, place Villeneuve Bargemon, Marseille, France
                    latitude    := f_ddlat2int(f_dms2dd(43, 17, 48.57, "N")), 
                    longitude   := f_ddlon2int(f_dms2dd(5, 22, 9.61, "E")),
                    elevation   := '0000'O
                }
                v_result := f_isLocationInsideIdentifiedRegion(v_area, v_location);
                if (v_result == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
                
                v_location := { // Location inside: Cattedrale St Leonce e battistero, Frejus, France
                    latitude    := f_ddlat2int(f_dms2dd(43, 25, 58.13, "N")), 
                    longitude   := f_ddlon2int(f_dms2dd(6, 44, 11.18, "E")),
                    elevation   := '0000'O
                }
                v_result := f_isLocationInsideIdentifiedRegion(v_area, v_location);
                if (v_result == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
            }
            
            testcase tc_isLocationInsideIdentifiedRegion_02() runs on TCType system TCType {
                var boolean v_result;
                var IdentifiedRegion v_area;
                var ThreeDLocation v_location;
                
                v_area := {
                    region_dictionary   := e_iso_3166_1,    // ISO 3166-1
                    region_identifier   := 1024,            // Unknown country code
                    local_region        := 0
                }
                
                v_location := { // Location outside: Les oliviers de la mairie, place Villeneuve Bargemon, Marseille, France
                    latitude    := f_ddlat2int(f_dms2dd(43, 17, 48.57, "N")), 
                    longitude   := f_ddlon2int(f_dms2dd(5, 22, 9.61, "E")),
                    elevation   := '0000'O
                }
                v_result := f_isLocationInsideIdentifiedRegion(v_area, v_location);
                if (v_result == false) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
            }
            
            testcase tc_isLocationInsideIdentifiedRegion_03() runs on TCType system TCType {
                var boolean v_result;
                var IdentifiedRegion v_area;
                var ThreeDLocation v_location;
                
                v_area := {
                    region_dictionary   := e_un_stats,  // UN states
                    region_identifier   := 250,         // France code in UN
                    local_region        := 0
                }
                
                v_location := { // Location inside: Les oliviers de la mairie, place Villeneuve Bargemon, Marseille, France
                    latitude    := f_ddlat2int(f_dms2dd(43, 17, 48.57, "N")), 
                    longitude   := f_ddlon2int(f_dms2dd(5, 22, 9.61, "E")),
                    elevation   := '0000'O
                }
                v_result := f_isLocationInsideIdentifiedRegion(v_area, v_location);
                if (v_result == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
                
                v_location := { // Location inside: Les oliviers de la mairie, place Villeneuve Bargemon, Marseille, France
                    latitude    := f_ddlat2int(f_dms2dd(43, 17, 48.57, "N")), 
                    longitude   := f_ddlon2int(f_dms2dd(5, 22, 9.61, "E")),
                    elevation   := '0000'O
                }
                v_result := f_isLocationInsideIdentifiedRegion(v_area, v_location);
                if (v_result == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
            }
            
687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706
            testcase tc_isLocationInsideIdentifiedRegion_04() runs on TCType system TCType {
                var boolean v_result;
                var IdentifiedRegion v_area;
                var ThreeDLocation v_location;
                
                v_area := {
                    region_dictionary   := e_iso_3166_1,    // ISO 3166-1
                    region_identifier   := 528,             // France
                    local_region        := 0               // Var
                }
                
                v_location := { latitude := 51478701, longitude := 5654746, elevation := '0000'O };
                v_result := f_isLocationInsideIdentifiedRegion(v_area, v_location);
                if (v_result == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
            }
            
707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830
            testcase tc_isPolygonalRegionInside_01() runs on TCType system TCType {
                var boolean v_result;
                var PolygonalRegion v_parent, v_region;
                
                v_parent := {
                }
                v_region := {
                }
                
                v_result := f_isPolygonalRegionInside(v_parent, v_region);
                if (v_result == false) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
                
                v_parent := {
                    { // Forteza, Brasil
                        latitude    := f_ddlat2int(f_dms2dd(3, 51, 51.317, "S")), 
                        longitude   := f_ddlon2int(f_dms2dd(38, 23, 10.429, "W"))
                    },
                    { // Sao Paulo, Brasil
                        latitude    := f_ddlat2int(f_dms2dd(23, 43, 30.042, "S")), 
                        longitude   := f_ddlon2int(f_dms2dd(46, 30, 58.007, "W"))
                    },
                    { // Douradina, Brasil
                        latitude    := f_ddlat2int(f_dms2dd(21, 59, 1.685, "S")), 
                        longitude   := f_ddlon2int(f_dms2dd(54, 38, 45.585, "W"))
                    },
                    { // Sorriso, Brasil
                        latitude    := f_ddlat2int(f_dms2dd(12, 58, 59.332, "S")), 
                        longitude   := f_ddlon2int(f_dms2dd(55, 5, 13.476, "W"))
                    }
                };
                v_region := {
                };
                
                v_result := f_isPolygonalRegionInside(v_parent, v_region);
                if (v_result == false) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
                
                v_result := f_isPolygonalRegionInside(v_parent, v_region);
                if (v_result == false) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
                
                v_region := { // Part of the region inside
                    { // Goias, Brasil
                        latitude    := f_ddlat2int(f_dms2dd(13, 9, 15.754, "S")), 
                        longitude   := f_ddlon2int(f_dms2dd(49, 38, 10.429, "W"))
                    },
                    { // Araguaiana, Brasil
                        latitude    := f_ddlat2int(f_dms2dd(15, 9, 25.105, "S")), 
                        longitude   := f_ddlon2int(f_dms2dd(51, 31, 33.164, "W"))
                    },
                    { // Espirito Santo, Brasil
                        latitude    := f_ddlat2int(f_dms2dd(20, 52, 45.635, "S")), 
                        longitude   := f_ddlon2int(f_dms2dd(40, 48, 11.601, "W"))
                    }
                }
                v_result := f_isPolygonalRegionInside(v_parent, v_region);
                if (v_result == false) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
                
                v_region := { // Region inside
                    { // Goias, Brasil
                        latitude    := f_ddlat2int(f_dms2dd(13, 9, 15.754, "S")), 
                        longitude   := f_ddlon2int(f_dms2dd(49, 38, 10.429, "W"))
                    },
                    { // Araguaiana, Brasil
                        latitude    := f_ddlat2int(f_dms2dd(15, 9, 25.105, "S")), 
                        longitude   := f_ddlon2int(f_dms2dd(51, 31, 33.164, "W"))
                    },
                    { // Piaui, Brasil
                        latitude    := f_ddlat2int(f_dms2dd(10, 8, 30.954, "S")), 
                        longitude   := f_ddlon2int(f_dms2dd(45, 21, 45.175, "W"))
                    }
                }
                v_result := f_isPolygonalRegionInside(v_parent, v_region);
                if (v_result == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
                
                v_region := { // Region Outside
                    { // Naramjos, Peru
                        latitude    := f_ddlat2int(f_dms2dd(5, 44, 49.827, "S")), 
                        longitude   := f_ddlon2int(f_dms2dd(77, 30, 50.537, "W"))
                    },
                    { // Tarapoto, Peru
                        latitude    := f_ddlat2int(f_dms2dd(6, 30, 3.237, "S")), 
                        longitude   := f_ddlon2int(f_dms2dd(76, 20, 18.603, "W"))
                    },
                    { // Cajamarca, Peru
                        latitude    := f_ddlat2int(f_dms2dd(7, 10, 37.923, "S")), 
                        longitude   := f_ddlon2int(f_dms2dd(78, 30, 49.658, "W"))
                    }
                }
                v_result := f_isPolygonalRegionInside(v_parent, v_region);
                if (v_result == false) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
                
                v_result := f_isPolygonalRegionInside(v_region, v_region);
                if (v_result == true) {
                    setverdict(pass);
                } else {
                    setverdict(fail);
                }
                
            }
            
        } // End of group externalFunctionsGeodesic
831
        
832
    } // End of group externalFunction_testCases
833 834
    
} // End of module test_LibItsExternalFunctions