البرمجيات قطة:
تفاصيل البرنامج:
ESC المشروع / Java2 الواجهة يوزع رمز جافا 1.4 المصدر وجافا 1.5 بايت كود إلى بناء الجملة شجرة الخلاصة التي يمكن استخدامها لفحص ثابت موسع.
مدقق ثابت الموسعة ل Java الإصدار 2 (ESC / Java2) هو أداة البرمجة الذي يحاول العثور على أخطاء وقت التشغيل المشتركة في برامج جافا JML المشروح من قبل تحليل ثابت من رمز البرنامج وشروحها الرسمية. يمكن للمستخدمين التحكم في كمية وأنواع من التحقق من أن ESC / Java2 ينفذ من قبل التأشير برامجها مع التعليقات منسق بشكل خاص يسمى pragmas.
ESC / Java2 يتوفر في شكلين:
لم يتم العثور على التعليقات