HOL-TestGen 1.7.0

در HOL-TestGen اجازه می دهد تا یک به ارسال مشخصات آزمون در منطق مرتبه بالاتر (HOL). این می تواند (نیمه) به طور خودکار پارتیشن فضای ورودی، و در نتیجه موارد آزمون انتزاعی، و به طور خودکار داده ها از آزمون بتن را انتخاب کنید.نسل خودکار از محافظ آزمون (در SML) پشتیبانی می شود، و با استفاده از یک رابط زبان خارجی، پیاده...
رایگان دانلود HOL-TESTGEN برای LINUX (tar.gz)

نرم افزار توصیه شده برای Linux