Natančno to je bistvo DbC: pogodba je sklenjena med uporabnikom (zunanji razredi) in ponudnikom storitve (našim razredom). 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.