<![CDATA[
<BODY>
<H1>www.duv24.net : Verifikationsmanagement</H1>
<P> <BR>
[<A href="/">www.duv24.net</A>] [<A href="../index.html">back</A>]
</P>
<TABLE WIDTH=100% BORDER=0 CELLSPACING=0 CELLPADDING=0>
<TR>
<TD VALIGN=top>
<TABLE WIDTH=100% BORDER=0 CELLSPACING=0 CELLPADDING=0>
<TR>
<TD VALIGN=TOP CLASS=detailBereichRedaktion>Bereich >
Redaktion
> <B><FONT color="#CC3300">Nachrichten</FONT></B></TD>
<TD ALIGN=right VALIGN=bottom CLASS=detailDatum>01.03.2004</TD>
</TR>
</TABLE>
</TD>
<TD VALIGN=top> </TD>
<TD VALIGN=top> </TD>
</TR>
<TR>
<TD VALIGN=top CLASS=detailFirma ID=topSpace>Verisity Design GmbH:</TD>
<TD VALIGN=top> </TD>
<TD VALIGN=top> </TD>
</TR>
<TR>
<TD VALIGN=top CLASS=detailTitel>Verifikationsmanagement</TD>
<TD VALIGN=top> </TD>
<TD VALIGN=top> </TD>
</TR>
<TR>
<TD VALIGN=top CLASS=detailSubtitel></TD>
<TD VALIGN=top> </TD>
<TD VALIGN=top> </TD>
</TR>
<TR>
<TD VALIGN=top>
<TABLE BORDER=0 CELLSPACING=0 CELLPADDING=0>
<TR>
<TD VALIGN=top CLASS=detailContent>vManager ist eine Verifikationsmanagementlösung von Verisity. Es erlaubt eine vorhersagbare Verifikation-Closure mit Hilfe dezentralisierter, in mehrere Ebenen gegliederter Verifikationsaktivitäten und ergibt eine optimale Ressourcennutzung. Projektteams können damit Metric-orientierte Prozesse einrichten, die, ausgehend von einer ausführbaren Spezifikation der Funktionsanforderungen und von Coverage-Plänen, die Verifikationsressourcen so einsetzen, dass sich eine vollständige Abdeckung ergibt und die Closure erreicht werden kann. Um die Nutzung der Verifikationsumgebungen und Rechnerressourcen zu erleichtern, filtert und analysiert die Lösung das Aufkommen an Verifikationsdaten, die täglich und in jeder Stunde generiert werden. Anschließend werden die Resultate bezeichnet und mit den Verifikationsdurchgängen korreliert. Außerdem können die Fortschritte eines Projekts auf dem Weg zur Verifikation-Closure in verschiedenen Darstellungsweisen ausgegeben werden.</TD>
</TR>
<TR>
<TD CLASS=detailQuelle> </TD>
</TR>
</TABLE>
</TD>
<TD WIDTH=28 VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=1 HEIGHT=1 ALT=""></TD>
<TD WIDTH=174 VALIGN=top></TD>
</TR>
<TR>
<TD VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=393 HEIGHT=1 ALT=""></TD>
<TD WIDTH=28 VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=28 HEIGHT=1 ALT=""></TD>
<TD WIDTH=174 VALIGN=top><IMG NAME="" SRC=/pi/spacer.gif WIDTH=174 HEIGHT=1 ALT=""></TD>
</TR>
</TABLE>
<P><I>Diese Seite wurde am 25.09.2004, 13:13 Uhr aktualisiert</I></P>
</BODY>
]]>