Aqua: o IDE para automação de testes