1 / 18

Kvalitet

Kvalitet. i almindelighed og i relation til softwareudvikling. Kvalitet i almindelighed. En specifik egenskab ved et objekt Det væsentlige ved et objekt Det overlegne ved et objekt Selve begrebet overlegenhed. Definition af kvalitet.

zubin
Télécharger la présentation

Kvalitet

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Kvalitet i almindelighed og i relation til softwareudvikling

  2. Kvalitet i almindelighed • En specifik egenskab ved et objekt • Det væsentlige ved et objekt • Det overlegne ved et objekt • Selve begrebet overlegenhed

  3. Definition af kvalitet • De fire definitioner hentyder til forskellige rammer, hvor begrebet kvalitet anvendes: • Teknisk • Filosofisk • Praktisk • Metafysisk

  4. Noget positivt • Ordet kvalitet forbindes normalt med noget positivt • I filosofisk forstand enten noget subjektivt eller objektivt • Baseret på en fornemmelse eller noget målbart • Eller repræsenterer en eviggyldigt sandhed

  5. Kvalitetskriterier • Kvaliteten af noget afhænger af de kriterier man anvender ved vurderingen • Det er brugbart • Det er smukt • Det findes • Alle genkender kvalitet, når de ser det; men ikke alle kan definere, hvorpå kvaliteten beror

  6. Software kvalitet • Her defineres kvalitet ofte således: • Graden hvormed en applikation matcher sit formål • Forudsætter kendskab til formålet • Kender man formålet, kan passende kvalitetskriterier udledes

  7. Kvalitets faktorer (1) • Forståelighed • Komplet (færdigudviklet) • Minimalt (ressourceforbrug) • Portabilitet (flere platforme) • Konsistent • Vedligeholdelsesvenligt

  8. Kvalitets faktorer (2) • Testbart • Brugbart • Pålidelighed • Struktureret • Effektivt • Sikkert

  9. Måling af kvalitet • Kvalitetsfaktorerne er vagt defineret og umulige at vurdere objektivt • Faktorerne kan suppleres med passende spørgsmål, som kan besvares entydigt • Spørgsmål der kan besvares med ja/nej • Svar der indeholder optællinger

  10. Brugerens perspektiv • Slutbrugerens opfattelse af kvaliteten er i sidste ende den vigtigste • Det vigtigste kriterium i forhold til brugerens opfattelse af kvalitet er brugbarhed

  11. Formelle metoder • Matematisk funderede teknikker til specifikation, design, realisering og verifikation af software og hardware • Motiveret af den forventning, at matematiske analyser kan bidrage til designets pålidelighed og robusthed • Kostbart at udvikle på den måde

  12. Formel specifikation • Et af de største problemer med specifikationer er beskrivelsen af systemets semantik • Semantik er læren om beskrivelsen af sprogets betydning • Syntaks er læren om beskrivelsen af sprogets opbygning

  13. Verifikation og bevis • En idé er at opbygge en specifikation, som samtidig kan fungere som verifikation eller bevis på, om programlogikken er korrekt • Rekursive specifikationer er langt lettere at bevise end specifikationer med iterationer

  14. Algebraisk specifikation • En abstrakt datatype (Objektklasse) • En specifikation af de invariante forhold • Funktioner opdeles i • Accessors • Modifiers • Alt specificeres som funktioner

  15. Eksempel: Stack • Modifiers: Init, Push, pop • Accessors: Top, Empty • Empty(Init) -> true • Empty(Push(Init),A) -> false • Empty(Pop(Push(Init),A)) -> true • Top(Init) -> Illegal • Top(Push(Init),A) -> A • Top(Pop(Push(Init),A)) -> Illegal

  16. De 10 bud • Formålet med de 10 bud var • Opmuntring • Praktisk anvisning • Statusopgørelse efter 10 år

  17. Formalismens 10 bud • Vælg en passende notation • Undgå overformalisering • Omkostningerne skal estimeres • Hav en ”guru” i baghånden • Man skal ikke opgive de traditionelle udviklingsmetoder

  18. 10 bud (2) • Lav tilstrækkelig dokumentation • Gå ikke på kompromis med kvalitets standarder • Vær ikke dogmatisk • Test, test og test igen • Genbrug

More Related