O SmartDelta reúne soluções rápidas de análise e verificação por meio de modelagem e recursos de análise estática, geração de testes, seleção, execução e visualização que permitem às empresas entregar sistemas de qualidade com confiança em um ambiente ágil e de ritmo acelerado.

O SmartDelta concentra-se em otimizar as atividades de análise e verificação de uma série de versões e deltas de produtos através da criação e ajuste automáticos de modelos verificáveis diretamente a partir de artefactos de desenvolvimento, como requisitos, registos, código, registos de teste e a utilização desses modelos para verificar propriedades extrafuncionais contra os modelos do sistema e gerar artefactos como testes ou monitores que podem ser usados posteriormente no processo da linha de produtos para futuras variantes.

Perseguiremos os seguintes objetivos técnicos:

1. Criar e extrair modelos de diferentes artefactos de software, bem como verificar a consistência entre os deltas numa arquitetura de cadeia de modelos. Isto inclui o desenvolvimento de técnicas para criar e extrair modelos para diferentes artefactos de software a partir de cenários e registos de utilização.

2. Verificação e validação da consistência automatizada com base em testes de modelos e técnicas de verificação de modelos. Oferecemos técnicas inovadoras que apoiam a verificação automatizada de produtos delta através do uso de especificações de modelos tanto no desenvolvimento quanto no tempo de execução.

3. Desenvolver uma abordagem automatizada para a análise de reutilização consciente do delta das características da linha de produtos, bem como a análise de compensação entre diferentes propriedades arquitetónicas extrafuncionais de interesse.

4. Gerar e analisar testes automatizados para propriedades extrafuncionais (por exemplo, consumo de recursos, segurança, desempenho) com base na especificação do modelo dos requisitos correspondentes que se concentram em desafios industriais reais de desenvolvimento contínuo.

5. Análise, visualização e recomendações inteligentes/adaptáveis e baseadas em ML para as próximas versões delta do sistema. Reduzir os ciclos de desenvolvimento, implementação e feedback através do uso de controlos de qualidade e análise de tendências para fornecer recomendações práticas e identificar vulnerabilidades nos modelos do sistema no início do produto desenvolvido.

Demonstramos os efeitos do SmartDelta em vários casos de uso complementares, cada um dos quais visa um conjunto de cenários típicos previstos para a estrutura proposta.