gcviewer.
GCViewer هي أداة صغيرة تصور إخراج Verbose GC الناتج عن Sun و IBM Java Virtual Machines. ...
 | hor-testgen.HR-TESTGEN هو عبارة عن مولد حالة اختبار للاختبار الوحدات المستند إلى المواصفات. |
| التحميل الان | |
hor-testgen. الترتيب والملخص
الإعلانات
- رخصة:
- GPL
- السعر:
- FREE
- اسم الناشر:
- Achim D. Brucker and Burkhart Wolff
- موقع ويب الناشر:
- http://www.brucker.ch/projects/hol-ocl/
hor-testgen. العلامات
hor-testgen. وصف
HOL-TESTGEN هو عبارة عن مولد لحالة الاختبار للاختبار الوحدات المستند إلى المواصفات. يسمح HOL-TESTGEN بنكتب مواصفات اختبار في منطق أعلى (HAL). يمكن (شبه) تقسيم مساحة الإدخال تلقائيا، مما يؤدي إلى حالات اختبار مجردة، وتحديد بيانات اختبار الخرسانة تلقائيا. يتم دعم توليد اختبار الاختبار (في SML)، واستخدام واجهة لغة أجنبية، تطبيقات في اللغات التعسفية (على سبيل المثال ج) يمكن اختباره. هناك بعض الملامح الرئيسية ل "HOL Testgen": مواصفات اختبار الكتابة في منطقات الطلب العالي (HAL) تقسيم مساحة الإدخال ذات الطلب العالي، مما يؤدي إلى حالات اختبار مجردة تلقائيا اختيار اختبار الخرسانة تلقائيا البيانات توليد البرامج النصية الاختبار تلقائيا (في SML) استخدام واجهة لغة أجنبية، وتطبيقات في اللغات التعسفية (على سبيل المثال C) يمكن اختبارها .hol-OCL هو برنامج مجاني؛ يمكنك إعادة توزيعها و / أو تعديلها تحت شروط GPL. تم تطوير مشروع HOL-TESTGEN بواسطة Achim D. Broucer و Burkhart Wolff.ما الجديد في هذا الإصدار: يستخدم هذا الإصدار ISABELLE 2008 كأنظمة HOL الأساسي، ويوفر الدعم لإطار القياس، ويوفر HOL-TESTGEN / FW. HOL -Testgen / FW هو مولد حالة اختبار محددة للمجال لاختبار توافق جدار الحماية المستند إلى المواصفات.
hor-testgen. برامج ذات صلة
