Seminario web destacado: MISRA C++ 2023: todo lo que necesita saber | Vea ahora

Automatización Industrial

Soluciones de software de automatización industrial

Desarrollo y pruebas de software para automatización industrial

Los estándares de seguridad funcional como IEC 61508 y sus derivados requieren que las organizaciones demuestren que el software y los requisitos de seguridad se cumplen y se prueban completamente. Durante más de 30 años, Parasoft ha ayudado a las organizaciones a seguir dichos estándares a través de 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 soporte integrado para MISRA, CERT y otros estándares de codificación de la industria de automatización.

Aborde los desafíos actuales del desarrollo de software moderno

Gestionar mayores riesgos de seguridad

Los sistemas de automatización industrial (y el software que los impulsa) se han vuelto cada vez más conectados, 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 sistemas empresariales de back-end. Internet, al tiempo que mejora la flexibilidad de los sistemas, ha creado una explosión de nuevas amenazas y complejidades. Con cualquier agujero de seguridad en el software de control, existe el riesgo de que las puertas se abran a un ataque terrorista utilizando una situación imprevista en el proceso. La prueba Parasoft C / C ++ proporciona la solución de prueba de software más completa del mercado para la seguridad, para que las organizaciones puedan desarrollar y lanzar software con menos riesgos.

Abordar las crecientes complejidades del desarrollo y la conectividad modernos

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.

Cumplir con IEC 61508 y sus derivados

Para los niveles requeridos de seguridad y protección funcional, muchas organizaciones eligen desarrollar sus sistemas de automatización industrial de acuerdo con la norma 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 de cumplimiento con 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.

Soluciones Parasoft para automatización industrial

El conjunto de herramientas integrado de Parasoft proporciona a los equipos una forma práctica de prevenir, exponer y corregir errores para garantizar que su código C y C ++ funcione como se espera y cumpla con los requisitos. Para promover una solución rápida, cada problema detectado se prioriza en función de asignaciones de gravedad configurables, se asigna automáticamente al desarrollador que escribió el código relacionado y se distribuye a su IDE con enlaces directos al código problemático y una descripción de cómo solucionarlo. Para el desarrollo integrado y multiplataforma, puede utilizar la prueba C / C ++ en flujos de prueba y análisis de código basados ​​en host y en destino.

La prueba Parasoft C / C ++ ayuda a los equipos de desarrollo de software de automatización industrial a satisfacer los requisitos del proceso de desarrollo y verificación de software definidos por la norma IEC 61508. Cuando se procesan los resultados de la amplia gama de tipos de análisis de código y pruebas automatizados mediante la prueba C / C ++, se informa de análisis inteligentes que reducen significativamente el trabajo requerido para la verificación del software.

Benefíciese del enfoque Parasoft

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

Benefíciese de una herramienta unificada con múltiples prácticas de prueba

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.

Utilice una arquitectura de herramientas adecuada para aplicaciones críticas para la seguridad

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 la 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.

Obtenga eficiencia con un kit de calificación específico para IEC 61508

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 la herramienta. En lugar de simplemente proporcionar asistencia de calificación en forma de 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 ejecutar los casos de prueba del exhaustivo conjunto de pruebas proporcionado, así como generar los informes finales necesarios para documentar el proceso de calificación.

estrellas

"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 que eran errores. La solución de Parasoft le ha ahorrado al equipo de Análisis y Modelado Global tiempo y recursos que de otra manera hubiéramos gastado en encontrar y corregir defectos. En cambio, dedicamos ese tiempo a agregar nuevas características y funcionalidades ".

-Trane