בדיקות תוכנה

זרימת בקרה

בניית גרפי זרימת בקרה מקוד המקור וניתוח קריטריוני כיסוי — כיסוי צמתים, קשתות, תנאים ומסלולים.

קוד מקור (JavaScript / Java)

כל פונקציה הופכת לגרף נפרד (רכיב קשירות אחד). קריאה לפונקציה שמוגדרת כאן היא קריאה מקומית — לחצו עליה כדי לקפוץ לגרף שלה; כל השאר הן קריאות חיצוניות.

סיבוכיות ציקלומטית (מודול)
4M = E − N + 2P = 13 − 13 + 2·2
P = 2 רכיבים (אחד לכל פונקציה). ה-M של המודול שווה לסכום הערכים של הפונקציות: Σ Mᵢ = 4.

סיבוכיות לפי פונקציה

צמתים (N)
13
קשתות (E)
13
רכיבים (P)
2
פונקציות
2
החלטות
2
קריאות
3

סוגי צמתים

התחלה / סיום
בלוק פקודות
החלטה (פרדיקט)
קריאה חיצונית
קריאה מקומית (לחצו למעבר)
קשתות החלטה מסומנות ב-T (אמת) / F (שקר). גררו צמתים כדי לסדר מחדש; גללו כדי לשנות זום.
TFTFisValidisValidסיוםסיוםuser == nulluser == nullreturn falsereturn falsereturn user.age >= 18return user.age >= 18registerregisterסיוםסיוםlet ok = isValid(user)let ok = isValid(user)okoksaveToDb(user)saveToDb(user)sendEmail(user)sendEmail(user)return "ok"return "ok"return "rejected"return "rejected"