SofCheck بازرس یک ابزار تجزیه و تحلیل استاتیک که کشف خطا در بایت کدهای جاوا است. آن استفاده می کند شخص کنترل جریان، جریان داده ها، و انتشار امکان پذیر ارزش تنظیم (PVP) تکنیک برای شناسایی مکان هایی که در آن خطاها در زمان اجرا می تواند رخ دهد. این روش خودکار کیفیت نرم افزار پوشش 100٪ مسیر و اجازه می دهد تا نقص به شناسایی و حذف خیلی زود در چرخه حیات نرم افزار، قبل از زمان اجرا. بازرس تولید پیش شرط و postconditions که مشخص رفتار کد جاوا و برای بازرسی جعبه سفید کد مفید هستند. این شرایط مسابقه، خارج از محدوده، سرریز، تقسیم بر صفر، کد مرده، تکالیف استفاده نشده، آزمایش همیشه یکی از راه، و یا استثناها تشخیص می دهد. این یک نسخه آزمایشی 45 روز به 200 کلاس حمایت از تا است. این محصول حاوی یک نسخه از JRE خورشید
در مورد نیاز:.
ویندوز XP / 2003
محدودیت ها:
محاکمه 45 روزه
نظر یافت نشد