HOL-TestGen يسمح احد لكتابة مواصفات الاختبار في المنطق العالي النظام (HOL). ويمكن (شبه) تلقائيا تقسيم مساحة المدخلات، مما أدى إلى حالات الاختبار مجردة، وتلقائيا تحديد بيانات اختبار ملموسة.
ويدعم الجيل التلقائي من يسخر اختبار (في SML)، واستخدام واجهة لغة أجنبية، ويمكن اختبار تطبيقات باللغات التعسفية (مثل C).
HOL-OCL هي البرمجيات الحرة. يمكنك إعادة توزيعه و / أو تعديله تحت شروط GPL. تم تطوير مشروع HOL-TestGen التي كتبها أكيم D. Brucker وبوركهارت وولف
الميزات:.
إرسال مواصفات الاختبار في المنطق العالي النظام (HOL)
(شبه) تلقائيا تقسيم مساحة المدخلات، مما أدى إلى حالات الاختبار مجردة
تلقائيا تحديد بيانات اختبار الخرسانة
إنشاء البرامج النصية اختبار (في SML) تلقائيا
باستخدام واجهة لغة أجنبية، ويمكن اختبار تطبيقات باللغات التعسفية (مثل C).
ما هو الجديد في هذا الإصدار:
هذا الإصدار تم تصديرها إلى إيزابيل / HOL 2011-1.
تمت إضافة أمثلة جديدة.
ويستخدم واجهة المستخدم استنادا جي إيدت-الآن افتراضيا.
لم يتم العثور على التعليقات