järeltingimused

Järgtingimused on tarkvara arenduses kasutatavad tingimused, mis kehtivad pärast funktsiooni või operatsiooni teostamist. Nad kirjeldavad väljundit, olekut või mõju kutsujale, eeldusel et eeltingimused on täidetud.

Järgtingimused on keskne osa kontseptsioonist design by contract (DbC). Neid kasutatakse selleks, et täpsustada, millised omadused või riik peab funktsiooni lõpuks omama ning mida funktsioon lubab muuta või mitte muuta.

Näide 1: funktsioon liida(a, b) tagastab arvu. Eeltingimused: puuduvad eritingimused. Järgtingimused: tagastusväärtus võrdub a ja b summaga. Näide 2: funktsioon sorteeri(m) võtab massiivi ja sorteerib selle. Eeltingimused: massiiv ei ole null. Järgtingimused: pärast teostust on massiiv kasvavas järjekorras ja sisaldab samu elemente kui algne massiiv.

Rakendused ja tööriistad: DbC-tugised keeled nagu Eiffel ja Spec#, pakuvad otse lepinguid. Teistes keeltes saab järgtingimused ellu viia runtime kontrollide (asserts) või kasutades staatilist verifikatsiooni.

Kasu ja kasutus: järgtingimused parandavad koodi loetavust, aitavad ennetada vigu ja annavad dokumentatsiooni; need on heaks aluseks testide koostamisel.

Piirangud: järgtingimuste täpsete kirjelduste kirjutamine võib olla keeruline ja mahukas; mõnel keelel puudub tööriistade tugi; täpse jõustamise hind võib mõjutada jõudlust ja arendustöömahtu; teoreetiline kontroll ei asenda katsetusi.