In this paper we give various equivalent characterizations of upper estimates of heat kernels of regular, conservative and local Dirichlet forms on doubling spaces, from both the analytic and probabilistic points of view. The first part of this paper uses purely analytic argument, while the second part focuses on the probabilistic aspects, where the exit time plays an important role