HOL-TestGen

Hol-TestGen (Hol) এক উচ্চ-অর্ডার ন্যায়শাস্ত্র পরীক্ষা উল্লেখ লিখতে পারবেন. এটা (আধা) স্বয়ংক্রিয়ভাবে বিমূর্ত পরীক্ষার ক্ষেত্রে, ফলে ইনপুট স্থান পার্টিশন, এবং স্বয়ংক্রিয়ভাবে কংক্রিট পরীক্ষা তথ্য নির্বাচন করতে পারেন.
(SML মধ্যে) পরীক্ষা harnesses স্বয়ংক্রিয় প্রজন্মের সমর্থিত, এবং একটি বিদেশী ভাষা ইন্টারফেস ব্যবহার করা হয়, অবাধ ভাষায় (যেমন C) বাস্তবায়নের পরীক্ষা করা যাবে.
Hol-OCL ফ্রি সফটওয়্যার; যদি আপনি এটি পুনর্বিতরণ এবং / বা GPL এর অধীনে এটা পরিবর্তন করতে পারেন. Hol-TestGen প্রকল্প Achim ডি Brucker এবং Burkhart উলফ দ্বারা বিকশিত হয়

বৈশিষ্ট্য :. Higher- মধ্যে

• লেখার পরীক্ষা উল্লেখ যাতে ন্যায়শাস্ত্র (Hol)
• (আধা) স্বয়ংক্রিয়ভাবে বিমূর্ত পরীক্ষার ক্ষেত্রে, ফলে ইনপুট স্থান পার্টিশন করুন
• স্বয়ংক্রিয়ভাবে কংক্রিট পরীক্ষা তথ্য নির্বাচন করুন
• স্বয়ংক্রিয়ভাবে (SML মধ্যে) পরীক্ষা স্ক্রিপ্ট নির্মাণ করুন
• বিদেশী ভাষা ইন্টারফেস ব্যবহার করে, নির্বিচারে ভাষায় (যেমন C) বাস্তবায়নের পরীক্ষা করা যাবে.

নতুন এই রিলিজে কি:

• এই সংস্করণ ইসাবেল / Hol 2011-1 বৈশিষ্ট্যসমূহ নিয়ে আসা হয়.
• নতুন উদাহরণ যোগ করা হয়েছে.
• jEdit ভিত্তিক ইউজার ইন্টারফেস বর্তমানে ডিফল্টরূপে ব্যবহৃত হয়.