Diagnostic tools of approximate Bayesian computation using the coverage property