QC הוא כלי בדיקה המאפשר לך לכתוב תכונות שאתה מצפה להחזיק נכון, ולתת למחשב ליצור מקרי מבחן אקראיים כדי לבדוק שנכסים אלה למעשה להחזיק & nbsp;. לדוגמא, אם אתה כתבת לדחוס ולשחרר לחץ פונקציות ל כמה תכנית דחיסת נתונים, רכוש ברור למבחן הוא שהדחיסה ולחץ תוך...