¡Únase a nosotros el 12 de diciembre! MISRA C++ 2023: todo lo que necesita saber Regístrese ahora >>
EN 50128 “Aplicaciones ferroviarias - Sistemas de comunicación, señalización y procesamiento” es un estándar de proceso europeo. Contiene requisitos técnicos con procedimientos, principios y medidas para garantizar el desarrollo de software que se considera seguro cuando hay implicaciones de seguridad. El software que se ejecuta en sistemas electrónicos programables de control ferroviario, en la vía y en el lado del tren, se implementa mediante microprocesadores dedicados, controladores lógicos programables, sistemas distribuidos multiprocesador, sistemas de procesadores centrales a gran escala u otras arquitecturas.
Logre el cumplimiento de EN 50128 de manera efectiva y eficiente con la prueba Parasoft C / C ++ y su conjunto de herramientas de prueba de software automatizado. Durante más de 30 años, Parasoft ha estado ayudando a las organizaciones a cumplir con estándares rigurosos a través de las mejores prácticas requeridas, como trazabilidad de requisitos, análisis de código estático, análisis dinámico, pruebas unitarias, métricas de software, verificación y validación de hardware en el host o en el destino, código estructural completo cobertura, pruebas funcionales / de caja negra y pruebas de interfaz.
Aproveche la prueba Parasoft C / C ++ para reducir el costo y el esfuerzo de lograr el cumplimiento de EN 50128 mediante la automatización de múltiples métodos de prueba requeridos por la norma. Nuestro paquete de herramientas de prueba de software automatizado también ahorra tiempo. Los informes y cuadros de mando generados automáticamente proporcionan a los equipos una forma práctica de prevenir, exponer y corregir errores en el software y preparar la documentación necesaria para las auditorías.
La prueba Parasoft C / C ++ facilita y automatiza los métodos de prueba de software especificados en EN 50128, sección 6 “Garantía de software”, que define un conjunto de procesos de prueba de software y objetivos para el ciclo de vida del software ferroviario. Cada objetivo se define en las siguientes subsecciones de la norma:
La prueba Parasoft C / C ++ es la única solución de prueba y desarrollo de software en el mercado que incluye una amplia gama de metodologías de prueba para maximizar la eficiencia y mejorar los resultados.
Cuadro A.5 |
EN 50128 - Verificación y prueba |
Soporte de Parasoft
|
| 1 | Prueba formal | DTP de Parasoft |
| 2 | Análisis estático | Parasoft C / C ++test |
| 3 | Análisis dinámico | Parasoft C / C ++test |
| 4 | Métrica | Parasoft C / C ++test |
| 5 | Trazabilidad | Prueba y DTP de Parasoft C / C ++ |
| 6 | Análisis del efecto de error del software | DTP de Parasoft |
| 7 | Cobertura de prueba para el código | Parasoft C / C ++test |
| 8 | Pruebas funcionales / de caja negra | Parasoft C / C ++test |
| 9 | Test de rendimiento | Parasoft C / C ++test |
| 10 | Prueba de interfaz | Parasoft C / C ++test |
La solución de pruebas de desarrollo de Parasoft para software C y C ++ facilita la aplicación de EN 50128 para aplicaciones ferroviarias. Descubra cómo Parasoft permite a los equipos producir mejor código para sistemas integrados y probarlo de manera más eficiente.
Descargar