Software de pruebas para sistemas críticos para organizaciones españolas

Vector Software ha invertido durante los últimos 15 años en una tecnología que permite a los desarrolladores crear software de misión crítica realmente fiable. Más de 600 grandes compañías del mundo han usado nuestra plataforma de productos VectorCAST para automatizar las pruebas de sus sistemas, incluyendo aquellas con requerimientos de certificación: militar y aeroespacial, tecnología médica, automoción, control industrial, ferroviarias y aplicaciones de negocio críticas.

En resumen, confiar en Vector Software le permitirá tener acceso a nuestra experiencia en entornos de misión crítica, materializada en una plataforma de pruebas muy fácil de usar que convertirá la fase de pruebas a través de simulador o en la tarjeta hardware final en un proceso rápido, automático y repetible.

Las empresas líderes industriales que han incluido a VectorCAST en su proceso de desarrollo, son: Altran, EADS CASA, Critical Software, Embention Sistemas, GE,  y cientos más.

La plataforma de productos VectorCAST automatiza las actividades de pruebas dinámicas a través del ciclo de vida de desarrollo software, y soporta los lenguajes de programación C, C++  y Ada.

Pruebas Unitarias y de Integración

VectorCAST/C++ y VectorCAST/Ada automatiza el proceso de pruebas de código fuente escrito en C/C++ o Ada. La automatización puede ser a nivel de pruebas unitarias y pruebas de integración.

Pruebas de Regresión

VectorCAST/Manage permite importar los distintos casos de prueba construidos previamente con VectorCAST/C++ y VectorCASt/Ada en un entorno de pruebas de regresión, proporcionando un único punto de control para todas las actividades de pruebas unitarias y de integración.

Cobertura de código

VectorCAST/Cover realiza análisis de cobertura de código probado durante la fase de pruebas de sistema. La cobertura de código probado realizada mediante VectorCAST/C++ y VectorCast/Ada puede ser combinada con la de VectorCast/Cover pare realizar el análisis de cobertura global.

VectorCAST/MCDC proporciona dos niveles de verificación para sentencias que incluyen condiciones múltiples. VectorCAST/MCDC puede generar automáticamente casos de pruebas MC/DC que ayudan a alcanza un 100% de cobertura de combinaciones.

Productos complementarios

VectorCAST/RSP es un paquete de soporte en tiempo de ejecución que extiende la funcionalidad de VectorCAST/C++  y VectorCAST/Ada. Este paquete permite la ejecución de casos de prueba, en aplicaciones de tiempo real, sobre simuladores o tarjetas hardware.

VectorCAST/RGW permite el flujo bi-direccional de información entre herramientas de gestión de requisitos software  y la herramienta de pruebas VectorCAST. A través de una interfaz muy sencilla e intuitiva, el desarrollador puede rápidamente asociar casos de prueba VectorCAST a los requerimientos definidos. Una vez realizadas las pruebas, el resultado de las mismas puede ser incluido en la herramienta de gestión de requisitos.

VectorCAST/Lint es un analizador estático de código fuente que realiza análisis de código en módulos o aplicaciones completas escritas en C/C++ e identifica automáticamente problemas potenciales en el código, previamente a su compilación.

VectorCAST Certification Kits agiliza la validación y certificación de desarrollos aeroespaciales bajo la norma DO-178B, desarrollos ferroviarios bajo la norma EN 50126, desarrollos industriales y de automoción bajo las normas IEC 61508 e ISO 26262 y desarrollos amparados bajo la FDA  y la norma IEC 62304.

Integración con herramientas externas

Vector Software colabora con proveedores de tecnología líderes del sector industrial para desarrollar integraciones que extiendan la funcionalidad y potencia de la plataforma VectorCAST. VectorCAST se integra con herramientas de Gestión de Configuración SoftwareModelado de SoftwareGestión de Requisitos, y Análisis estático de código.

Compiladores  y Depuradores

VectorCAST soporta un amplio rango de compiladores y depuradores estánda para los lenguajes C, C++ y Ada.

Sistemas Operativos de Tiempo Real (RTOS)

VectorCAST se ha diseñado para soportar cualquier sistema operativo de tiempo real disponible comercialmente.

Desde sistemas de navegación de vuelo hasta dispositivos médicos, Vector Software es la plataforma de referencia para las compañías líderes de mercado que desarrollan aplicaciones de misión crítica. Vea como VectorCAST ha ayudado a infinidad de organizaciones a mejorar la fiabilidad de sus desarrollos y a entregar software mucho más robusto y de mayor calidad.

Las herramientas adecuadas para pruebas de aplicaciones de negocio críticas

Obtenga la certificación IEC 61508 para software industrial crítico con VectorCAST

Mantenga encarrilado su software ferroviario conforme al estándar CENELEC

Asegure que su software para dispositivos médicos cumple saludablemente con los requisitos de calidad software

Automoción | ISO 26262 / MISRA

Soluciones de Vector Software para Aviónica / DO-178B / DO-278

Doymus Software e Ingeniería S.L.

Pintor Murillo 74
28100 Alcobendas (Madrid), Spain
Contact: Florentino Hernanz
florentino.hernanz@doymus.com
Tel: +34 911 788 540
http://www.doymus.com/


View Larger Map