שאלה | עבור הCFG הנתון בשאלה, אילו מהטענות הבאות נכונה:

עבור הCFG הנתון בשאלה, אילו מהטענות הבאות נכונה:

		הקלט (a=1,b=5) מספיק עבור predicate coverage מלא.
		קיים מסלול פיזיבילי יחיד אשר נותן branch coverage מלא.
		הקלטים (a=1,b=1) ו-(a=2,b=4) מספיקים עבור statement coverage מלא.
		הקלטים (a=1,b=1) ו-(a=1,b=3) מספיקים עבור branch coverage מלא.
		אף תשובה אינה נכונה.