The IIT Madras BS Software Testing (Software Testing) Quiz 2 paper sat on 12 Apr 2026, in the January 2026 term: 24 questions for 104 marks in 120 minutes. Every question is below with its answer. Take it as a timed mock test to be marked, or read it through first.
Edge-pair coverage is not subsumed by prime path coverage due to which of the following reasons?
Because prime path coverage does not subsume edge coverage.
Because all edge-pairs are simple paths.
Because edge-pair coverage requires self-loops to be visited.
Edge-pair coverage is subsumed by prime path coverage.
Correct answer
Because edge-pair coverage requires self-loops to be visited.
Consider four partitions with blocks , , , and . If the base choice is . What is the total number of tests required to satisfy Base Choice Coverage (BCC) criterion?
10
11
12
14
Correct answer
11
Consider the predicate . Which of the following options represents , i.e. the conditions under which clause determines ?
—
—
—
—
Correct answer
—
A university is designing an online course management system for students and faculty. One requirement of the system is that instructors must be able to create and manage course content, including assignments and quizzes. What type of requirement does this represent?
Functional requirement
Non-functional requirement
Regulatory requirement
Business requirement
Correct answer
Functional requirement
Consider a program that calculates a fixed shipping cost for online orders based on package weight (in kilograms) using these rules: • If weight is between 0.5 to 1.4 kg, shipping cost is Rs. 5.00. • If weight is between 1.5 to 4.9 kg, shipping cost is Rs. 10.00. • If weight is between 5.0 to 9.9 kg, shipping cost is Rs. 20.00. • If weight is 10.0 kg or above, shipping cost is Rs. 50.00. Assume weight is measured and recorded rounded to one decimal place. How many equivalence class partitions can be identified for this input domain?
3
4
5
6
Correct answer
5
Cyclomatic complexity represents the number of _____________ in the control flow graph of a program.
prime paths
loops
test paths
linearly independent paths
Correct answer
linearly independent paths
Consider the following range for a thermostat's allowable temperature setting (in degrees Celsius). Which of the following test input sets would satisfy maximal Boundary Value Analysis (BVA) for the given partition?
—
—
—
—
Correct answer
—
Consider the following code segment for symbolic testing.
Choose the appropriate path constraint (PC) for the loop with a sequence of outcomes followed by a . Consider each as a fresh symbolic value.
Correct answer
Consider the predicate . Which of the following options are true?
The predicate is in DNF.
The predicate is in CNF.
There are possible valuations for this predicate
There are possible valuations for this predicate
Correct answers
The predicate is in DNF.
There are possible valuations for this predicate
Based on the above data, answer the given subquestions.
Considering the row numbers (#) given in the truth table, which of the following is a CACC pair for clause ?
(3,7)
(3,8)
(3,6)
(2,5)
Correct answer
(3,7)
Based on the above data, answer the given subquestions.
Considering the row numbers (#) given in the truth table, which of the following is a RICC pair for clause ?
(2, 4) for , no feasible pair for
(3, 4) for , no feasible pair for
(1, 3) for , no feasible pair for
(1, 4) for , no feasible pair for
Correct answer
(3, 4) for , no feasible pair for
Consider the control flow graph (CFG), , where • Set of vertices • Set of edges • Initial vertex • Final vertex Based on the above data, answer the given subquestions.
What is the cyclomatic complexity of ?
5
6
3
4
Correct answer
3
Consider the control flow graph (CFG), , where • Set of vertices • Set of edges • Initial vertex • Final vertex Based on the above data, answer the given subquestions.
How many test requirements are there for edge-pair coverage on ?
8
7
9
10
Correct answer
7
Consider the control flow graph (CFG), , where • Set of vertices • Set of edges • Initial vertex • Final vertex Based on the above data, answer the given subquestions.
What is the minimum number of test paths needed to acheive edge coverage on .
3
2
1
4
Correct answer
2
Consider the following data flow graph and answer the subsequent questions.
How many test requirements are there to satisfy All-Defs Coverage for variable ?
1
2
3
4
Correct answer
2
Consider the following data flow graph and answer the subsequent questions.
How many test requirements are there to satisfy All-Uses Coverage for variable ?
5
4
3
2
Correct answer
3
Consider the following data flow graph and answer the subsequent questions.
How many test requirements are there to satisfy All DU-Paths Coverage for variable ?
5
4
3
2
Correct answer
4
Consider that concolic testing technique (DART) is used to test the following code segment.
Assume that , , and respresent the symbolic values for the variables , , and respectively, in the method . Answer the subsequent questions.
—
—
—
—
Correct answer
—
Consider that concolic testing technique (DART) is used to test the following code segment.
Assume that , , and respresent the symbolic values for the variables , , and respectively, in the method . Answer the subsequent questions.
Consider that DART generates a random input: . Which path constraint (PC) is generated for the next execution at ? Hint: DART negates the path constraint in the current execution to get the path constraint for the next execution.
—
—
—
—
Correct answer
—
Consider that concolic testing technique (DART) is used to test the following code segment.
Assume that , , and respresent the symbolic values for the variables , , and respectively, in the method . Answer the subsequent questions.
Which of the following sets of concrete test inputs execute all instances of symbolic execution for the method ?
{x = 5, y = 2, z = 3}, {x = 4, y = 8, z = 2}
{x = 5, y = 2, z = 3}, {x = 4, y = 8, z = 2}, {x = 5, y = 8, z = 10}
{x = 5, y = 3, z = 5}, {x = 4, y = 8, z = 2}, {x = 5, y = 8, z = 10}
{x = 5, y = 2, z = 3}, {x = 4, y = 8, z = 2}, {x = 5, y = 8, z = 4}
Correct answer
{x = 5, y = 2, z = 3}, {x = 4, y = 8, z = 2}, {x = 5, y = 8, z = 10}
Based on the above data, answer the given subquestions.
A written answer, not marked automatically.
Consider the control flow graph (CFG), , where • Set of vertices • Set of edges • Initial vertex • Final vertex Based on the above data, answer the given subquestions.
A written answer, not marked automatically.
Consider the following data flow graph and answer the subsequent questions.
A written answer, not marked automatically.
Consider that concolic testing technique (DART) is used to test the following code segment.
Assume that , , and respresent the symbolic values for the variables , , and respectively, in the method . Answer the subsequent questions.
A written answer, not marked automatically.
