Page 2 : 31

Forelæsningsnoter i Objekt-orienteret Programmering Designkontrakter og ansvarsfordeling * Specifikationsproblemet Softwarekvalitet Korrekthed Specifikation * Specifikation med pre- og postbetingelser Logiske udtryk samt pre- og postbetingelser Eksempel på brug af pre- og postbetingelser i et objekt-orienteret program Et sprog til formulering af 'assertions' * Ansvarsfordeling og kontrakter Ansvarsfordeling Det overansvarlige program Det ansvarsløse program Ansvarsfordeling specificeret med pre- og postbetingelser Kontraktbegrebet Kontrakter: ydelse og nydelse Ydelse og nydelse i kvadratrods funktionen * Generelle kontraktaspekter: klasseinvarianter Klasseinvarianter Eksempel på klasseinvariant: CircularList Hvornår skal en invariant være opfyldt? * Subkontrakter og nedarvning Forholdet mellem nedarvning og kontrakter Subkontrakter Eksempel på klasseinvarianter: Trekantshierarkiet Assertions i abstrakte klasser * Kontrakter i praktisk programudvikling Løbende check af kontrakter under programudførelse Udbyttet af kontrakter i programudviklings processen Assertions i objekt-orienterede programmeringssprog * Andre anvendelser af assertions Løkkeinvarianter

Softwarekvalitet

Vi ønsker at bibringe den software, vi producerer, en række positive egenskaber. Sådanne positive egenskaber vælger vi at kalde 'softwarekvaliteter'. Vi diskuterer her bredt og overordnet, hvilke kvaliteter vi kan gå efter

En software kvalitet er en positive egenskab, som vi ønsker at tilføre et program

Kvalitet Beskrivelse Modsætning Korrekthed Opfyldelse af intentionen Ukorrekthed Robusthed Modståelig over for uventede situationer Skrøbelighed Genbrugelighed Kan bruges i andre sammenhænge Anvendelsesspecifik Enkelhed Undgår indviklede løsninger Komplekst Forståelighed Mental håndterbarhed af programmet Uforståelighed ............. ................. .........

En række kvaliteter ved software, deres beskrivelse, og som kontrast, deres modsætning. Kvaliteter er positivt ladede ord.