can opencascade check whether there is a gap between the surface or surface is overlap?

Take a look at the package ShapeAnalysis. Maybe ShapeAnalysis_Surface helps you to do the job!

Alex

Thanks very much!

How does it check whether two surfaces are overlap ?

You can use Boolean operation intersection and if the result of the process is not null shape this would give you an indication you have overlapping