Pogodba zagotavlja pravilno delovanje vsake posamezne metode in zagotavlja, da ne bo stranskih učinkov. Z drugimi besedami je specifikacija hkrati tudi testni primer, ki določa, ali je izvedba napisana tako, da zagotavlja izpolnitev pogodbe in s tem pravilno delovanje sistema, v katerega je razred vključen.