ניתוח מערכות קוייזמי תוכנה

לחץ כאן לכל השאלות

כחלק מדרישה יש לממש בפרדיקט את אי השוויון N * x +avg(ARR) - y > 0 כאשר N הוא קבוע כלשהו, ARR הוא מערך המכיל לפחות 10 מספרים חיוביים ו x,y הם משתנים. הפונקציה avg מומשה בתמונה. נגדיר את D1 להיות הדומיין הפתוח. איזו שגיאת דומיין יש בD1?

1
done
by
מיין לפי

* השאלה נוספה בתאריך: 23-02-2022