Loading ttcn/AtsECRF/AtsECRF_Pics.ttcn +10 −0 Original line number Diff line number Diff line Loading @@ -18,6 +18,16 @@ module AtsECRF_Pics { */ modulepar boolean PICS_ECRF_GEOMETRY_CIRCLE := true; /** * @desc Does the IUT support geometry Ellipse? */ modulepar boolean PICS_ECRF_GEOMETRY_ELLIPSE := true; /** * @desc Does the IUT support geometry Arcband? */ modulepar boolean PICS_ECRF_GEOMETRY_ARCBAND := true; /** * @desc Does the IUT support ListServices ? */ Loading ttcn/AtsECRF/AtsECRF_TestCases.ttcn +66 −1 Original line number Diff line number Diff line Loading @@ -721,7 +721,7 @@ module AtsECRF_TestCases { // Test control f_check_statements({ { name := "PICS_ECRF_FIND_SERVICE", val := PICS_ECRF_FIND_SERVICE }, { name := "PICS_ECRF_GEOMETRY_POINT", val := PICS_ECRF_GEOMETRY_POINT } { name := "PICS_ECRF_GEOMETRY_ELLIPSE", val := PICS_ECRF_GEOMETRY_ELLIPSE } }) // Test component configuration Loading Loading @@ -777,6 +777,71 @@ module AtsECRF_TestCases { f_cf_01_http_down(); } /** * @desc "IUT successfully responds with a service URI for an Arcband in the service boundary" */ testcase TC_ECRF_LOST_BV_14() runs on HttpComponent system TestAdapter { // Test control f_check_statements({ { name := "PICS_ECRF_FIND_SERVICE", val := PICS_ECRF_FIND_SERVICE }, { name := "PICS_ECRF_GEOMETRY_ARCBAND", val := PICS_ECRF_GEOMETRY_ARCBAND } }) // Test component configuration f_cf_01_http_up(); template (omit) ArcBandType arcband := m_arcband( m_center_group_pos(PX_ARCBAND_IN_G1_CENTER), { uom := PX_ARCBAND_IN_G1_INNER_RADIUS_UOM, base := PX_ARCBAND_IN_G1_INNER_RADIUS }, { uom := PX_ARCBAND_IN_G1_OUTER_RADIUS_UOM, base := PX_ARCBAND_IN_G1_OUTER_RADIUS }, { uom := PX_ARCBAND_IN_G1_START_ANGLE_UOM, base := PX_ARCBAND_IN_G1_START_ANGLE }, { uom := PX_ARCBAND_IN_G1_OPENING_ANGLE_UOM,base := PX_ARCBAND_IN_G1_OPENING_ANGLE } ); // Preamble f_sendFindServiceRequest( m_find_service_request( { m_location( PX_LOCATION_ID, { m_extension_point(encvalue_unichar(valueof(arcband))) }, "geodetic-2d" // TODO Use a Pixit ) }, { }, PX_E_POLICE_SERVICE_URN, true ) ); f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); // Test Body tc_ac.start; f_receiveResponse(mw_http_find_service_response( mw_find_service_response( { mw_mapping( mw_expires_date_time(PX_LOST_EXPIRES), PX_LOST_LAST_UPDATED, PX_ECRF_SOURCE, PX_SOURCE_ID_POLICE_G1, { mw_display_name(-, PX_DISPLAY_NAME_POLICE_G1) }, { PX_URI_POLICE_G1 }, -, PX_E_POLICE_SERVICE_URN, -, -, -, "112" ) } ) ) ); // Postamble f_cf_01_http_down(); } } // End of group LOST } // End of module AtsECRF_TestCases ttcn/patch_lib_http/LibItsHttp_XmlTemplates.ttcn +23 −1 Original line number Diff line number Diff line Loading @@ -875,7 +875,29 @@ module LibItsHttp_XmlTemplates { semiMajorAxis := p_semiMajorAxis, semiMinorAxis := p_semiMinorAxis, orientation := p_orientation } // End of template m_circle } // End of template m_ellipse template (omit) ArcBandType m_arcband( in template (value) CenterGroup p_centerGroup, in template (value) LengthType p_innerRadius, in template (value) LengthType p_outerRadius, in template (value) AngleType p_startAngle, in template (value) AngleType p_openingAngle, in template (omit) XSD.AnyURI p_srsName := omit, in template (omit) XSD.AnyURI p_id := omit ) := { axisLabels := omit, gid := omit, id := omit, srsDimension := omit, srsName := p_srsName, uomLabels := omit, centerGroup := p_centerGroup, innerRadius := p_innerRadius, outerRadius := p_outerRadius, startAngle := p_startAngle, openingAngle := p_openingAngle } // End of template m_arcband template (value) CenterGroup m_center_group_pos( in template (value) CenterGroup.pos p_pos Loading Loading
ttcn/AtsECRF/AtsECRF_Pics.ttcn +10 −0 Original line number Diff line number Diff line Loading @@ -18,6 +18,16 @@ module AtsECRF_Pics { */ modulepar boolean PICS_ECRF_GEOMETRY_CIRCLE := true; /** * @desc Does the IUT support geometry Ellipse? */ modulepar boolean PICS_ECRF_GEOMETRY_ELLIPSE := true; /** * @desc Does the IUT support geometry Arcband? */ modulepar boolean PICS_ECRF_GEOMETRY_ARCBAND := true; /** * @desc Does the IUT support ListServices ? */ Loading
ttcn/AtsECRF/AtsECRF_TestCases.ttcn +66 −1 Original line number Diff line number Diff line Loading @@ -721,7 +721,7 @@ module AtsECRF_TestCases { // Test control f_check_statements({ { name := "PICS_ECRF_FIND_SERVICE", val := PICS_ECRF_FIND_SERVICE }, { name := "PICS_ECRF_GEOMETRY_POINT", val := PICS_ECRF_GEOMETRY_POINT } { name := "PICS_ECRF_GEOMETRY_ELLIPSE", val := PICS_ECRF_GEOMETRY_ELLIPSE } }) // Test component configuration Loading Loading @@ -777,6 +777,71 @@ module AtsECRF_TestCases { f_cf_01_http_down(); } /** * @desc "IUT successfully responds with a service URI for an Arcband in the service boundary" */ testcase TC_ECRF_LOST_BV_14() runs on HttpComponent system TestAdapter { // Test control f_check_statements({ { name := "PICS_ECRF_FIND_SERVICE", val := PICS_ECRF_FIND_SERVICE }, { name := "PICS_ECRF_GEOMETRY_ARCBAND", val := PICS_ECRF_GEOMETRY_ARCBAND } }) // Test component configuration f_cf_01_http_up(); template (omit) ArcBandType arcband := m_arcband( m_center_group_pos(PX_ARCBAND_IN_G1_CENTER), { uom := PX_ARCBAND_IN_G1_INNER_RADIUS_UOM, base := PX_ARCBAND_IN_G1_INNER_RADIUS }, { uom := PX_ARCBAND_IN_G1_OUTER_RADIUS_UOM, base := PX_ARCBAND_IN_G1_OUTER_RADIUS }, { uom := PX_ARCBAND_IN_G1_START_ANGLE_UOM, base := PX_ARCBAND_IN_G1_START_ANGLE }, { uom := PX_ARCBAND_IN_G1_OPENING_ANGLE_UOM,base := PX_ARCBAND_IN_G1_OPENING_ANGLE } ); // Preamble f_sendFindServiceRequest( m_find_service_request( { m_location( PX_LOCATION_ID, { m_extension_point(encvalue_unichar(valueof(arcband))) }, "geodetic-2d" // TODO Use a Pixit ) }, { }, PX_E_POLICE_SERVICE_URN, true ) ); f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); // Test Body tc_ac.start; f_receiveResponse(mw_http_find_service_response( mw_find_service_response( { mw_mapping( mw_expires_date_time(PX_LOST_EXPIRES), PX_LOST_LAST_UPDATED, PX_ECRF_SOURCE, PX_SOURCE_ID_POLICE_G1, { mw_display_name(-, PX_DISPLAY_NAME_POLICE_G1) }, { PX_URI_POLICE_G1 }, -, PX_E_POLICE_SERVICE_URN, -, -, -, "112" ) } ) ) ); // Postamble f_cf_01_http_down(); } } // End of group LOST } // End of module AtsECRF_TestCases
ttcn/patch_lib_http/LibItsHttp_XmlTemplates.ttcn +23 −1 Original line number Diff line number Diff line Loading @@ -875,7 +875,29 @@ module LibItsHttp_XmlTemplates { semiMajorAxis := p_semiMajorAxis, semiMinorAxis := p_semiMinorAxis, orientation := p_orientation } // End of template m_circle } // End of template m_ellipse template (omit) ArcBandType m_arcband( in template (value) CenterGroup p_centerGroup, in template (value) LengthType p_innerRadius, in template (value) LengthType p_outerRadius, in template (value) AngleType p_startAngle, in template (value) AngleType p_openingAngle, in template (omit) XSD.AnyURI p_srsName := omit, in template (omit) XSD.AnyURI p_id := omit ) := { axisLabels := omit, gid := omit, id := omit, srsDimension := omit, srsName := p_srsName, uomLabels := omit, centerGroup := p_centerGroup, innerRadius := p_innerRadius, outerRadius := p_outerRadius, startAngle := p_startAngle, openingAngle := p_openingAngle } // End of template m_arcband template (value) CenterGroup m_center_group_pos( in template (value) CenterGroup.pos p_pos Loading