| Versiune | 2 |
|---|---|
| Editor | SofCheck |
| Data eliberării | 7 nov. 2008 |
| Data adaugata | 16 iul. 2007 |
| Cerințele OS | Windows, Windows XP |
| Cerințe | Windows XP/2003 Server |
| Descărcări totale | 357 |
| Preț | Free to try |
Descriere
SofCheck Inspector este un instrument de analiză statică care descoperă erori în codurile de octet Java. Utilizează tehnici static control-flow, date-flow și posibil-value-set propagation (PVP) pentru a identifica locurile în care pot apărea erori de timp de rulare. Această tehnică automată de calitate a software-ului oferă o acoperire de 100% a căii și permite identificarea și eliminarea defectelor foarte devreme în ciclul de viață al software-ului, înainte de timpul de rulare. Inspector generează precondiții și postcondiții care caracterizează comportamentul codului Java și sunt utile pentru inspecțiile codului cutie albă. Detectează condițiile de cursă, indexul în afara limitelor, depășirile, împărțirea la zero, codul mort, misiunile neutilizate, testele care merg întotdeauna într-un singur sens sau excepții aruncate. Aceasta este o versiune de probă de 45 de zile care acceptă până la 200 de clase. Produsul conține o versiune a JRE de la Sun.
