Test de conformidad de IPsec en TTCN-3.

Abstract

El protocolo de Internet, IPv6 (Internet Protocol version 6) remplazará al actual protocolo (IPv4), por este motivo las implementaciones de IPv6 deben ser verificadas y validadas. IPsec (Internet Protocol security) es un mecanismo de seguridad incluido en la especificación de IPv6. La función de IPsec es asegurar las comunicaciones sobre el Protocolo de Internet (IP), actuando en la capa de red (capa 3 del modelo OSI) y proporcionando servicios de seguridad. La implantación de técnicas y procesos de testeo sobre aplicaciones o protocolos es importante ya que brinda una mayor credibilidad y confiabilidad del producto. Debido a la imposibilidad de que este testeo sea exhaustivo, es necesario seleccionar un conjunto de casos de prueba representativo que contemple su especificación. IPv6 Ready Logo Program es un programa de testeo desarrollado con la intención de incrementar la confianza del usuario demostrando que IPv6 está disponible y listo para ser usado. En particular IPv6 Ready Logo Program seleccionó un conjunto de casos de prueba con el propósito de validar el protocolo IPsec, mediante test de conformidad. Los test de conformidad son los que determinan si el sistema cumple la especificación, en este caso los RFC (Request For Comments) de IPsec. TTCN-3 (Testing and Test Control Notation version 3) es un nuevo lenguaje promovido por ETSI (European Telecommunications Standards Institute) para estandarización de pruebas formales, orientado a la especificación e implementación de casos de prueba. Este proyecto tiene como objetivos el desarrollo de una metodología de implementación para la suite de tests de conformidad de IPsec (a partir de la especificación del IPv6 Ready Logo Program) y la implementación de esta suite en el lenguaje TTCN-3. Esta metodología tiene como objetivo la estandarización del proceso de desarrollo de los casos de prueba, lo cual busca mejorar la calidad en el contexto de IPv6 y seguridad sobre IP.