A total coloring of a graph [Formula: see text] is an assignment of colors to the elements of the graph [Formula: see text] such that no adjacent vertices and edges receive the same color. The total chromatic number of a graph [Formula: see text], denoted by [Formula: see text], is the minimum number of colors that suffice in a total coloring. Behzad and Vizing conjectured that for any simple graph [Formula: see text], [Formula: see text], where [Formula: see text] is the maximum degree of [Formula: see text]. In this paper, we prove the tight bound of the total coloring conjecture for the three types of corona products (vertex, edge and neighborhood) of graphs.