1 2015-11-23/27 1 abstract test suite antonio f. rodríguez cnig (ign)
TRANSCRIPT
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