Usa Agentic AI para generar pruebas de API más inteligentes. En minutos. Descubra cómo >>
Automatización Industrial
Normas de seguridad funcional como IEC 61508 y sus derivados exigen que las organizaciones demuestren que los requisitos de software y seguridad se cumplen y se prueban a fondo. Durante más de 30 años, Parasoft ha ayudado a las organizaciones a cumplir con estos estándares mediante las mejores prácticas requeridas, como pruebas unitarias, cobertura de pruebas, métricas de software, trazabilidad y análisis de código estático, con compatibilidad integrada con MISRA, CERT y otros estándares de codificación de la industria de la automatización.
Los sistemas de automatización industrial (y el software que los impulsa) se han vuelto cada vez más conectados, y ya no utilizan redes privadas, sino que dependen cada vez más de la Internet pública para conectar sensores al control de infraestructura crítica y a los sistemas empresariales de back-end. Internet, si bien mejora la flexibilidad de los sistemas, ha creado una explosión de nuevas amenazas y complejidades. Si hay agujeros de seguridad en el software de control, existe el riesgo de que se abran las puertas a un ataque terrorista aprovechando una situación imprevista en el proceso. Soluciones de prueba de Parasoft C/C++ proporciona la solución de prueba de software para seguridad más completa del mercado, para que las organizaciones puedan desarrollar y lanzar software con menos riesgos.
Las soluciones de Internet de las cosas industriales de múltiples capas (IIoT) requieren diferentes tecnologías y herramientas para implementar y probar el software para cada capa. Los sensores y actuadores de bajo nivel probablemente se desarrollan con C y C ++, mientras que las capas superiores se implementan con Java o C #. La conectividad agrega complejidad con múltiples componentes que utilizan diferentes protocolos para propagar mensajes hasta el usuario final. Parasoft proporciona herramientas de prueba para abordar cada capa de complejidad, integradas a la perfección con informes y análisis sofisticados para ayudar a las organizaciones a gestionar esta creciente complejidad.
Para los niveles requeridos de seguridad funcional y protección, muchas organizaciones optan por desarrollar sus sistemas de automatización industrial conformes con el estándar IEC 61508, que requiere procesos de prueba y desarrollo de software rigurosos y disciplinados. Las herramientas de prueba de software automatizadas de Parasoft reducen el costo del cumplimiento de IEC 61508 al proporcionar las herramientas automatizadas necesarias para lograr el cumplimiento de manera eficiente, junto con un sistema de informes centralizado que hace que los esfuerzos de documentación sean menos manuales.
Reduzca el costo de desarrollar software de alta calidad, sin sacrificar el tiempo de comercialización.
La prueba Parasoft C / C ++ satisface varios requisitos de prueba de software enumerados en IEC 61508. La amplitud de la solución se traduce en un menor esfuerzo de configuración y aprendizaje. Los desarrolladores no tienen que aprender varias herramientas y pueden concentrarse en sus actividades principales. Los integradores de herramientas o los arquitectos ahorran el tiempo que de otro modo dedican a implementar interfaces entre herramientas para intercambiar datos y generar informes uniformes.
Las soluciones de prueba de Parasoft C/C++ están diseñadas teniendo en cuenta las aplicaciones críticas para la seguridad. Al realizar pruebas unitarias o supervisión de la memoria en tiempo de ejecución, todos los componentes necesarios para crear el binario de prueba, incluidos los casos de prueba para el código probado, la estimulación y los resguardos, 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++ garantiza que el estado de la memoria antes de ejecutar las pruebas se construya de la misma manera que en el sistema de producción.
La prueba Parasoft C/C++ es compatible con un kit de calificación IEC 61508 dedicado que cumple con los requisitos estándar para el proceso de calificación de herramientas. En lugar de simplemente brindar asistencia de calificación en forma de una colección de casos de prueba y plantillas para scripts e informes que requieren mucha personalización, la herramienta de soporte de calificación automatizada de Parasoft guía a los usuarios a través de todos los pasos necesarios para calificar la herramienta y automatiza la mayoría. del tedioso trabajo manual requerido para calificar la herramienta. Esto incluye la ejecución de los casos de prueba del conjunto de pruebas exhaustivo proporcionado, así como la generación de los informes finales necesarios para documentar el proceso de calificación. Parasoft C/C++test CT está en proceso de certificación TÜV SÜD y se está desarrollando un kit de calidad.
“La solución de Parasoft nos está enseñando a todos a ser mejores programadores. Nos ayuda a encontrar errores que ni siquiera nos dimos cuenta de que eran errores. La solución de Parasoft le ha ahorrado al equipo de Modelado y Análisis Global tiempo y recursos que de otro modo habríamos dedicado a encontrar y corregir defectos. En cambio, podemos dedicar ese tiempo a agregar nuevas características y funcionalidades”.
– Trane