Productos

Nuestra Solución

Desde 2018, Developair se ha comprometido a ofrecer al mercado una plataforma disruptiva que automatiza los pasos del proceso de desarrollo de software. Basada en IA simbólica y tecnología de vanguardia, nuestra herramienta actual puede automatizar las actividades de verificación y validación a través de tres funciones: el Editor Inteligente, el Asistente de Verificación y el Generador Automático de Pruebas.

Testing: 54% de reducción de coste. Requisitos: 35% de reducción de coste.

Ventajas principales

Set-up rápido y actualizaciones automáticas

Simplemente accede a la aplicación web sin instalación ni actualizaciones, siempre usando la última versión del producto.

Seguridad

Nos preocupamos por tu privacidad y seguridad. Cuidamos tus datos como lo harías tú.

Fácil integración con tus actuales herramientas

Proporcionamos plugins para conectar con tus sistemas gestores de requisitos o pruebas.

Curva de aprendizaje suave

Nuestra interfaz de usuario intuitiva ayuda a los expertos del dominio a concentrarse en desarrollar software rápido, enfocándose en actividades más exigentes y gestionar su carga de trabajo de forma más dinámica y productiva.

El modelo V y Developair

La suite de herramientas Developair vive en las fases más profundas del modelo V. Es en estas fases donde se ponderan, diseñan y prueban las características, la arquitectura, los componentes y las interfaces del software. Todos estos elementos son clave para desarrollar un software embebido seguro y fiable.

Arquitectura

Developair se ofrece como una aplicación web con versiones On-premise y Cloud. La versión en la nube reduce el tiempo de configuración, fomenta la colaboración y evita tener que mantener la infraestructura informática necesaria para la ejecución de los algoritmos. Mientras que la versión On-premise maximiza el control sobre los datos. Nuestra solución incluye tres funciones y utilizamos conectores para exportar los requisitos verificados y las pruebas generadas a las herramientas de su elección.

Editor Inteligente

Una forma fácil e intuitiva de definir los requisitos de manera formal

Ventajas:

  • Elimina ambigüedades en los requisitos, un requisito formal sólo tiene una interpretación posible.
  • Favorece la normalización a la hora de definir los requisitos.

Verificación Automática

Verifica requisitos automáticamente

Ventajas:

  • Verificación temprana del software.
  • Asistencia inteligente para detectar incoherencias, conflictos y errores en los requisitos.

Generador Automático de Test

Genera casos y vectores de test automáticamente

Ventajas:

  • Tests y oráculos se generan automáticamente a partir de la especificación de los requisitos.
  • Tras elegir tus criterios de cobertura preferidos, puedes generar cientos de tests en un solo clic.

Conectividad

Buena integración con otras herramientas

Ventajas:

  • Los requisitos pueden exportarse a herramientas de gestión de requisitos (ej., IBM DOORS, IBM DNG, etc.).
  • Los tests generados pueden exportarse a herramientas de testing (ej., Simulink test, Vectorcast, etc.)

42%* de reducción de coste en total

  • Reducción de los plazos de desarrollo de SW en hasta un 50%.
  • Reducción de los costes de no conformidad y los problemas para cumplir las normativas.
  • Reducción del coste de oportunidad: 3 de cada 10 ingenieros reasignados a tareas de alto valor añadido.

*En base a un caso de estudio llevado a cabo en el sector ferroviario

FAQ

Gestión de requisitos

¿Puedo exportar los requisitos definidos en Developair a herramientas de gestión de requisitos?

Sí, actualmente disponemos de un conector para IBM DOORs e IBM DOORS Next y estamos trabajando en conectores para otras herramientas de gestión de requisitos como Polarion o JAMA.

Utilizamos una herramienta propietaria para gestionar los requisitos, ¿hay alguna forma de importar requisitos definidos en Developair?

Sí, podemos desarrollar conectores a medida para herramientas propietarias de gestión de requisitos. Si la herramienta propietaria soporta Reqif, también se podría exportar los requisitos definidos en la plataforma Developair en formato ReqIF e importarlos a la herramienta propietaria en ReqIF. También es posible exportar los requisitos en un archivo JSON.

Herramientas para test

Utilizamos una versión personalizada de CxxTest para las pruebas unitarias, ¿Como podríamos utilizar los test generados en Developair?

Podemos desarrollar conectores personalizados para herramientas propietarias de testing. También es posible exportar un archivo JSON con todas las secuencias de tests.

¿Con qué herramientas de testing se puede utilizar la plataforma Developair?

En la actualidad tenemos conectores a Simulink Test y a Vectorcast, normalmente desarrollamos nuevos conectores cuando nos los solicita un cliente. Si utilizáis otras herramientas contáctanos para más información.

Lenguajes de programación

¿Qué lenguajes de programación soporta la plataforma?

Tanto los requisitos definidos en la plataforma como los test generados son independientes del lenguaje de programación o del entorno de pruebas. La plataforma Developair genera las pruebas unitarias a partir de la lógica definida en los requisitos y luego los test son transformados por un conector para poder ser utilizados en diferentes entornos de testing. En la actualidad tenemos conectores a Simulink y a Vectorcast para código en C/C++ y podemos desarrollar nuevos conectores bajo demanda.