Komplethed

<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>Komplethed</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="id451.htm" TARGET="_top" TITLE="Bindinger og koblinger"><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="id468.htm" TARGET="_top" TITLE="Konsistens"><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="id442.htm" TARGET="_top" TITLE="Generelle analyseværktøjer"><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="heimdahl___leveson__1995__completeness_and_consistency_analysis_of_state_based_r.htm" TARGET="_top" TITLE="Completeness and Consistency Analysis of"><U><B>Heimdahl & Leveson [1995] Completeness and Consistency Analysis of State-Based Requirements</B></U></A></div> <div> <A HREF="kapur__1994__an_automated_tool_for_analyzing_completeness_of_equational_specific.htm" TARGET="_top" TITLE="An Automated Tool for Analyzing Complete"><U><B>Kapur [1994] An Automated Tool for Analyzing Completeness of Equational Specifications</B></U></A></div> <bR> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> Generelle systemmodeller kan i sig selv principielt aldrig betegnes som værende komplette idet delsystemer i princippet altid vil kunne nedbrydes i yderligere delsystemer og altid vil kunne indgå i yderligere systemer. Omvendt kan generelle systemmodeller principielt altid betegnes som værende komplette idet de er konstruktivistiske modeller af subjektivt bestemte relevante aspekter ved et system.</div> <bR> <div> Ved generel systemmodellering med anvendelse af typer/subtyper vil det dog være muligt at analysere om en given generel systemmodel mere konkret er komplet. Komplethed kan bestemmes udfra om et (del)system er i overensstemmelse med dets type(r) og om det er nedbrudt til et bestemt niveau i form af bestemte typer af delsystemer som for eksempel:</div> <bR> <div> Krav til strukturen og indholdet af kravspecifikationer for en systemudviklingsorganisation kan være defineret som en generel systemmodel der benyttes som type for konkrete kravspecifikationer, der dermed kan analyseres for komplethed i form af om alle dele af kravspecifikationen er medtaget samt om alle dele af kravspecifikationen er nedbrudt til for eksempel en formelt eller uformelt defineret type af målbare udtryk.</div> <bR> <div> Generelle systemmodeller for implementering af computerbaserede systemer kan analyseres for komplethed ved om alle delsystemer er nedbrudt til et niveau udelukkende bestående af elementer af en bestemt type af programkode instruktioner for en given computer eller binære data.</div> <bR> <div> <IMG SRC="33bc5bb0.gif" border=0 width="453" height="187" ALT="VISIO 5 Drawing" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></div> <bR> <div> Krav til struktur og indhold for dokumentation af implementerede computerbaserede systemer for en systemudviklingsorganisation kan på tilsvarende måde som kravspecifikation eksemplet være defineret som en systemmodel der benyttes som type for konkrete implementeringer. Komplethed for computerbaserede system implementeringer kan dermed for eksempel analyseres udfra om alle programkode instruktioner er dokumenteret ved at indgå som dele af systemdesign og systemanalyse mønstre.</div> <bR> <div> Med generel systemmodellering er der således fleksible, generelle muligheder for analysere generelle systemmodeller for komplethed igennem modellering og analyse af to forskellige generelle systemmodeller i form af henholdsvis en definition af kravene til struktur og indhold samt en konkret implementering.</div> </td> </tr></table></body>