Pruebas de desarrollo de software de dispositivos médicos

Parasoft C/C++test ayuda a los laboratorios de pruebas de dispositivos médicos a lograr el cumplimiento de los códigos con los estándares de codificación al proporcionar el conjunto más grande de la industria de verificadores de códigos integrados, verificando el cumplimiento de estándares como MISRA C 2023, MISRA C 2012, MISRA C++ 2023, AUTOSAR C++14, HIC++ y más.

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

Para las organizaciones enfocadas en mitigar los riesgos de las amenazas de seguridad en sus dispositivos médicos, la prueba Parasoft C / C ++ promueve patrones de codificación segura y ayuda a los usuarios a cumplir con los estándares de codificación de seguridad. El soporte de prueba de Parasoft C / C ++ para estándares de codificación de seguridad es la solución más completa del mercado con verificadores incorporados para verificar el cumplimiento de estándares como CERT C, CERT C ++, UL 2900, CWE y otros. Los informes de cumplimiento dedicados facilitan a las partes interesadas la comprensión de la gestión de riesgos.

Para reducir el costo de cumplir con los estándares de codificación, los informes dedicados de Parasoft permiten a los usuarios vistas granulares y dinámicas del proceso de cumplimiento. El sistema de informes centralizado de Parasoft ayuda a los usuarios a entender los resultados de las pruebas al analizar las violaciones de código de acuerdo con las agrupaciones y categorizaciones del estándar original.

La documentación de cumplimiento, que es imprescindible para demostrar el cumplimiento, se puede generar automáticamente. Los informes y la documentación generados que cumplen con el estándar MISRA 2020, que es muy popular en todas las industrias, ahorran a los equipos un tiempo valioso y aumentan el rendimiento.

Parasoft C / C ++test herramienta de análisis estático detecta problemas complejos similares al tiempo de ejecución al principio de la etapa de desarrollo analizando las rutas de ejecución a través del código y encontrando errores potenciales. Además de más de 2500 reglas y verificadores, Parasoft facilita que los equipos verifiquen las pautas de codificación específicas de la organización con un editor especial para crear verificadores personalizados para ampliar (o reemplazar) las reglas integradas proporcionadas con la herramienta. Con Parasoft C/C++test, los usuarios no tienen que escribir ningún script y las pautas de codificación específicas de la organización se pueden automatizar por completo para reemplazar el proceso manual de verificación de cumplimiento.

Las vistas convenientes de las pruebas de Parasoft C / C ++ y los editores gráficos reducen el esfuerzo manual de la creación y el mantenimiento de casos de prueba de unidad con un marco de prueba de unidad diseñado teniendo en cuenta las pruebas de software críticas para la seguridad. Se pueden crear stubs y casos de prueba con valores para la estimulación del software probado como código fuente o con editores gráficos con capacidades de generación de código fuente.

Los usuarios pueden almacenar y revisar los artefactos de prueba creados junto con los archivos del proyecto. La inicialización de las variables y los parámetros de entrada para la estimulación del software probado se realiza exactamente de la misma manera que durante la operación del software de producción, lo que hace que el método sea confiable y robusto.

Las pruebas unitarias son mucho más fáciles y productivas si se utilizan junto con un marco de simulación y fragmentación. El poderoso módulo de prueba de Parasoft C / C ++ para crear stubs y simulacros ayuda en las pruebas de inyección de fallas, reduce las dependencias del código probado y permite a los usuarios eliminar fácilmente el código fuente que aún no se ha implementado.

parasoft Prueba C/C++ CT está diseñado específicamente para integrarse en marcos de pruebas unitarias de código abierto como GoogleTest, CppUnit y cualquier otro marco.

La prueba Parasoft C/C++ y la prueba C/C++ CT se pueden utilizar para ejecutar pruebas unitarias en la plataforma host, el simulador del procesador de destino o el destino integrado. Esta flexibilidad permite a los desarrolladores ejecutar pruebas con frecuencia dentro del IDE y en el proceso de CI/CD, donde los simuladores generalmente se usan con hardware real. El arnés de prueba de Parasoft C/C++ se optimizó para minimizar la sobrecarga adicional para la huella binaria y los ciclos del procesador. Las integraciones dedicadas con IDE y depuradores integrados hacen que el proceso de ejecución de casos de prueba unitaria sea fluido y automatizado.

La prueba Parasoft C/C++ y la prueba C/C++ CT muestran los resultados de cobertura de código de todos los niveles de prueba, incluida la unidad, la integración y el sistema. Admite todas las métricas de cobertura que normalmente se requieren al desarrollar software crítico para la seguridad (declaración, rama, MC/DC, función, llamada, ruta, condición simple, línea, bloque y más).

Los usuarios de Parasoft dedican menos tiempo a analizar los resultados de la cobertura para encontrar brechas en el proceso de prueba. Los desarrolladores pueden revisar los resultados de la cobertura de código dentro del IDE con vistas dinámicas y filtrar los resultados según la métrica, la función y el método, o el caso de prueba específico.

Parasoft se integra con el sistema de gestión de requisitos (RMS) del equipo para proporcionar informes de trazabilidad que muestran la correlación entre los requisitos y lo siguiente:

• Código fuente creado para implementar estos requisitos.
• Casos de prueba creados para probar los requisitos.
• Resultados de pruebas ejecutadas y cobertura de código.

Los informes de trazabilidad proporcionan información clara y completa sobre el progreso del desarrollo. Los equipos pueden determinar fácilmente cuántos requisitos ya se implementaron y cuán exhaustivamente se prueban.

La prueba Parasoft C / C ++ está certificada por TÜV SÜD como adecuada para su uso en el desarrollo de software crítico para la seguridad. Para proyectos con un mayor nivel de riesgo, el kit de calificación de pruebas de Parasoft C / C ++ automatiza una parte significativa del proceso de calificación de la herramienta, reduciendo la cantidad de trabajo manual y eliminando esta distracción de los equipos de software.

Una herramienta de soporte de calificación dedicada guía a los usuarios a través de todos los pasos necesarios para calificar la herramienta. Automatiza la mayor parte del tedioso trabajo manual requerido para calificar la herramienta, incluida la ejecución de los casos de prueba del exhaustivo conjunto de pruebas proporcionado y 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 y se está desarrollando un kit de calidad.