Rumo à mudança: modelos de teste de propagação em sistemas de software adaptativos

A principal motivação para os sistemas de computação autoadaptativos é o autoajuste do software de acordo com um ambiente em mudança. Os sistemas de computação adaptativos podem adicionar, remover e substituir os seus próprios componentes em resposta a mudanças no próprio sistema e no ambiente operacional de um sistema de software. Embora esses sistemas possam fornecer um certo grau de confiança em relação a novos ambientes, as suas mudanças estruturais e comportamentais devem ser validadas após a adaptação ocorrer em tempo de execução. Testar sistemas dinâmicos adaptativos é extremamente desafiante, pois tanto a estrutura quanto o comportamento do sistema podem mudar durante a sua execução. Após a autoadaptação ocorrer no software autônomo, novos componentes podem ser integrados ao sistema de software. Quando novos componentes são incorporados, testá-los torna-se uma fase vital para garantir que eles irão interagir e se comportar conforme o esperado. Propomos uma abordagem orientada por modelos baseada na propagação de alterações para sincronizar um modelo de teste em tempo de execução para um sistema de software com o modelo da sua estrutura de componentes após a adaptação dinâmica.