X
Ferrocarril

Soluciones para la industria ferroviaria

Desarrollo y prueba de software ferroviario

La industria ferroviaria se encuentra en una transformación de digitalización para agilizar las operaciones de carga y pasajeros. Su objetivo es reducir costos, construir trenes y estaciones de tren inteligentes que brinden información sobre el movimiento de pasajeros y trenes en tiempo real, habilitar a las autoridades de transporte y mejorar la experiencia de los pasajeros al brindarles a los viajeros herramientas para elegir las opciones de viaje y pago más inteligentes y fáciles.

Las soluciones de prueba bien establecidas de Parasoft en el mercado de seguridad crítica ofrecen un mejor soporte para los estándares ferroviarios que cualquier otro proveedor de herramientas. Nuestras soluciones son fáciles de adoptar. Ayudan a las organizaciones a cumplir con el estándar principal de la industria ferroviaria (CENELEC EN-50128) y los estándares de codificación de seguridad como MISRA, AUTOSAR C ++ 14, CERT, CWE y OWASP.

Afronte los desafíos actuales del desarrollo de software moderno

Reducir el costo del cumplimiento de las normas

La prueba Parasoft C / C ++ proporciona una solución de prueba de software unificada y automatizada para la industria ferroviaria, que incluye soporte para estándares de procesos de seguridad (como EN 50128) y otros requisitos regulatorios (como CERT, CWE, MISRA y AUTOSAR). Las soluciones de Parasoft mejoran la productividad de las pruebas de software, reducen la barrera de introducir cumplimiento en el proceso de desarrollo y reducen la cantidad de trabajo adicional requerido para la calificación y preparación de informes y documentación necesarios para las auditorías.

Proteja su aplicación con estándares de codificación de seguridad

Las empresas ferroviarias y sus OEM pueden implementar soluciones de prueba proporcionadas por el conjunto de pruebas centradas en la seguridad de Parasoft, que incluye análisis estático, pruebas unitarias, pruebas API, pruebas de interfaz de usuario web y virtualización de servicios. Empiece por el camino correcto. Cree código utilizando análisis estático para que el software cumpla con los estándares de seguridad como CERT C, CERT C ++ y CWE desde el principio. No se arriesgue a esperar hasta el final para identificar sus vulnerabilidades y defectos de seguridad.

Construir ferrocarriles y estaciones de tren conectados

Los sistemas de control de trenes modernos contienen software que conecta los ferrocarriles, monitorea el movimiento del tren en tiempo real, proporciona alarmas de incidentes, predice el mantenimiento y realiza muchas otras actividades cruciales. Las estaciones de tren también son parte de este ecosistema conectado con puertas de entrada / salida, máquinas expendedoras de boletos y aplicaciones para que los viajeros busquen horarios y mapas y paguen su tarifa. El desarrollo de estas aplicaciones de software críticas diversas y conectadas requiere una solución completa para las pruebas de seguridad.

Soluciones de Parasoft para la industria ferroviaria

La tecnología está impulsando el ritmo del cambio en la industria ferroviaria. La información inteligente y procesable es clave, con la ayuda de sensores inteligentes desplegados en la red y el vagón de tren. Estas tecnologías conectadas pueden inspeccionar vías y automatizar los comportamientos de los vagones, como abrir y cerrar puertas. Las bases de datos se acumulan con algoritmos avanzados y software de análisis de datos que reducen el impacto de los errores humanos y las limitaciones en las operaciones ferroviarias, mejorando la seguridad y la eficiencia. La experiencia del viajero también se ve reforzada por las aplicaciones móviles que ponen el poder de la toma de decisiones en la palma de su mano. Todos estos datos recopilados y la privacidad de los pasajeros deben protegerse.

Logre el cumplimiento de EN 50128 con la prueba Parasoft C / C ++, que proporciona las siguientes técnicas de prueba requeridas por la norma:

  • Análisis estático
  • Análisis dinámico (SIL 0-4)
  • Cobertura de prueba (SIL 0-4)
  • Verificación de software (trazabilidad)
  • Validación de software (host y hardware de destino)
  • Trazabilidad de requisitos (req - caso de prueba - código)
  • Pruebas funcionales / de caja negra
  • Prueba de interfaz
  • La prueba Parasoft C / C ++ tiene la certificación TÜV SÜD para su uso (SIL 0-4)

Alcance el cumplimiento del código utilizando la prueba Parasoft C / C ++ para estándares de codificación de seguridad. Proporciona un conjunto de verificadores integrados (reglas) para verificar el cumplimiento de los estándares CERT C, CERT C ++, CWE, OWASP y más. Estos estándares detectan problemas complejos similares al tiempo de ejecución al principio de la etapa de desarrollo sin la necesidad de ejecutar costosas pruebas de tiempo de ejecución. Ayudan a los usuarios a identificar vulnerabilidades de seguridad y construcciones de codificación inadecuadas y a comprender áreas de riesgo particular.

Cumpla con el cumplimiento del código y mejore la calidad del código con la prueba Parasoft C / C ++, que ofrece un soporte más completo que cualquier otro proveedor de herramientas para estándares de codificación como MISRA C 2012, MISRA C ++ 2008, AUTOSAR C ++ 14, HIC ++ y otros. Las organizaciones pueden reducir el costo de satisfacer el proceso de cumplimiento con la prueba C / C ++. Nuestra herramienta de pruebas de desarrollo proporciona informes de cumplimiento dedicados que permiten una vista dinámica del proceso de cumplimiento y el análisis de las infracciones en función de agrupaciones y categorizaciones del estándar original. Parasoft también proporciona herramientas para generar automáticamente la documentación necesaria para demostrar el cumplimiento.

Diseñado para ingenieros integrados que tienen en mente las pruebas de software críticas para la seguridad, las funciones de prueba unitaria de Parasoft C / C ++ incluyen un potente marco de trabajo de stubbing y C burlarse. Los ingenieros integrados pueden crear casos de prueba como código fuente para un control completo o automáticamente con un editor gráfico para obtener cobertura de código estructural para declaraciones, ramas, MC / DC y código objeto. Estas capacidades son fáciles de usar, lo que reduce la carga de implementar el marco de pruebas unitarias y mejora la productividad de los desarrolladores.

Parasoft se integra con herramientas de gestión de requisitos como codeBeamer, Polarion y CollabNet VersionOne para realizar los casos de prueba y proporcionar resultados de verificación de prueba. Esta integración completa la matriz de trazabilidad y ayuda a satisfacer el cumplimiento de los estándares del proceso. El conjunto de herramientas de Parasoft proporciona informes de trazabilidad y muestra las dependencias entre los requisitos y los artefactos, que incluyen:

  • Casos de prueba
  • Código fuente
  • Resultados de la ejecución del caso de prueba
  • Resultados de cobertura de código
  • Resultados del análisis estático

La prueba Parasoft C / C ++ está certificada por TÜV SÜD para su uso en el desarrollo de software crítico para la seguridad. Para proyectos con un mayor nivel de riesgo, puede automatizar una parte importante del proceso de calificación de la herramienta con el kit de calificación de prueba de Parasoft C / C ++. Una guía de soporte de calificación dedicada proporciona todos los pasos necesarios para calificar la herramienta y automatizar la mayor parte del tedioso trabajo manual. Eso incluye ejecutar los casos de prueba del exhaustivo conjunto de pruebas proporcionado junto con el Kit de calificación y generar los informes finales necesarios para documentar el proceso de calificación dirigido a la norma EN 50128.

Benefíciese del enfoque Parasoft

Reduzca el costo de desarrollar software de alta calidad sin sacrificar el tiempo de comercialización.

Múltiples tecnologías de prueba integradas en una sola herramienta

En lugar de múltiples soluciones fragmentadas, la prueba C / C ++ satisface múltiples requisitos de prueba de software impuestos por EN 50128. La solución integral de Parasoft se traduce en un esfuerzo reducido de aprendizaje y configuración para los desarrolladores. Pueden concentrarse en sus responsabilidades principales en lugar de aprender varias herramientas. Aquellos que administran la cadena de herramientas también se benefician, ahorrando tiempo que de otra manera se dedicaría a implementar interfaces entre herramientas para intercambiar datos o generar informes uniformes.

Herramienta de prueba de software para aplicaciones críticas de seguridad y protección

La prueba Parasoft C / C ++ está diseñada teniendo en cuenta las aplicaciones críticas para la seguridad. Al realizar pruebas unitarias o monitoreo de memoria en tiempo de ejecución, todos los componentes necesarios para construir el binario de prueba (incluidos los casos de prueba para el código probado), la estimulación y los stubs se expresan en forma de código fuente y se pueden versionar e inspeccionar. Al expresar todos los artefactos de prueba en forma de código fuente, la prueba C / C ++ asegura que el estado de la memoria antes de ejecutar las pruebas se construye de la misma manera que en el sistema de producción.

Certificado TÜV SÜD para CENELEC EN 50128

La prueba C / C ++ está certificada por TÜV SÜD para su uso al desarrollar software crítico para la seguridad y es compatible con un kit de calificación para software clasificado con mayor riesgo. La herramienta de soporte de calificación dedicada de Parasoft guía a los usuarios a través de todos los pasos necesarios para calificar la herramienta y automatiza gran parte del tedioso trabajo manual, incluida la ejecución de casos de prueba del exhaustivo conjunto de pruebas y la generación de informes finales necesarios para documentar el proceso de calificación para cumplir con la norma de seguridad EN 50128. para la industria ferroviaria.

¿Por qué Parasoft?

Parasoft permite la automatización completa de pruebas de software de un extremo a otro para una entrega de software rentable. Desde análisis estático hasta entornos de prueba de destino y host automatizados en tiempo de ejecución, Parasoft proporciona las herramientas de prueba que necesita para garantizar la verificación y validación de software dentro de su metodología de desarrollo de software. Nuestras herramientas están integradas con una plataforma de informes y análisis que garantiza el cumplimiento y agiliza las revisiones y auditorías de la entrega de software.

Tomar el siguiente paso

Descubra cómo podemos ayudarle a mejorar la calidad de su software. Tengamos una conversación.

ENTRE EN CONTACTO

Prueba Parasoft