Registro  
Login

Modelado de Software y Sistemas

Desarrollo de Embedded Software


Pruebas de Software y Sistemas
Consultoría de Certificación Aeronáutica

Formación de Certificación Aeronáutica

Formación de Certificación Ferroviaria


Formación en Certificación ISO 26262

Formación en Ingeniería de Requisitos

Mejore su productivad
Tras un exhaustivo análisis de mercado de las herramientas de pruebas de Embedded Software & Systems existentes, decidimos comercializar la suite de herramientas VectorCast.
Reduzca el tiempo de desarrollo

Herramientas de Pruebas de

Software Embarcado

¿Por qué elegir VectorCast?

Consideramos que VectorCast es la mejor herramienta de pruebas para este tipo de Software, por las siguientes razones:
Soporta las distintas metodologías de pruebas existentes: Waterfall, Basada en Requisitos, Agile (Test Driven Development)
Soporta los distintos tipos de prueba: Unitarias, de Integración, de Sistemas, de Regresión.
Soporta pruebas dinámicas y estáticas (análisis estático de código)
Está certificada para todos los estándares industriales: DO-178, IEC-61508, EN-50128, ISO-26262, IEC-62304
Soporta pruebas en host y en target. Se soporta el mayor número de compiladores cruzados del mercado.
Herramienta muy abierta. Integrada con: Doors, Requisite Pro, Artisan Studio, Mathworks, PRQA, Klocwork, etc.
Herramienta muy madura y consolidada en el mercado. Más de 20 años en el mercado. Infinidad de referencias de cliente.

Soporte de Metodologías de Pruebas

Se soporta la automatización de las pruebas unitarias (generación de ejecutables de pruebas y stubs de funciones externas), se soportan las pruebas de integración y las de sistemas. Se combinan dos herramientas totalmente integradas (VectorCast/C++ y VectorCast/Cover) y se agregan los resultados de cobertura.
Se comienza con las pruebas de requisitos, con la que se obtiene típicamente una cobertura de sentencias del 60-70% y se completa con pruebas unitarias hasta completar el 100% de cobertura.
Esta es la metodología de pruebas más novedosa y pocas herramientas de mercado la sorportan actualmente.

Soporte de Tipos de Pruebas

Pruebas Unitarias

Son pruebas de caja blanca, en las que probamos el comportamiento interior de la unidad a probar. VectorCast recoge los parámetros de entrada de la unidad a probar y genera recubrimientos (stubs) para las funciones externas obteniendo los parametros de resultado de la función. Una vez definidos paramentros de entrada y resultado de funciones externas, genera el ejecutable de prueba automáticamente.

Pruebas de Integración

Se utiliza la misma tecnología anterior, pero VectorCast permite seleccionar la integración deseada en base a seleccionar las funciones externas a la unidad a las que se va a llamar y a las que se va a simular mediante recubrimientos.

Pruebas de Sistemas

Son pruebas de caja negra, en las que probamos el sistema desde fuera, interactuando con el a través de su interfaz, bancos de prueba, simuladores, etc. Antes de realizar las pruebas, la herramienta recompila todo el sistema instrumentalizando el código para marcar las sentencias que se van ejecutando. Conforme se van realizando las pruebas de sistema, se puede ir observando en el código fuente las líneas de código que se han ejecutado, obteniendo la información de cobertura.

Pruebas de Regresión

El sistema de pruebas permite manejar múltiples baselines, o versione del código. Para todas las unidades que no han variado sus puntos de entrada y salida, el sistema permite repetir todas las pruebas definidas con anterioridad, para comprobar que los módulos modificados continúan funcionando adecuadamente. El sistema de pruebas detecta los módulos modificados y permite la ejecución en batch de todos los casos definidos, mostrando su resultado y comparando con los resultados de ejecuciones anteriores.

Cobertura de Pruebas

Todos los tipos de pruebas anteriores permiten medir la cobertura de pruebas alcanzada a tres niveles:
Cobertura de sentencias
Cobertura de decisiones
Cobertura de decisiones de condiciones modificadas (MC/DC)

Análisis Estático de Código

Todos los tipos de pruebas anteriores, son pruebas dinámicas de código, realizadas mediante la ejecución de código de pruebas. El sistema de pruebas incorpora un componente, VectorCast/Lint, dedicado al análisis estático de código fuente. Este análisis es capaz de detectar problemas potenciales y la no adherencia a estándares de codificación (por ej. MISRA C o C++). El sistema genera un conjunto de errores y avisos de posibles problemas del tipo: intento de lectura de variables no inicializadas, intento de uso de estructuras dinámicas no creadas, memory leaks, etc.

Herramienta cualificada para certificación

VectorCast está cualificada para generar evidencias de certificación según las siguientes normas:
Los informes generados por VectorCast, por ejemplo de cobertura, se aceptan como evidencias por las autoridades de certificación.
La herramienta cuenta con el Qualification Tool Package que puede ser adquirido en caso de ser necesario en el proceso de certificación. También se disponen de certificados de la herramienta generados por TUV.

Soporte de pruebas en host y target

La herramienta, maneja de forma transparente para el usuario, y con la misma interfaz gráfica las puebas en host (ej. Microsoft Visual Studio, Object Ada Nativo) o en target (ej. Multi C/C++ for Power PC).

La conexión con el target puede hacerse a través de un simulador de target (ej. Multi Simulator for ARM) o a través de un dispositivo de depuración hardware (ej. sonda GH Probe) o a través del servidor de depuración ethernet del sistema operativo de tiempo real (ej. Integriy o VxWorks).

VectorCast soporta múltiples compiladores cruzados tando de C/C++ como de Ada. A continuación se muestran los principales:
También se soportan los principales sistemas operativos de tiempo real:

Componentes de la suite VectorCast

Herramienta Abierta e Integrada

VectorCast, es una herramienta que integra todos los componentes en una única interfaz gráfica de usuario.

La herramienta se integra con las siguientes herramientas de especificación de requisitos:

Polarion® REQUIREMENTS™
IBM Rational RequisitePro®
IBM Rational DOORS®
VectorCast se integra con las siguientes herramientas de modelado y simulación:
IBM Rational Rhapsody®
Atego Artisan Studio™
MathWorks Simulink®
VectorCast se integra con las siguientes herramientas de análisis estático de código:
Pruebas Unitarias y/o de Integración de Sistemas en Host
Generán información de Cobertura de Pruebas
Pruebas en Target o a través de Simulador de Target
Pruebas de Sistemas en Host / Simulador / Target.
Generan información de Cobertura de Pruebas
Pruebas de regresión automatizadas para casos de prueba unitarias y/o de Integración de Sistemas.
Trazabilidad de requisitos con respecto a sus casos de prueba.
Pruebas de cobertura de decisiones de condiciones modificadas (MC/DC)
Integración con herramientas de análisis estático de código y adherencia a estándares de codificación
Kits de Certificación y Validación para los estándares: DO-178, IEC 61508, EN 50128, ISO 26262, IEC 62304
Doymus distribuye productos y servicios de las siguientes compañías:
Entornos de Desarrollo Software Embarcado
Placas y Sistemas Hardware
de Alta Disponibilidad
Pruebas dinámicas de Software Embarcado
Análisis Estático de Código Fuente y Binario
Productos
 
©  2017 Doymus Software e Ingeniería  •  Aviso Legal  •   Política de Privacidad  •  Política de Cookies
Servicios
Contactar
+34 911.788.540
info@doymus.com
Software & Hardware Development Tools
and Professional Services
Otros
Referencias

Recursos

Newsletters

Eventos
Doymus
Validación y Simulación
de Requisitos
Pruebas de Integraz Gráfica
de Usuario (GUI)
Formación DO 178/254
Consultoría de Certificación
Medida de Calidad de Proceso, Proyecto y Código Fuente
Especificación y Análisis de Requisitos y Riesgos
Este sitio web usa cookies para recopilar información estadística sobre su navegación. Si continúa navegando, consideramos que acepta su uso. Más información en: Política de Cookies