HOL-TestGen

সফটওয়্যার স্ক্রিনশট:
HOL-TestGen
সফটওয়্যার বিবরণ:
সংস্করণ: 1.7.0
তারিখ আপলোড: 20 Feb 15
ডেভেলপার: Achim D. Brucker and Burkhart Wolff
লাইসেন্স: বিনামূল্যে
জনপ্রিয়তা: 80

Rating: 4.0/5 (Total Votes: 2)

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

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

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

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

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

অনুরূপ সফ্টওয়্যার

lava-core
lava-core

14 Apr 15

bdd
bdd

14 Apr 15

Tail
Tail

3 Jun 15

random_instances
random_instances

11 May 15

মন্তব্য HOL-TestGen

পাওয়া মন্তব্যসমূহ না
মন্তব্য যোগ করুন
ছবি চালু!
বিভাগ দ্বারা অনুসন্ধান