X
Cobertura del código estructural

Evaluar y garantizar la confianza
en su cobertura de prueba

Satisfacer los requisitos de cobertura de su código

Obtenga comentarios críticos sobre la integridad y minuciosidad de su proceso de prueba. La solución de Parasoft para la cobertura de código le muestra el código en su aplicación que se ha probado y no se ha probado. Los usuarios pueden realizar la cobertura de código para una función o unidad, todo el archivo o toda la aplicación. Y puede agregar la cobertura de las pruebas unitarias y las pruebas del sistema.

Cobertura y trazabilidad de C / C ++ »
Cobertura y trazabilidad de Java »
VB.NET Cobertura y trazabilidad »

Garantice la confiabilidad del software con cobertura de código estructural

Reducir los costos de los defectos

Los defectos de código que se encuentran en la producción son los más costosos. Evite que se escapen a través de las grietas resaltando el código que no ha sido probado antes de lanzar su aplicación.

Satisfacer las necesidades de cumplimiento de la cobertura del código

Cumpla con los estándares de seguridad funcional como DO-178B / C, ISO 26262, IEC 62304, IEC 61508 y EN 50128. Los requisitos de cobertura de código incluidos ayudan a garantizar la confiabilidad del código al exponer el código no probado para eliminar defectos adicionales.

Cumplir con la cobertura del código en el hardware host o de destino

Las pruebas exhaustivas de las aplicaciones integradas requieren pruebas en el hardware de destino y en el entorno del host. Parasoft proporciona instrumentación de código para capturar y reportar la cobertura del código estructural para la cobertura de la decisión, rama, condición modificada (MC / DC) y más.

Realice la verificación del código de ensamblaje / objeto

Para los requisitos de cobertura de códigos críticos de seguridad más estrictos, como DO-178C Nivel A, Parasoft ofrece cobertura de códigos a nivel de ensamblaje. Ahorre días, incluso semanas, de esfuerzo manual laborioso y propenso a errores con nuestra solución automatizada.

Obtenga una cobertura de código del 100%

Si bien puede lograr los objetivos de cobertura de código estructural al 100% mediante solo pruebas unitarias, ahorre tiempo y esfuerzo agregando los resultados de cobertura de código obtenidos automáticamente de las pruebas del sistema. Y luego complete el código descubierto restante utilizando pruebas unitarias.

¿Terminé la prueba?

Aprovechar una combinación de tecnologías de prueba, como análisis estático, análisis en tiempo de ejecución, pruebas unitarias, pruebas de rendimiento es la mejor manera de garantizar que los errores y fallas de diseño se eliminen temprano, pero es prácticamente imposible probar por completo un programa. La cobertura del código puede ayudar a medir la integridad de la prueba y garantiza que ha inspeccionado cada línea de código en su aplicación durante la ejecución.

Herramientas de cobertura de código estructural de Parasoft

Implemente el conjunto de productos de Parasoft para realizar una cobertura de código estructural de aplicaciones escritas en C, C ++, Java, C # y VB.NET.

¿Dónde se utilizan las herramientas de cobertura de código?

Las pruebas de software son una parte integral del desarrollo de software. Prácticamente todas las industrias que desarrollan y ejecutan código se benefician de las herramientas de prueba de cobertura de código estructural de Parasoft. Estas herramientas son especialmente útiles en industrias para el desarrollo integrado de aplicaciones críticas para la seguridad donde los sistemas de software no pueden fallar o se perderán vidas. Deben cumplir con rigurosos estándares de seguridad funcional y obtener la certificación.

Automotriz

El software en la industria automotriz debe cumplir con estándares de seguridad funcional como ISO 26262. Las nuevas tecnologías en la industria como la conducción autónoma y la comunicación V2X plantean una demanda cada vez mayor de software. Este software de alta calidad debe probarse minuciosamente para garantizar su seguridad y confiabilidad.

Militar & Defensa

Las herramientas de cobertura de código estructural de Parasoft ayudan a respaldar la misión del guerrero al proporcionar un código seguro y de calidad que impulsa las máquinas y los dispositivos necesarios. Los desarrolladores pueden identificar el código no probado y agregar nuevos casos de prueba o realizar cambios en los casos de prueba existentes para eliminar los defectos y mitigar los riesgos.

Dispositivos médicos

Los dispositivos médicos deben funcionar según su diseño en todo momento. Dado su uso en una industria tan crítica para la seguridad, las pruebas de cobertura de código para el software relacionado ayudan a garantizar la seguridad, la confiabilidad y el cumplimiento de los estándares de seguridad funcional. Esto se está convirtiendo en un imperativo cada vez mayor con el crecimiento de los dispositivos de monitoreo de salud y dispositivos portátiles habilitados para Wi-Fi.

Aviación Civil

En la aviación civil, las empresas confían en DO-178C (para sistemas aeroespaciales comerciales basados ​​en software) y DO-278 (para sistemas basados ​​en software de comunicación, navegación, vigilancia y gestión del tráfico aéreo). La cobertura del código estructural en los distintos niveles de abstracción (declaración, rama, MC / DC y ensamblaje) ayuda a satisfacer el cumplimiento en todos los frentes.

Automatización industrial

Las herramientas de cobertura de código de Parasoft ayudan 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. La agregación de varios resultados de cobertura de código de prueba de software de las pruebas unitarias y las pruebas del sistema puede reducir significativamente el trabajo requerido para lograr el cumplimiento.

Ferrocarril

Obtener el 100% o un nivel alto aceptable de cobertura de código juega un papel fundamental en la industria ferroviaria de seguridad crítica. Las herramientas automatizadas de Parasoft mejoran la productividad del desarrollador y la calidad del software a través de la instrumentación de código y la generación de informes.

Finanzas

A medida que aumenta el alcance y la prestación de servicios financieros, también lo hace la complejidad del código que lo ejecuta todo. Asegurarse de que todo su software haya sido probado es clave en la industria. Especialmente en el ciclo de lanzamiento ágil y de ritmo rápido de hoy.

Gobierno

El desarrollo de software para instituciones gubernamentales debe cumplir con estrictos mandatos de seguridad y facilitar el intercambio de datos electrónicos sin problemas mientras se trabaja con múltiples proveedores y solicitudes de solicitud de propuestas. A medida que los sistemas gubernamentales se modernizan, el desarrollo de software ágil necesita métricas sobre las pruebas de cobertura de código para garantizar continuamente un código sólido.

Aténcion Médica & Seguro

El software en la industria de la salud debe cumplir con estrictas especificaciones de seguridad donde la falla puede significar literalmente una situación de vida o muerte. Las herramientas de cobertura de código de Parasoft garantizan que se prueben las nuevas innovaciones o capacidades que abarcan desde la prestación de atención hasta el procesamiento de seguros, brindan seguridad al paciente y garantizan que sus datos permanezcan seguros.

Hospitalidad

En una industria impulsada por experiencias personalizadas, el desarrollo de software ágil y de vanguardia depende de la cobertura del código para asegurarse de que se haya probado cada línea de código. La competencia para ganarse a los clientes es feroz, por lo que su software debe funcionar sin problemas.

Comercio minorista y electrónico

Las aplicaciones de backend minorista y de comercio electrónico deben seguir el ritmo del inventario, los cambios de estilo y los desafíos de personal. El software que ejecuta estas aplicaciones exige cobertura de código para asegurarse de que se haya probado a fondo y pueda mantener en funcionamiento todos los sistemas minoristas.

Telecomunicaciones

La industria de las telecomunicaciones cambia constantemente. Con el despliegue de redes 5G, los microservicios deben funcionar a la perfección con los sistemas de mainframe heredados. Las pruebas de cobertura de código garantizan la confiabilidad y solidez del código en este entorno tan complejo.

Prueba Parasoft