والحمم fastmodels يحتوي على رمز مستوى منخفض لإدارة النماذج السريعة في LAVA & nbsp؛ يمكنك حاليا تم تصميمه لإدارة يتصاعد NFS، وإنشاء نظام الملفات الجذر (تصدير كتل القطران التي قدمت إلى نقطة التحميل ونعمة مع نموذج سريع محدد التغييرات، إذا لزم الأمر). كما أنه يحتوي على كود لبدء نموذج وقت سريع، ومراقبة التنفيذ والاغلاق في...

PyUseCase

PyUseCase 3.5.1

PyUseCase هو واجهة المستخدم الرسومية اختبار البرمجيات لباي جتك.تستعصي على اختبار واجهة المستخدم الرسومية مع حالة استخدام مسجلتسجيل القصد بدلا من ميكانيكاوأكثر الطرق الطبيعية لخلق الاختبارات عبر واجهة المستخدم هو القيام ببساطة الإجراءات التي ترغب في أداء ويكون أداة التي يمكن أن تسجل لهم ومن ثم إعادة إنتاجها في وقت...

KOJAK

KOJAK 3.3

KOJAK (لكيت الحكم الهدف وكشف القائم على المعرفة من أداء الاختناقات) هو مجموعة من المكونات أداة عامة وقابلة للتشغيل المتبادل المصممة لتحليل أداء تطبيقات موازية.وتتناول وظائفها عملية التحليل بأكملها بما في ذلك الأجهزة، وتحليل نتائج بيانات الأداء، وعرض النتيجة.يتم وضع تركيز خاص على تقنيات الأتمتة لتحويل البيانات التي تم...

inFusion

inFusion 1.7.2

والتسريب هو، تطبيق المستندة إلى الكسوف التجاري مكتوب بلغة جافا، مما يسمح للمطورين التحكم الكامل جودة هندسة البرمجيات، فضلا عن جودة التصميم.أن تكون قادرة على التعامل مع جافا، C ++ & nbsp؛ و المشاريع C، والهدف الرئيسي من ضخ هو جعل ضمان جودة مشاريع LOC المعقدة أسهل من أي وقت مضى.ضخ هو برنامج عبر منصة وأنه يعمل على لينكس،...

YourKit Java Profiler

YourKit Java Profiler 2015 Build 15068 محدث

YourKit جافا التعريف هو وحدة المعالجة المركزية والذاكرة التعريف البرمجيات التجارية التي تمكن المستخدمين من حل بسهولة مجموعة واسعة من وحدة المعالجة المركزية والقضايا أداء الذاكرة ذات الصلة.YourKit جافا التعريف يتميز كشف تسرب التلقائي، أدوات قوية لتحليل توزيع الذاكرة، متصفح كومة كائن، اختبارات الذاكرة شاملة كجزء من...

Ahven

Ahven 2.3

وAhven هي مكتبة بسيطة اختبار وحدة (أو الإطار) لادا 95 لغة البرمجة. وعلى غرار المشروع فضفاضة بعد JUnit وتؤخذ بعض الأفكار من AUnit.والبرمجيات الحرة وزعت Ahven بموجب ترخيص ISC متساهل ويجب أن تعمل مع أي مترجم آدا 95 الميزات:. API بسيطحجم صغير (1.2 Ahven ديه 2K SLOC، 636 التصريحات، 1074 الإعلانات)نتائج الاختبار-JUnit...

HOL

HOL 7

HOL قصيرة من العالي بالدفع المنطق هو بيئة البرمجة التي النظريات يمكن ان يثبت وأدوات واقية تنفيذها.يمكن المدمج في إجراءات القرار والبروفر نظرية تؤسس تلقائيا العديد من النظريات بسيطة. آلية أوراكل يتيح الوصول إلى برامج خارجية مثل SAT وBDD المحركات.HOL 4 هو مناسبة خاصة كمنصة لتنفيذ مزيج من خصم والتنفيذ والتحقق من الملكية ...

ContiPerf

ContiPerf 2.3.0

وContiPerf هو أداة اختبار خفيفة الوزن التي تمكن المستخدم من الاستفادة بسهولة JUnit 4 حالات الاختبار كما اختبارات الأداء على سبيل المثال . لاختبار الأداء المستمر على & nbsp؛ وهو مستوحى من السهل تكوين اختبار JUnit 4 مع الشروح وفكرة JUnitPerf للالتفاف الاختبارات وحدة لاختبار الأداء، ولكن أقوى وأسهل للاستخدام:* عن طريق...