This paper proposes a new efficient methodology for fault detection from the structural modeling of a complex system using the UML class diagram. The crisp and precise constraints on the attributes and relationships are represented using the formal specification language, Object Constraint Language (OCL). Model verification is done by converting the model to Constraint Satisfaction Problem(CSP) and by solving the problem. Performance is analysed by both bounded and unbounded validation.