SofCheck Inspektur adalah alat analisis statis yang menemukan kesalahan dalam bytecode Java. Menggunakan kontrol aliran statis, data-aliran, dan mungkin nilai-set propagasi (PVT) teknik untuk mengidentifikasi tempat-tempat di mana kesalahan waktu menjalankan bisa terjadi. Teknik kualitas perangkat lunak otomatis ini memberikan cakupan jalur 100% dan memungkinkan kekurangan untuk diidentifikasi dan dieliminasi sangat awal dalam siklus hidup perangkat lunak, sebelum waktu berjalan. Inspektur menghasilkan prasyarat dan postconditions yang menjadi ciri perilaku kode Java dan berguna untuk inspeksi kode kotak putih. Mendeteksi kondisi ras, indeks keluar batas, overflows, membagi-by-nol, kode mati, tugas yang tidak terpakai, tes selalu akan salah satu cara, atau pengecualian dilemparkan. Ini adalah versi trial 45 hari mendukung hingga 200 kelas. Produk tersebut mengandung versi JRE Sun
Persyaratan :.
Windows XP / 2003 Server
Keterbatasan :
45-hari percobaan
Komentar tidak ditemukan