Kravspecifikation

<body topmargin=0 leftmargin=0 marginheight=0 marginwidth=0> <table cellpadding=0 cellspacing=0 border=0><tr> <td valign="top" colspan=2 height=50 BGCOLOR="#333366" TEXT="#080000"> <div> <B>Kravspecifikation</B></div> <div> </div> </td> </tr><tr> <td valign="top" width=165 BGCOLOR="#CCCC99" TEXT="#080000"> <div> <B> <TABLE BORDER="0" CELLPADDING="2" CELLSPACING="1" WIDTH="132" BORDERCOLORLIGHT="#C0C0C0" BORDERCOLORDARK="#808080" FRAME="BOX" RULES="ALL" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" > <tR> <tD VALIGN=TOP HEIGHT= 35 ><NOBR><div> <A HREF="id210.htm" TARGET="_top" TITLE="Problem analyse"><U><B><IMG SRC="003151d0.gif" border=0 width="21" height="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <A HREF="id82.htm" TARGET="_top" TITLE="Systemanalyse"><U><B><IMG SRC="004151d0.gif" border=0 width="21" height="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP WIDTH="20"><IMG BORDER="0" SRC="1x1.gif" HEIGHT="35" ALIGN="bottom" WIDTH="20" HSPACE="0" VSPACE="0"></tD> <tD VALIGN=TOP><NOBR><div> <A HREF="id204.htm" TARGET="_top" TITLE="Systemmodellering"><U><B><IMG SRC="0c80d1d0.gif" border=0 width="13" height="29" ALT="up" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></B></U></A></div> </NOBR></tD> <tD VALIGN=TOP><NOBR><div> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="27"></div> </NOBR></tD> </tR> </TABLE></B></div> <div> <A HREF="zave___jackson__1997__four_dark_corners_of_requirements_engineering.htm" TARGET="_top" TITLE="Four Dark Corners of Requirements Engine"><U><B>Zave & Jackson [1997] Four Dark Corners of Requirements Engineering</B></U></A></div> <div> <A HREF="jackson__1995__software_requirements___specifications.htm" TARGET="_top" TITLE="Software Requirements Specifications"><U><B>Jackson [1995] Software Requirements & Specifications</B></U></A></div> <bR> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> Målet med et systems kravspecifikation er at beskrive hvad systemet skal opfylde i forhold til omgivelserne uden at beskrive hvordan systemet skal opfylde dette. En kravspecifikation for et system kan dermed defineres som en model af omgivelserne efter (og eventuelt før for at fremhæve forskellene) udvikling og implementering af systemet.</div> <bR> <div> Generelle krav til kravspecifikationer er at de skal være entydige, konsistente og komplette med henblik på umiddelbart at kunne bruges som udgangspunkt for implementering af en løsning samt til verificering af om en implementeret løsning opfylder kravene i kravspecifikationen.</div> <bR> <div> Formulering af en kravspecifikation kompliceres væsentligt af at anvendelsen af den har meget forskellige formål. Kravspecifikationen udgør en (juridisk) kontrakt mellem kunden og systemudviklingsorganisationen, og den definerer løsningen i form af en beskrivelse af grænsefladen mellem omgivelserne og systemet. Derudover udgør kravspecikationen udgangspunktet for kundens forståelse af løsningen og systemudviklernes forståelse af kunden og systemernes omgivelser.</div> <bR> <div> Ideelt set udarbejdes/foreligger der en fuldstændig/tilstrækkelig kravspecifikation som udgangspunkt for det resterende systemudviklingsforløb. I praksis må det dog forventes, at der afdækkes uafklarede krav/problemer i løbet af systemudviklingsforløbet således at kravspecifikationen løbende må tilpasses, samt at nogle specificerede krav eventuelt ikke umiddelbart kan opfyldes og derfor må revurderes og genforhandles.</div> <bR> <div> Et systems kravspecifikation er oftest blot verbale beskrivelser af krav/ønsker til mange forskellige aspekter ved systemet. Dermed er kravspecifikationen meget fleksibel og forholdsvis let at formulere og forstå for såvel "kunden" som systemudviklerne, men det er vanskeligt at sikre entydighed, konsistens og komplethed i kravspecifikationen.</div> <bR> <div> Alternativt kan kravspecifikationen formuleres som en matematisk/logisk baseret formel specifikation, der (automatisk) kan valideres for entydighed, konsistens og komplethed. En formel kravspecifikation er dog forholdsvis svær at formulere og forstå og er således forbeholdt for eksperter, der skal repræsentere såvel "kunden" som systemudviklerne. Formel specifikation mangler desuden udtryksevne og fleksibilitet til at formulere ikke-kvantificerbare krav/ønsker til systemet og må dermed eventuelt suppleres med andre (verbale) beskrivelser.</div> <bR> <div> Til fortrinsvis teknisk orienterede systemer er formel specifikation således velegnet og tilstrækkelig i det omfang at de nødvendige økonomiske, tidsmæssige og eksperticemæssige resourcer er tilgængelige. Ellers må i hvert fald dele af kravspecifikationen bestå af andre (verbale) beskrivelser med den nødvendige forståelighed og fleksibilitet/udtryksevne til også at specificere krav/ønsker til ikke teknisk orienterede aspekter ved systemet/omgivelserne.</div> <bR> <div> Kravspecifikation foregår altså typisk som en separat fase/aktivitet med en separat model uden direkte sammenhæng med den øvrige systemmodellering, hvilket er problematisk i det omfang at løbende tilpasning er nødvendig for at sikre konsistens og sporbarhed mellem kravspecifikationen og den øvrige systemmodellering.</div> <bR> <div> Generel systemudvikling bør således kunne rumme integreret systemmodellering med en kombination af eller en mellemting mellem verbale og formelle specifikationer som sikrer/muliggør den nødvendige/ønskelige fleksibilitet, forståelighed, entydighed, konsistens og komplethed.</div> <bR> </td> </tr></table></body>