Se completa la GUI y se empieza a disenar las pruebas en ttcn3