Error Classification and Static Detection Methods in Tri-Programming Models: MPI, OpenMP، and CUDA