Productos

Developair

Plataforma de desarrollo centrada en la verificación automática de requisitos y la generación automática de tests, dando la posibilidad de optimizar el ciclo de desarrollo de software, ofrecida en formato SaaS (Software as a Service) y orientada de forma prioritaria a empresas que desarrollan sistemas inteligentes complejos en los sectores como el transporte, energía, aeroespacial, salud o fabricación.
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 ocupamos de tus datos como lo harías tú mismo. Privacidad y seguridad para tu negocio.

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 concentrarse en desarrollar software rápido, enfocándose en su trabajo.

Asistencia inteligente

Developair ofrece asistencia inteligente en varias fases del desarrollo software.

Plataforma Developair

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. La plataforma incluye tres módulos y conectores a otras herramientas:

Editor

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.
  • Permite una mayor estandarización, requisitos definidos por diferentes equipos son mucho más similares que si estuvieran en lenguaje natural.

Verify

Verifica requisitos automáticamente

Ventajas:

  • Validación temprana del software
  • Alto grado de automatización que reduce el tiempo y coste de desarrollo

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.
  • Mejora la calidad de las pruebas al evitar errores humanos, reduce el tiempo y los costes y permite a los ingenieros centrarse en tareas de alto valor añadido.

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.