12015-11-23/27 12015-11-23/27

Abstract Test Suite

Antonio F. RodríguezCNIG (IGN)

22015-11-23/27

Introducción

El problema de verificar/certificar conformidad

Qué es un Abstract Test Suite

Ejemplos

Conclusiones

Índice

32015-11-23/27

¿Cómo verificar que un WMS es estándar?

Haciendo peticiones y comprobando que la respuesta es correcta

¿Cuántas?

Introducción

42015-11-23/27

1 GetCapabilities http://ovc.catastro.meh.es/Cartografia/WMS/

ServidorWMS.aspx?request=GetCapabilities&service=WMS

Cambiando el orden 2Probando mayúsculas 4Valores erróneos 2

16 peticiones

Verificando un WMS

52015-11-23/27

1 GetMap http://ovc.catastro.meh.es/Cartografia/WMS/

ServidorWMS.aspx?TRANSPARENT=true&FORMAT=image%2Fpng&VERSION=1.1.1&EXCEPTIONS=application%2Fvnd.ogc.se_xml&SERVICE=WMS&REQUEST=GetMap&STYLES=Default&LAYERS=Catastro&BGCOLOR=0xFFFFFF&SRS=EPSG%3A4326&BBOX=-7.2398642079606,39.360736767746,-7.2323111073746,39.365422050454&WIDTH=1408&HEIGHT=873

Verificando un WMS

62015-11-23/27

72015-11-23/27

TRANSPARENT=true, false 2 FORMAT=png, jpeg 2 VERSION=1.1.1, 1.3.1 2 EXCEPTIONS=xml 2 SERVICE=WMS REQUEST=GetMap STYLES= 2 LAYERS=Catastro SRS=EPSG:4326 12 BBOX=-7.2… 50 WIDTH=1408&HEIGHT=873 8 153 600

- Mayúsculas, minúsculas 4 - Orden 11! = 39 M 23,9 B

¿Cuántas peticiones?

82015-11-23/27

Entre 10 y 20 peticiones Combinando varias opciones

Hay que chequear que el resultado es correcto

Introducir entre 8 peticiones erróneas18

Verificar que la respuesta errónea es correcta

1) Hay un método de verificación 2) Hay subjetividad

Algo razonable

92015-11-23/27

Abstract Test Suite Conjunto de pruebas abstractas

Método para verificar si un recurso es conforme a una norma, estándar o especificación

Siempre hay un grado de subjetividad¿El recurso X es conforme a la especificación Y?El recurso X, habiendo aplicado Z el ATS W, es conforme a la especificación Y

El problema de la verificación

102015-11-23/27

Inspire validator http://inspire-geoportal.ec.europa.eu/

validator2/

DisclaimerThis service is used in the context of the INSPIRE Geoportal to perform validation of the metadata of resources discovered through the Member State Discovery Services. It is provided as is and it is not to be considered a full INSPIRE compliance test. While we have tried to ensure compliance with the INSPIRE Regulations and the relevant Technical Guidance documents we do recognise that there may still be issues that will need to be addressed. We would appreciate if you could report to us any issue you find with this validator so that we can improve it.

Para metadatos

112015-11-23/27

Anexos I y IIv3.0.1 2010 No tenían ATSv3.1 2014-04 Sí tienen ATS

Anexo IIIv3 2013-12 Siempre han tenido

Normas ISO 19100 ATS Especificaciones OGC no

OGC certifica software

ATS de las especificaciones

122015-11-23/27

Debe ser ejecutada por un equipo diferente al de producción

Equipo de producciónObjetivo: comprobar que todo está bienActitud complaciente

Equipo de verificaciónObjetivo: Encontrar algún falloActitud inquisitorial

Más sobre verificación/certificación

132015-11-23/27

Identificación Contenido y

estructuraEsquema UMLCatálogo de objetos

CRS, unidades Calidad Metadatos Distribución

FormatosSoportes

¿Cómo verificar todo esto?

MantenimientoActualización

Captura de datosCapturaProcesos

Representación

142015-11-23/27

Se aplican a los ficheros (datasets) que se descargan, no necesariamente a los ficheros internos

Parte 1 ObligatoriaConformidad con el reglamento

Parte 2 InformativaConformidad con las Technical Guideline

Estrictamente, se puede verificar un gml con el esquema XML del tema (http://inspire.ec.europa.eu/index.cfm/pageid/2/list/xml-

schemas) Problemas del gml (volumen, complejidad)

Absract Test Suite

152015-11-23/27

A.1 Application Schema Conformance Class PARTE 1

A.1.1 Schema element denomination test Nombres de clases, data types, atributos, roles, codelists y enumeration

A.1.2 Value type test Que todos los atributos y roles con del tipo corrrecto

A.1.3 Value test Que todos los atributos y roles cuyo valor es una codelist o enumeration, toman uno de los valores incluidos

A.1.4 Attributes/associations completeness test Que todas las instancias de objeto y tipos de datos tienen los atributos y roles del modelo

A.1.5 Abstract spatial object testQue no hay instancias de los objetos y tipos de datos abstractos

A.1.6 Constraints test Que las instancias de objetos y tipos de datos cuplen las restricciones del modelo

Un ejemplo: Hidrografía 1

162015-11-23/27

A.1 Application Schema Conformance Class (cont.)

A.1.7 Geometry representation test A.1.8 Object references modelling test

Si se exportan objetos geográficos (Río Ebro) en diferentes esquemas UML, que todos llevan el mismo nombre o identificador

A.1.9 DelineationKnown Attribute test Que el atributo DelineationKnown (forma conocida, para línea de costa, barras de arena) no se usa para geometrías de baja precisión o modificaciones

A.1.10 Centrelines testQue el eje de ríos, canales, embalses, lagos… está dentro de los márgenes

A.1.11 Network Connectivity testRed tiene conectividad (tolerancia de conectividad)

Un ejemplo: Hidrografía 2

172015-11-23/27

A.2 Reference Systems Conformance Class A.2.1 Datum test

Que todas las instancias están en ETRS89 + REGCAN95

A.2.2 Coordinate reference system test Que toda slas instancias están en lat-long, UTM, Lambert…

A.2.3 Grid test Si hay malla que está definida en uno de los CRS permitidos

A.2.4 View service coordinate reference system test Que el conjunto de datos está disponible en lat-long para visualización

A.2.5 Temporal reference system test Que se utiliza el calendario Gregoriano y TUC o tiempo local

A.2.6 Units of measurements testUnidades conforme a ISO 80000-1: 2009 SI

Un ejemplo: Hidrografía 3

182015-11-23/27

A.3 Data Consistency Conformance Class A.3.1 Unique identifier persistency test

Que el espacio de nombres y los identificadores externos no cambian de una versión a otra

A.3.2 Version consistency test Que las diferentes versiones de cada objeto y tipo de datos son del mismo tipo

A.3.3 Life cycle time sequence testQue siempre beginLifeSpanVersion < endLifeSpanVersion

A.3.4 Validity time sequenceQue siempre validFrom < validTo

A.3.5 Update frequency test Que todas las actualizaciones en los ficheros fuente datos

Un ejemplo: Hidrografía 4

192015-11-23/27

A.3.6 Spatial consistency test Que los enlaces, ejes y nodos están dentro del objeto geográficoQue la conectividad en fronteras nacionales y regionales está asegurada con NetworkConecctionQue todos los atributos correspondientes son iguales a los de la reportes de la DMA

A.3.7 Identifier management testSi se utilizan nombres como ID, que sean los de un Nomenclátor europeo y los mismos de los reportes de la DMA

Un ejemplo: Hidrografía 5

202015-11-23/27

A.4 Metadata IR Conformance Class A.5.1 Metadata for interoperability test

Que los metadatos son los necesarios para la interoperabilidad

CRSSR temporalCodificaciónConsistencia topológicaCodificación de caracteres si no es UTF-8

Un ejemplo: Hidrografía 6

212015-11-23/27

A.5 Information Accessibility Conformance Class

A.5.1 Code list publication testQue todos los valores extendidos están publicados en un registro

A.5.2 CRS publication test Que el identificador del CRS o sus parámetros están publicados en un registro

A.5.3 CRS identification test Si se usan CRS adicionales, que están definidos conforme a ISO 19111 (CRS) e ISO 19127 (Geodetic codes and parameters)

A.5.4 Grid identification test Si hay datos malla, o es la especificada o su definición está publicada

Un ejemplo: Hidrografía 7

222015-11-23/27

A.6 Data Delivery Conformance Class A.6.1 Encoding compliance test

Que el formato siga EN ISO 19118 reglas para pasar de un UML a un XML

A.7 Portrayal Conformance ClassA.8.1 Layer designation test

Que cada tipo de objeto espacial está en la capa que le corresponde

Un ejemplo: Hidrografía 8

232015-11-23/27

A.8 Technical Guideline Conformance Class PARTE 2

A.8.1 Multiplicity test Que cada atributo y relación tiene la multiplicidad del modelo

A.8.1 CRS http URI testQue se identifican los CRS usados con los códigos EPSG

A.8.2 Metadata encoding schema validation test Que los metadatos están en un formato conforme al esquema XML ISO 19139

A.8.3 Metadata occurrence test Que la multiplicidad de cada ítem de metadatos es la corecta

A.8.4 Metadata consistency test Que cada elemento es cofnforme a un esquema XML ISO 19139

A.8.5 Encoding schema validation test Que el formato se ajusta al esquema XML publicado

Un ejemplo: Hidrografía 9

242015-11-23/27

A.8.6 Coverage multipart representation test Si hay una cobertura multiparte que es conforme a OGC Application Schema for Coverages (OGC 09-146r2)

A.8.7 Coverage domain consistency test Si hay cobertura, que el dominio de valores es consistente con el dominio que se especifica en el formato

A.8.8 Style testQue se han implementado los estilos INSPIRE

Un ejemplo: Hidrografía10

252015-11-23/27

262015-11-23/27

¿Cómo extender los modelos?Codelists Inspire (listas de valores de atributos)

Se pueden ampliar Publicar en un registro

Atributos adicionalesSe pueden definir (el usuario Inspire los ignora)

Clases de objeto adicionalesTambién se pueden definir (se ignoran)Siempre que se tengan las clases obligatorias

Cabecera GML: Esquema XML Inspire, Esquema 1, Esquema 2…

GML

Problema

272015-11-23/27

AEl productor dice ser conforme a las especificaciones

AACODIIGE define un subconjunto de requisitos razonable (pueden ser requisitos verificables automáticamente)

AAACompletamente conforme

Debería haber tres niveles

282015-11-23/27

Verificar/certificar no es trivial Siempre

Es conforme con el método X y según Y Hay recursos que ayudan

Esquemas para el gml Método de doble chequeo

El productor de datosOrganización externa

Métodos1º) Revisar todos los requisitos de la Guía Técnica2º) ATS

Conclusiones

292015-11-23/27

¡Gracias por vuestra atención!

Antonio F. Rodríguez91 5979661

afrodriguez@fomento.es