אימות תוכנה
אימות תוכנה בודק שהמחשב עושה בדיוק את מה שאומרים לו. בדיקה רגילה בוחרת דוגמאות ובודקת אותן. זה טוב אבל לא בודק כל מצב. אימות מנסה להראות שזו עובדה נכונה בכל המקרים. שיטה אחת בונה "מודל" פשוט של התוכנית. מודל מתמטי הוא תיאור מתמטי של המערכת. המודל צריך להיות סופי, כלומר עם מספר מצבים שניתן לספור. ...
בעיית התפוצצות מצבים
התפוצצות קומבינטורית היא כשמשהו גדל מאוד מהר. קומבינטורית קשורה לספירה ולסידור של דברים. דוגמאות קצרות: פונקציית העצרת. העצרת מחשבת את המכפלה של כל המספרים מ‑1 ועד מספר נתון. יש גם פונקציית אקרמן. בתוכנה יש 'התפוצצות מצבים'. זה כשיש המון דרכים שהתוכנה יכולה לפעול בהן. גם תוספת קטנה של קלט יכולה לי...
הבטחת איכות תוכנה
הבטחת איכות תוכנה (SQA) היא סדרה של צעדים שעוזרת לגרום לתוכנה לעבוד טוב ובטוח. תוכנה - תוכנית שרצה על מחשב. לפני כן היו מקרים שבהם תוכנות פגומות פגעו באנשים. לכן חברות מוודאות את האיכות. בקרת איכות בודקת אם התוכנה עומדת בדרישות. דרישות - מה שהתוכנה אמורה לעשות. הבטחת איכות היא כל הפעולות שעושות את ...