Obtenga compatibilidad completa con MISRA C 2023 en la nueva versión de prueba de Parasoft C/C++. Únase a nuestro seminario web el 8 de junio.
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.
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:
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 Parasoft C/C++test, que ofrece soporte más completo que cualquier otro proveedor de herramientas para estándares de codificación como MISRA C 2023, 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 C/C++test. Nuestra herramienta de prueba 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.
“MISRA”, “MISRA C” y el logotipo del triángulo son marcas comerciales registradas de The MISRA Consortium Limited. © The MISRA Consortium Limited, 2021. Todos los derechos reservados.
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:
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.
Reduzca el costo de desarrollar software de alta calidad sin sacrificar el tiempo de comercialización.
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.
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.
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.