Tartalomjegyzék
8 kapcsolatok: Öröklődés (objektumorientált programozás), Bertrand Meyer, Defenzív programozás, Egységtesztelés, Formális módszerek, Helyesség (számítástechnika), Típusállapot-analízis, Tesztvezérelt fejlesztés.
Öröklődés (objektumorientált programozás)
Objektumorientált programozásnál az öröklődés (angolul inheritance) mechanizmusa, hogy egy objektumot vagy egy osztályt alapjául választunk egy másik objektumnak (prototípus-alapú öröklődés) vagy osztálynak (osztályalapú öröklődés), megtartva a hasonló implementációt.
Megnézni Szerződésalapú programozás és Öröklődés (objektumorientált programozás)
Bertrand Meyer
Bertrand Meyer (Párizs, 1950. november 21.–) francia informatikus, egyetemi tanár, az Eiffel programozási nyelv megalkotója.
Megnézni Szerződésalapú programozás és Bertrand Meyer
Defenzív programozás
A defenzív programozás a defenzív tervezésnek egy olyan formája, amelynek az a szándéka, hogy biztosítsa a szoftver bizonyos részeinek folyamatos működését előreláthatatlan körülmények (például helytelen bevitelek) között.
Megnézni Szerződésalapú programozás és Defenzív programozás
Egységtesztelés
A számítógép-programozásban az egységtesztelés a szoftvertesztelésnek egy olyan módszere, amelynek során a forráskód egységeit (egy vagy több számítógépes program modul készletet) a kapcsolódó vezérlő adatokkal, a felhasználási-és a működtető eljárásokkal együtt tesztelik annak meghatározására, hogy azok elérik-e kitűzött céljukat.
Megnézni Szerződésalapú programozás és Egységtesztelés
Formális módszerek
A számítástechnikában, különösen a szoftverfejlesztésben és a hardvertervezésben, a formális módszerek a szoftver- és hardverrendszerek specifikációjának, fejlesztésének és ellenőrzésének matematikailag szigorú technikáinak egy fajtáját jelentik.
Megnézni Szerződésalapú programozás és Formális módszerek
Helyesség (számítástechnika)
Az elméleti számítástechnikában egy algoritmus helyessége azt jelenti, hogy az algoritmus egy specifikációhoz képest helyes.
Megnézni Szerződésalapú programozás és Helyesség (számítástechnika)
Típusállapot-analízis
A típusállapot-analízis (protokollanalízis) a programelemzés egyik formája, amelyet a programozási nyelvekben (leggyakrabban objektumorientált) alkalmaznak.
Megnézni Szerződésalapú programozás és Típusállapot-analízis
Tesztvezérelt fejlesztés
A tesztvezérelt fejlesztés (Test-driven development, TDD) egy szoftverfejlesztési folyamat, ami egy nagyon rövid fejlesztési ciklus ismételgetésén alapul, tehát a követelményeket speciális teszt esetekként fogalmazzuk meg, a kódot pedig ehhez mérten írjuk meg, így az át fog menni a teszten.
Megnézni Szerződésalapú programozás és Tesztvezérelt fejlesztés