Konsistens

<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>Konsistens</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="id452.htm" TARGET="_top" TITLE="Komplethed"><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> <IMG BORDER="0" SRC="1x1.gif" HEIGHT="29" ALIGN="BOTTOM" HSPACE="0" VSPACE="0" WIDTH="21"></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="heitmeyer__jeffords___labaw__1996__automated_consistency_checking_of_requirement.htm" TARGET="_top" TITLE="Automated Consistency Checking of Requir"><U><B>Heitmeyer, Jeffords & Labaw [1996] Automated Consistency Checking of Requirements Specifications</B></U></A></div> <bR> </td> <td valign="top" height=430 BGCOLOR="#FFFFFF" TEXT="#080000"> <div> Generelle systemmodeller vil i sig selv altid være konsistente hvis de er i overensstemmelse med sematikken for det generelle modelleringsprog. Denne konsistens er dog ikke særlig interessant. Konsistens i generelle systemmodeller er interessant som konsistens mellem de forskellige niveauer af en generel systemmodel samt mellem de forskellige dimensioner af en multidimensionel generel systemmodel.</div> <bR> <div> Med anvendelse af type-instance relationer vil det i et vist omfang være muligt at analysere om en given generel systemmodel er konsistent. Konsistens mellem et system og dets nedbrydning i delsystemer kan bestemmes udfra om systemet svarer til "summen" af de nedbrudte delsystemer således at de eksterne relationer på de to niveauer svarer til hinanden med hensyn til deres eksistens og deres typer. Ved multidimensionelle generelle systemmodeller vil en sådan konsistens ligeledes kræve/sikre overensstemmelse mellem de forskellige dimensioner, da forskellige dimensioner ikke kan have uforenelige typer af fælles delsystemer.</div> <bR> <div> Ved generel systemmodellering af implementering af programkode instruktioner på forskellige niveauer vil konsistens analyse af delsystem typerne kunne afsløre uoverensstemmelser mellem datatyper og dermed mulige dataværdier, som for eksempel anvendelse af udefinerede talstørrelser på det overliggende niveau og anvendelse af 16 bit binære talstørrelser på det underliggende niveau. Konsistens analyse af uoverensstemmelser mellem eksistensen af eksterne relationer, hvor der forekommer eksterne relationer på et niveau der ikke forekommer på det andet, kan afsløre udefinerede/uhåndterede programtilstande, som for eksempel manglende håndtering af overløb/underløb ved addition/subtraktion af talværdier med et givent antal cifre.</div> <bR> <div> <IMG SRC="33df2ce0.gif" border=0 width="498" height="206" ALT="VISIO 5 Drawing" ALIGN="BOTTOM" HSPACE="0" VSPACE="0"></div> <bR> <div> Det er således muligt at lave detaljeret konsistens analyse af generelle systemmodeller men det kræver dog tilstrækkelig detaljeret anvendelse af type-instance relationer, hvor forskellige type-instance relationer nedbrydes til fælles typer af delsystemer som for eksempel bits. Ved anvendelse af uformelle/udefinerede type-instance relationer eller type-instance relationer uden fælles typer af delsystemer vil konsistens analyse kun kunne vise uoverensstemmelser mellem eksistensen af eksterne relationer på forskellige niveauer.</div> <bR> </td> </tr></table></body>