Characterization of Diagnosabilities on the Bounded PMC Model