1. Answer the following questions for the method checkIt() below: public static

Question

1. Answer the following questions for the method checkIt() below:
public static void checkIt (boolean a, boolean b, boolean c)
{
if (a && (b || c))
{
System.out.println ("P is true");
}
else
{
System.out.println ("P isn’t true");
}
}
1)Transform checkIt() to checkItExpand(), a method where each if statement
tests exactly one boolean variable. Instrument checkItExpand()
to record which edges are traversed. (“print” statements are fine for
this.)
2)Derive a GACC test set T1 for checkIt(). Derive an edge coverage test set
T2 for checkItExpand(). Build T2 so that it does not satisfy GACC on the
predicate in checkIt().
3)Run both T1 and T2 on both checkIt() and checkItExpand().

Explanation / Answer

Output of the program:
true true true
checkIt(): 1: P is true
checkItExpand(): 1: P is true
true true false
checkIt(): 1: P is true
checkItExpand(): 1: P is true
true false true
checkIt(): 1: P is true
checkItExpand(): 2: P is true
true false false
checkIt(): 3: P isn’t true
checkItExpand(): 3: P isn’t true
false true true
checkIt(): 3: P isn’t true
checkItExpand(): 4: P isn’t true
false true false
checkIt(): 3: P isn’t true
checkItExpand(): 4: P isn’t true
false false true
checkIt(): 3: P isn’t true
checkItExpand(): 4: P isn’t true
false false false
checkIt(): 3: P isn’t true
checkItExpand(): 4: P isn’t true

Related Questions

Navigate

• Browse (All)
• Browse 1
• Subjects

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.