צילום מסך תוכנה:
פרטי תוכנה:
גרסה: 1.7.0
טען תאריך: 20 Feb 15
רשיון: ללא תשלום
פופולריות: 80
HOL-TestGen מאפשר לכתוב מפרטי בדיקה בהיגיון גבוה-סדר (HOL). זה יכול (למחצה) באופן אוטומטי לחלק את מרחב הקלט, וכתוצאה מכך במקרי מבחן מופשטים, ולבחור באופן אוטומטי את נתוני בדיקת בטון.
יצירה אוטומטית של רתמות מבחן (בSML) נתמכת, ובאמצעות ממשק שפה זר, מימושים בשפות שרירותיות (למשל C) ניתן לבדוק.
HOL-OCL הוא תוכנה חופשית; ניתן להפיץ ו / או לשנות אותה תחת תנאי רישיון GPL. פרויקט HOL-TestGen הוא פותח על ידי האחים ד Brucker וBurkhart וולף
תכונות :.
- מפרטי בדיקת כתיבה בגבוה יותר הגיונות על מנת (HOL)
- (למחצה) באופן אוטומטי לחלק את מרחב הקלט, וכתוצאה מכך במקרי מבחן מופשטים
- באופן אוטומטי לבחור את נתוני בדיקת בטון
- באופן אוטומטי ליצור תסריטי בדיקה (בSML)
- באמצעות ממשק שפה זרה, מימושים בשפות שרירותיות (למשל C) ניתן לבדוק.
מה חדש בהודעה זו:
- גרסה זו מועבר לאיזבל / HOL 2011-1.
תגובות לא נמצא