HOL-TestGen

HOL-TestGen 1.7.0

HOL-TestGen מאפשר לכתוב מפרטי בדיקה בהיגיון גבוה-סדר (HOL). זה יכול (למחצה) באופן אוטומטי לחלק את מרחב הקלט, וכתוצאה מכך במקרי מבחן מופשטים, ולבחור באופן אוטומטי את נתוני בדיקת בטון.יצירה אוטומטית של רתמות מבחן (בSML) נתמכת, ובאמצעות ממשק שפה זר, מימושים...