Interaktiva Software Engineering objektorienterade tekniker stadigt få mark i världen av mjukvaruutveckling. användare och presumtiva användare av dessa tekniker mer och mer kräver en "metod" för objektorienterad programvarukonstruktion - eller åtminstone för vissa metodiska riktlinjer. I denna artikel presenteras sådana riktlinjer, vars främsta mål är att bidra till att förbättra tillförlitligheten hos programvarusystem. Tillförlitlighet definieras här som kombinationen av korrekthet och robusthet eller. mer prosaiskt, eftersom frånvaron av insekter. Alla utvecklar mjukvarusystem. eller bara använda dem, vet hur brådskande denna fråga om tillförlitlighet är i nuvarande tillstånd av programvaruteknik. Men den snabbt växande litteraturen om objektorienterad analys. Konstruktion. och programmering innehåller anmärkningsvärt få bidrag på hur man gör objektorienterad programvara mer tillförlitlig. Detta är förvånande och beklagligt, eftersom minst tre skäl motiverar att särskild uppmärksamhet ägnas åt tillförlitlighet i samband med objektorienterad utveckling: Den objektorienterade teknikens hörnsten är återanvändning. För återanvändbara komponenter, som kan användas i tusentals olika tillämpningar, de potentiella konsekvenserna av felaktigt beteende är ännu allvarligare än för tillämpningsspecifika utvecklingar. Förespråkare för objektorienterade metoder gör starka påståenden om deras bene- De pragmatiska tekniker som presenteras i denna artikel, men säkert inte ger ofelbara sätt att garantera pålitlighet, kan hjälpa avsevärt mot detta mål. De förlitar sig på teorin om formgivning genom kontrukt. som ligger till grund för utformningen av Eiffelanalys, design och programmeringsspråk" och för de stödjande biblioteken, från vilka ett antal exempel kommer att tas. Bidragen från det arbete som redovisas nedan inkluderar en sammanhängande uppsättning "northofological pri/?ciples" som bidrar till att skapa ett korrekt och systematiskt förhållningssätt till det känsliga problemet med hur man hanterar onormala fall. som leder till en enkel och kraftfull mekanism för undantagshantering, och på grundval av noggrant robust programvara, utformade kontrakt.
Pragmatiskt sett är REF ansvarigt för terminologin "design by contracts" och populariseringen av konceptet i den objektorienterade gemenskapen.
Applying 'design by contract'
{'venue': 'Computer', 'journal': 'Computer', 'mag_field_of_study': ['Computer Science']}