¡Únase a nosotros el 12 de diciembre! MISRA C++ 2023: todo lo que necesita saber Regístrese ahora >>
Los productos de software de dispositivos médicos modernos, desde pequeños dispositivos de consumo asequibles y wearables hasta grandes dispositivos clínicos, son complejos. La complejidad radica en varias áreas. En particular, el proceso formal requerido para aprobar el uso del dispositivo, las numerosas amenazas de seguridad contra las que se debe defender y las complejidades que vienen con las plataformas de múltiples capas que se utilizan para desarrollar software de dispositivos médicos.
Kit de herramientas integrado de Parasoft para C / C ++,JavaY. NET Las aplicaciones admiten una amplia gama de mejores prácticas para las pruebas de dispositivos médicos que han demostrado mejorar la seguridad, la confiabilidad y la experiencia del usuario del software. Análisis estático y pruebas de unidades / componentes, con análisis integral de cobertura de código, trazabilidad de requisitos y kits de calificación de herramientasLo ayudará a cumplir con las expectativas de calidad de IEC 62304.
Parasoft C / C ++test es una solución de prueba de desarrollo de dispositivos médicos de software integrada para automatizar una amplia gama de prácticas de prueba de software para C y C ++. Automatizando las prácticas de prueba requeridas por los estándares de seguridad funcional comoIEC 62304, Las organizaciones médicas pueden reducir el costo y el esfuerzo de lograr el cumplimiento. Obtenga más información sobre algunas de estas pruebas de dispositivos médicos a continuación.
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.
La prueba Parasoft C / C ++ se puede utilizar para ejecutar pruebas unitarias en la plataforma host, el simulador de procesador de destino o el destino integrado. Esta flexibilidad permite a los desarrolladores ejecutar pruebas con frecuencia dentro del IDE y en la canalización de CI / CD, donde los simuladores se utilizan normalmente con hardware real. El arnés de prueba de Parasoft C / C ++ se optimizó para tener una sobrecarga adicional mínima para la huella binaria y los ciclos del procesador. Las integraciones dedicadas con IDE y depuradores incorporados hacen que el proceso de ejecución de casos de prueba unitaria sea fluido y automatizado.
La prueba de Parasoft C / C ++ muestra los resultados de cobertura de código de todos los niveles de prueba, incluida la unidad, la integración y el sistema. Es compatible con 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:
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.
Reduzca el costo de desarrollar software de dispositivos médicos de alta calidad sin sacrificar el tiempo de comercialización gracias a las pruebas integradas de dispositivos médicos.
La prueba Parasoft C / C ++ satisface varios requisitos de prueba de software enumerados en IEC 62304. La amplitud de la solución se traduce en un menor esfuerzo de aprendizaje y configuración. Los desarrolladores no tienen que aprender varias herramientas y pueden concentrarse en sus actividades principales. Los integradores de herramientas o los arquitectos pueden ahorrar el tiempo que de otra manera se dedicaría a implementar interfaces entre las herramientas para intercambiar los datos y generar informes uniformes.
La prueba de Parasoft C / C ++ se conecta al servidor de informes integrado de Parasoft para la integración de datos en todo el equipo, informes convenientes y análisis avanzado del motor de inteligencia de procesos (PIE) de Parasoft. Estos análisis sofisticados son más útiles porque Parasoft correlaciona información de múltiples fuentes, como el código fuente o los sistemas de administración de requisitos, herramientas de prueba o ALM, lo que ayuda a los usuarios a enfocar sus esfuerzos de la manera más productiva. Además de aumentar la productividad al monitorear las tendencias en el proceso de desarrollo, los usuarios también pueden generar informes que cumplan con los estándares de la industria, es decir, la documentación de “Cumplimiento de MISRA: 2020”.
La prueba Parasoft C / C ++ está certificada por TÜV SÜD para su uso al desarrollar software compatible con IEC 62304, y es compatible con un Kit de calificación para software clasificado con clases de riesgo más altas. 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 la mayoría del tedioso trabajo manual requerido, incluida la ejecución de los casos de prueba del exhaustivo conjunto de pruebas y la generación de los informes finales necesarios para documentar el proceso de calificación.