HOL-TestGen 1.7.0
HOL-TestGen يسمح احد لكتابة مواصفات الاختبار في المنطق العالي النظام (HOL). ويمكن (شبه) تلقائيا تقسيم مساحة المدخلات، مما أدى إلى حالات الاختبار مجردة، وتلقائيا تحديد بيانات اختبار ملموسة.ويدعم الجيل التلقائي من يسخر اختبار (في SML)، واستخدام واجهة لغة أجنبية، ويمكن اختبار تطبيقات باللغات التعسفية (مثل C).HOL-OCL هي...