No abstract

No abstract

Sistemas autoadaptativos possuem a capacidade de adaptar seu comportamento durante sua execução em resposta às mudanças no ambiente onde está inserido. Para garantir o sucesso de uma adaptação, abordagens tradicionais como testes e verificações de software são insuficientes. Por isso, deve-se adotar abordagens de monitoramento e verificação em tempo de execução para assegurar que as adaptações tenham o resultado esperado. Neste trabalho, é proposta uma ferramenta para realizar, de forma integrada, o monitoramento, a verificação e a notificação de violações encontradas durante a execução de um sistema autoadaptativo.