SofCheck المفتش هو أداة تحليل ثابت أن يكتشف أخطاء في bytecodes جافا. ويستخدم ثابت ضبط تدفق، تدفق البيانات، ووضع الممكنة ذات القيمة الانتشار (PVP) تقنيات لتحديد أماكن الأخطاء وقت التشغيل يمكن ان تحدث. وتوفر هذه التقنية جودة البرمجيات الآلي تغطية مسار 100٪ ويسمح العيوب الكشف عن هويته والقضاء عليها في دورة حياة البرمجيات في وقت مبكر جدا، قبل وقت التشغيل. مفتش يولد شروط مسبقة وpostconditions التي تميز سلوك شفرة جافا وتكون مفيدة لعمليات التفتيش كود مربع أبيض. يكشف ظروف السباق، مؤشر خارج الحدود، الفيضانات، قسمة صفر، وفاة رمز، وتحديد المهام غير المستخدمة، واختبارات دائما تسير في اتجاه واحد، أو استثناءات القيت. هذا هو النسخة التجريبية 45 يوما ودعم ما يصل إلى 200 الطبقات. المنتج يحتوي على نسخة من JRE الشمس
المتطلبات:.
ويندوز XP / 2003 خادم
القيود:
45 يوما للمحاكمة
لم يتم العثور على التعليقات