در HOL-TestGen اجازه می دهد تا یک به ارسال مشخصات آزمون در منطق مرتبه بالاتر (HOL). این می تواند (نیمه) به طور خودکار پارتیشن فضای ورودی، و در نتیجه موارد آزمون انتزاعی، و به طور خودکار داده ها از آزمون بتن را انتخاب کنید.
نسل خودکار از محافظ آزمون (در SML) پشتیبانی می شود، و با استفاده از یک رابط زبان خارجی، پیاده سازی در زبان دلخواه (به عنوان مثال C) می تواند آزمایش می شود.
HOL-OCL نرمافزار آزاد است؛ شما می توانید آن را بازتوزیع کرده و / یا تغییر آن را تحت شرایط GPL. پروژه HOL-TestGen توسط و Achim D. Brucker و Burkhart ولف توسعه
ویژگی ها:.
ارسال مشخصات آزمون در منطق مرتبه بالاتر (HOL)
(نیمه) به طور خودکار پارتیشن فضای ورودی، و در نتیجه موارد آزمون انتزاعی
به طور خودکار داده ها از آزمون بتن را انتخاب کنید
به طور خودکار تولید اسکریپت آزمون (در SML)
با استفاده از یک رابط زبان خارجی، پیاده سازی در زبان دلخواه (به عنوان مثال C) می تواند آزمایش می شود.
چه در این نسخه جدید است:
در این نسخه به ایزابل / HOL 2011-1 منتقل شد.
نمونه های جدید اضافه شده است.
رابط کاربر مبتنی بر jEdit-در حال حاضر به طور پیش فرض استفاده می شود.
نظر یافت نشد