Verificación de aplicación específica de enclavamientos mediante pruebas automáticas

Abstract

El presente Trabajo Fin de Máster (desde ahora TMF) tiene por finalidad explicar los beneficios de la elaboración de un procedimiento de pruebas automáticas para la verificación de enclavamientos en Aplicación Específica (SA). Para ello se procederá a resumir ampliamente los conceptos de enclavamiento, Aplicación Específica (SA) y pruebas automáticas. Primeramente se hablará de los enclavamientos y bloqueos. Se realiza una descripción de los elementos y módulos que componen el sistema de enclavamiento. En este TFM se verificarán varios enclavamientos los cuales estarán unidos mediante bloqueos, por lo que resulta imprescindible su definición. Seguidamente se realizará una síntesis sobre la verificación, sus bondades, repercusiones en la seguridad y su tratamiento en las normas ferroviarias. Se explicará el ciclo de vida de la verificación y a continuación se explicarán los conceptos: Producto Genérico (GP), Aplicación Genérica (GA) y Aplicación Específica (SA). Se hará hincapié en la SA y como atañe al proceso de verificación expuesto en el TFM. Por último se identificarán las pruebas manuales y las pruebas automáticas. Se definirá la arquitectura del entorno para poder ejecutar las pruebas automáticas y se planteará un modelo de codificación que pretende ser reutilizable para distintos proyectos. Como conclusión se realizará una comparativa de tiempos y coste entre las pruebas automáticas y las pruebas manuales. Estado del Arte El software está presente muchas actividades, por ello, se ha convertido en algo esencial. En la actualidad muchos de los productos existentes en el mercado tienen un microprocesador que ejecuta alguna tarea. Estos productos abarcan desde teléfonos móviles, televisores, etc. hasta medios de transporte como el automóvil, los ferrocarriles y aviones. Sin embargo el control de calidad del software no siempre está a la altura de las necesidades del producto. En determinados productos, se elimina la verificación por ahorro de costes, dejando al usuario esta labor y compensando esta falta en el servicio postventa. La falta de calidad del software tiene consecuencias y afecta directa o indirectamente a la reputación de las empresas e instituciones, pudiendo llegar a producir grandes costes económicos y, en el peor de los casos, poner en peligro vidas humanas. Estos motivos evidencian la importancia de la verificación, ya que este es el proceso que realiza el análisis y comprobación del correcto desarrollo de software de acuerdo a los requisitos y especificaciones del cliente. Una correcta aplicación del proceso de verificación deberá detectar los errores antes de que se manifiesten durante el uso de estos productos.