Acelere sus pruebas unitarias y de integración
Herramienta automatizada de pruebas unitarias y de integración para C/C++
Cantata es una herramienta automatizada de pruebas unitarias y de integración para los lenguajes C y C++, que permite a los desarrolladores verificar el cumplimiento de las normas o el código crítico para la empresa en plataformas de destino nativas e integradas.
Cantata ayuda a acelerar el cumplimiento de los requisitos de pruebas dinámicas de la norma mediante la automatización:
Cantata se integra con un amplio conjunto de cadenas de herramientas de desarrollo embebido, desde compiladores y herramientas de análisis estático hasta herramientas de construcción y gestión de requisitos. La interfaz gráfica de usuario ECLIPSE®, la estrecha integración de herramientas y las pruebas escritas en el código fuente C/C++ facilitan el uso de Cantata.
EXPLORE CANTATA
Pase el ratón por encima de las opciones para obtener más información.
Funciona con su entorno
Funciona con su entorno
Cantata se integra con un amplio conjunto de cadenas de herramientas de desarrollo embebidas, y ofrece un despliegue sin restricciones para su uso en objetivos.
Marco de pruebas integrado
Marco de pruebas integrado
Un potente marco de pruebas integrado automatiza: Producción de scripts de prueba C/C++, creación de ejecutables de prueba, ejecución en el objetivo y diagnósticos detallados en el host, para pruebas unitarias y de integración.
Métricas del código fuente
Métricas del código fuente
Cantata proporciona más de 300 métricas de código fuente en C/C++ que proporcionan una medición objetiva útil y la visualización de las cualidades no funcionales del código fuente.
Análisis en profundidad de la cobertura del código
Fácil de usar para cumplir las normas más estrictas, y totalmente integrado en las pruebas, el análisis en profundidad detecta fácilmente las lagunas en la cobertura del código.
AutoTest
AutoTest
La generación automática de vectores de casos de prueba puede ejercer una cobertura del código del 100% mientras se comprueban datos, parámetros y orden de llamada, se crean pruebas unitarias de regresión o se cierran brechas en la cobertura del código.
¿Por qué invertir en Cantata?
¿Por qué invertir en Cantata? Los líderes del sector utilizan Cantata para:
- Reducir el coste del cumplimiento de las normas
- Reducir los riesgos comerciales de fallos de software
- Reducir los costes de las pruebas
- Acortar los plazos de comercialización
Trazabilidad de los requisitos
Trazabilidad de los requisitos
Trazabilidad bidireccional desde ReqIF, Excel®, Polarion®, DOORs®, PTC Integrity® o CodeBeamer® hasta las pruebas de Cantata con información sobre el estado de los resultados y la cobertura del código.
Control de llamadas único – Wrapping
Control de llamadas único – Wrapping
Unique Cantata Wrapping intercepta automáticamente las llamadas desde y dentro del software sometido a prueba para complementar las simulaciones de stub.
Técnicas de ensayo flexibles
Técnicas de prueba flexibles
Cantata facilita la combinación de técnicas de pruebas unitarias y de integración integradas:
- pruebas basadas en requisitos, de robustez y estructurales
- black-box/white-box
- orientadas a procedimientos/objetos
- aislamiento/integración
CÓMO ENCAJA CANTATA EN SU PROCESO DE VERIFICACIÓN
Las herramientas de análisis estático y pruebas de software de QA Systems admiten la verificación en el flujo lineal de desarrollo de software que se indica a continuación. Recomendamos aplicar un enfoque secuencial a estas etapas de verificación con herramientas diseñadas y orientadas a cada propósito.
- CUMPLIR > Utilice QA-MISRA para obtener rápidamente el cumplimiento de los estándares de codificación en el escritorio del desarrollador en primer lugar.
- PRUEBA > Utilice Cantata para la ejecución dinámica automatizada del software conforme a la norma.
- ANALIZAR > Utilice Astrée para probar la ausencia de errores en tiempo de ejecución en toda la aplicación.
NB: Astrée utiliza la misma configuración que QA-MISRA, por lo que el esfuerzo para aplicarlo más tarde a un proyecto QA-MISRA posterior es bajo.
Opción especial de paquete de licencia compartida
QA-MISRA y Cantata comparten la misma tecnología de licencias. Esto permite a los clientes obtener una solución en paquete para que ambas herramientas compartan el mismo conjunto de licencias concurrentes, así como que las herramientas se integren juntas en el IDE basado en Eclipse.
Cuando QA-MISRA se compra como un paquete con Cantata o cuando una licencia existente de Cantata se convierte en un paquete, hay precios combinados muy atractivos disponibles. Póngase en contacto con nosotros para obtener más información.
CUMPLIMIENTO DE LAS NORMAS DE SEGURIDAD DEL SOFTWARE
Las normas internacionales de seguridad del software exigen pruebas de bajo nivel (unidad e integración) para obtener la certificación del software del dispositivo.
Además, la mayoría de las normas exigen que las herramientas de verificación utilizadas estén certificadas / cualificadas o probadas mediante su uso. Cantata ha sido certificada de forma independiente por SGS-TÜV SAAR GmbH para las principales normas de seguridad de software.
Los kits de certificación de herramientas de Cantata específicos para cada norma se proporcionan de forma gratuita y contienen todo lo necesario listo para usar, así como una guía completa para ayudarle a conseguir la certificación para el software de su dispositivo.
Los kits de cualificación de herramientas de Cantata también están disponibles cuando no se permite la certificación de herramientas según una norma, ya que la herramienta debe cualificarse por separado para cada proyecto (por ejemplo, para DO-178B/C).
Póngase en contacto con nosotros para obtener más información sobre los kits de certificación y cualificación de herramientas.
Cantata se ha utilizado con éxito para cumplir los requisitos de pruebas unitarias y de integración de:
NORMAS CERTIFICADAS / CUALIFICABLES
IEC 61508
Seguridad funcional de sistemas eléctricos/electrónicos/electrónicos programables relacionados con la seguridad
DO-178C
Consideraciones de software en la certificación de sistemas y equipos aerotransportados
OTRAS NORMAS
Automoción – SPICE
ISO/IEC 15504 Tecnología de la información – Evaluación de procesos
DO-278A
Directrices para la garantía de integridad del software de los sistemas de comunicación, navegación, vigilancia y gestión del tráfico aéreo (CNS/ATM).
ECCS-E-40
Ingeniería espacial: Software
Def Stan 00-55
Requisitos del Reino Unido para el software relacionado con la seguridad en equipos de defensa
MIL STD 498
US Military-Standard-498 Desarrollo de software y documentación.
NASA 8719.13C
Norma técnica de la NASA: Norma de seguridad del software
CONTENIDO DESTACADO
Pruebas de regresión automatizadas
Las pruebas de regresión automatizadas con Cantata son compatibles con el uso de herramientas de integración continua como Jenkins®.
Cantata Wrappers
Los Wrappers de Cantata pueden interceptar llamadas de código. Esta demostración rápida presenta los Wrappers y su uso con un objetivo incrustado.
¿Atascado con RTRT?
El conversor RTRT recicla automáticamente las PTU RTRT heredadas en Cantata, conservando toda la funcionalidad de prueba existente.
Por qué comprar a QA Systems
