SmartDelta reúne soluciones rápidas de análisis y verificación a través de modelado y capacidades de análisis estático, generación de pruebas, selección, ejecución y visualización que permitan a las empresas entregar sistemas de calidad con confianza en un entorno ágil de ritmo rápido.

SmartDelta se centra en optimizar las actividades de análisis y verificación de una serie de versiones y deltas de productos mediante la creación y el ajuste automáticos de modelos verificables directamente a partir de artefactos de desarrollo como requisitos, registros, código, registros de prueba y el uso de estos modelos para comprobar propiedades extrafuncionales. contra los modelos del sistema y generar artefactos como pruebas o monitores que se pueden usar más adelante en el proceso de la línea de productos para futuras variantes.

Perseguiremos los siguientes objetivos ténicos:

1. Crear y extraer modelos de diferentes artefactos de software, así como verificar la consistencia entre los deltas en una arquitectura de cadena modelo. Esto incluye el desarrollo de técnicas para crear y extraer modelos para diferentes artefactos de software a partir de escenarios y registros de uso.

2. Verificación y validación de consistencia automatizada basada en pruebas de modelos y técnicas de verificación de modelos. Brindamos técnicas novedosas que respaldan la verificación automatizada de productos delta mediante el uso de especificaciones de modelos tanto en el desarrollo como en el tiempo de ejecución.

3. Desarrollar un enfoque automatizado para el análisis de reutilización consciente del delta de las características de la línea de productos, así como el análisis de compensación entre diferentes propiedades arquitectónicas extrafuncionales de interés.

4. Generación y análisis de pruebas automatizadas para propiedades extrafuncionales (p. ej., consumo de recursos, seguridad, rendimiento) basadas en la especificación del modelo de los requisitos correspondientes que se enfocan en desafíos industriales reales de desarrollo continuo.

5. Análisis, visualización y recomendaciones inteligentes/adaptables y basados en ML para las próximas versiones delta del sistema. Acortar los ciclos de desarrollo, implementación y retroalimentación mediante el uso de controles de calidad y análisis de tendencias para proporcionar recomendaciones prácticas e identificar vulnerabilidades en los modelos del sistema al principio del producto desarrollado.

Demostramos los efectos de SmartDelta en varios casos de uso complementarios, cada uno de los cuales tiene como objetivo un conjunto de escenarios típicos previstos para el marco propuesto.