HOL-TestGen - תוכנה להורדה בחינם עבור Linux

שנצפו לאחרונה תוכנה

Googol+ 9 Dec 14
TitleLab 4 Jan 15
FenrirFS 21 Jan 15
Conway 14 Apr 15
OBLISK 3 Jun 15
RageWork 21 Sep 15
MMKbd 3 Jan 15
Hspell 14 Apr 15
BeaTunes 4 May 20
Vizard 20 Feb 15

HOL-TestGen 1.7.0

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

קטגוריות: כלי פיתוח, אבטחת איכות ובדיקות תוכנה