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.