Contract validation is an important part of software verification, which is in general an undecidable problem. A method contract is fulfilled if validation of the assumption of the method precondition allows method postcondition to be satisfied. Checking pre- and post- conditions of methods at run-time helps improve software reliability. In this paper, we approximate how much of the contract of an overridden method is fulfilled.