קטגוריות: כלי פיתוח, אבטחת איכות ובדיקות תוכנה
HOL-TestGen 1.7.0
HOL-TestGen מאפשר לכתוב מפרטי בדיקה בהיגיון גבוה-סדר (HOL). זה יכול (למחצה) באופן אוטומטי לחלק את מרחב הקלט, וכתוצאה מכך במקרי מבחן מופשטים, ולבחור באופן אוטומטי את נתוני בדיקת בטון.יצירה אוטומטית של רתמות מבחן (בSML) נתמכת, ובאמצעות ממשק שפה זר, מימושים...
שנצפו לאחרונה תוכנה
EMS Data Generator for MySQL 27 Jan 15
Biostar A68MHD2 Ver. 6.0 AMD AHCI Preinstall Driver for Windows 8.1 64-bit 18 Mar 16
-
MstLabel Control for .NET 3 May 20
-
UML Editor 16 Apr 15
-
DBACentral for MySQL 22 Sep 15
AOL Computer Checkup 9 Dec 14
-
Gigabyte GA-B150-HD3 DDR3 (rev. 1.0) Intel SATA Preinstall Driver 64-bit 2 Jan 16
SSRS Export 16 Apr 15
Vertically scroll rss feed 1 Mar 15
-
JiveLint 29 Oct 15