| Versi | 2 |
|---|---|
| Penerbit | SofCheck |
| Tarikh pelepasan | 7 Nov 2008 |
| Tarikh ditambahkan | 16 Jul 2007 |
| Keperluan Os | Windows, Windows XP |
| Keperluan | Windows XP/2003 Server |
| Jumlah muat turun | 357 |
| Harga | Free to try |
Penerangan
SofCheck Inspector ialah alat analisis statik yang menemui ralat dalam kod bait Java. Ia menggunakan teknik aliran kawalan statik, aliran data dan penyebaran set nilai mungkin (PVP) untuk mengenal pasti tempat di mana ralat masa larian boleh berlaku. Teknik kualiti perisian automatik ini menyediakan liputan laluan 100% dan membolehkan kelemahan dikenal pasti dan dihapuskan sangat awal dalam kitaran hayat perisian, sebelum masa berjalan. Inspektor menjana prasyarat dan pascasyarat yang mencirikan kelakuan kod Java dan berguna untuk pemeriksaan kod kotak putih. Ia mengesan keadaan perlumbaan, indeks di luar sempadan, limpahan, bahagi dengan sifar, kod mati, tugasan yang tidak digunakan, ujian sentiasa berjalan sehala atau pengecualian yang dibuang. Ini ialah versi percubaan selama 45 hari yang menyokong sehingga 200 kelas. Produk ini mengandungi versi Sun's JRE.
