Object Constraint Language Based Test Case Optimisation