cs3002_2026T1_Q2_NA.pdf
Software Testing · Quiz 2 · Jan 2026
← Course papers · Start practice / exam
Questions and published explanations below are available without starting a test. Some questions may not have a published solution yet.
Question 2 MCQ · 5.0 marks
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.
A published solution is not available for this question yet.
Question 3 MCQ · 5.0 marks
Consider four partitions with blocks [[IMAGE:435158e22d164c24_2_2]] , [[IMAGE:435158e22d164c24_2_3]] , [[IMAGE:435158e22d164c24_2_4]] , and [[IMAGE:435158e22d164c24_2_5]] . If
the base choice is [[IMAGE:435158e22d164c24_2_6]] . What is the total number of tests required to satisfy Base
Choice Coverage (BCC) criterion?





10
11
12
14
A published solution is not available for this question yet.
Question 4 MCQ · 5.0 marks
Consider the predicate [[IMAGE:435158e22d164c24_3_7]] . Which of the following options represents [[IMAGE:435158e22d164c24_3_8]] , i.e. the
conditions under which clause [[IMAGE:435158e22d164c24_3_9]] determines [[IMAGE:435158e22d164c24_3_10]] ?




[[IMAGE:435158e22d164c24_3_11]]

[[IMAGE:435158e22d164c24_3_12]]

[[IMAGE:435158e22d164c24_3_13]]

[[IMAGE:435158e22d164c24_3_14]]

A published solution is not available for this question yet.
Question 5 MCQ · 5.0 marks
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
A published solution is not available for this question yet.
Question 6 MCQ · 5.0 marks
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
A published solution is not available for this question yet.
Question 7 MCQ · 5.0 marks
Cyclomatic complexity represents the number of _____________ in the control flow graph of a
program.
prime paths
loops
test paths
linearly independent paths
A published solution is not available for this question yet.
Question 8 MCQ · 5.0 marks
Consider the following range for a thermostat's allowable temperature setting (in degrees
Celsius).
[[IMAGE:435158e22d164c24_4_15]]
Which of the following test input sets would satisfy maximal Boundary Value Analysis (BVA) for the
given partition?

[[IMAGE:435158e22d164c24_4_16]]

[[IMAGE:435158e22d164c24_4_17]]

[[IMAGE:435158e22d164c24_4_18]]

[[IMAGE:435158e22d164c24_4_19]]

A published solution is not available for this question yet.
Question 9 MCQ · 5.0 marks
Consider the following code segment for symbolic testing.
[[IMAGE:435158e22d164c24_5_20]]
Choose the appropriate path constraint (PC) for the [[IMAGE:435158e22d164c24_5_21]] loop with a sequence of [[IMAGE:435158e22d164c24_5_22]] [[IMAGE:435158e22d164c24_5_23]]
outcomes followed by a [[IMAGE:435158e22d164c24_5_24]] . Consider each [[IMAGE:435158e22d164c24_5_25]] as a fresh symbolic value.






[[IMAGE:435158e22d164c24_5_26]]

[[IMAGE:435158e22d164c24_5_27]]

[[IMAGE:435158e22d164c24_5_28]]

[[IMAGE:435158e22d164c24_5_29]]

A published solution is not available for this question yet.
Question 10 MSQ · 5.0 marks
Consider the predicate [[IMAGE:435158e22d164c24_5_30]] . Which of the following options
are true?

The predicate is in DNF.
The predicate is in CNF.
There are [[IMAGE:435158e22d164c24_6_31]] possible valuations for this predicate

There are [[IMAGE:435158e22d164c24_6_32]] possible valuations for this predicate

A published solution is not available for this question yet.
Question 11 MCQ · 5.0 marks
[[IMAGE:435158e22d164c24_6_33]]
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 [[IMAGE:435158e22d164c24_6_34]] ?


(3,7)
(3,8)
(3,6)
(2,5)
A published solution is not available for this question yet.
Question 12 MCQ · 5.0 marks
[[IMAGE:435158e22d164c24_6_33]]
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 [[IMAGE:435158e22d164c24_7_35]] ?


(2, 4) for [[IMAGE:435158e22d164c24_7_36]] , no feasible pair for [[IMAGE:435158e22d164c24_7_37]]


(3, 4) for [[IMAGE:435158e22d164c24_7_38]] , no feasible pair for [[IMAGE:435158e22d164c24_7_39]]


(1, 3) for [[IMAGE:435158e22d164c24_7_40]] , no feasible pair for [[IMAGE:435158e22d164c24_7_41]]


(1, 4) for [[IMAGE:435158e22d164c24_7_42]] , no feasible pair for [[IMAGE:435158e22d164c24_7_43]]


A published solution is not available for this question yet.
Question 13 MCQ · 5.0 marks
Consider the control flow graph (CFG), [[IMAGE:435158e22d164c24_7_44]] , where
• Set of vertices [[IMAGE:435158e22d164c24_7_45]]
• Set of edges [[IMAGE:435158e22d164c24_7_46]]
• Initial vertex [[IMAGE:435158e22d164c24_7_47]]
• Final vertex [[IMAGE:435158e22d164c24_7_48]]
Based on the above data, answer the given subquestions.
What is the cyclomatic complexity of [[IMAGE:435158e22d164c24_7_49]] ?






5
6
3
4
A published solution is not available for this question yet.
Question 14 MCQ · 5.0 marks
Consider the control flow graph (CFG), [[IMAGE:435158e22d164c24_7_44]] , where
• Set of vertices [[IMAGE:435158e22d164c24_7_45]]
• Set of edges [[IMAGE:435158e22d164c24_7_46]]
• Initial vertex [[IMAGE:435158e22d164c24_7_47]]
• Final vertex [[IMAGE:435158e22d164c24_7_48]]
Based on the above data, answer the given subquestions.
How many test requirements are there for edge-pair coverage on [[IMAGE:435158e22d164c24_8_50]] ?






8
7
9
10
A published solution is not available for this question yet.
Question 15 MCQ · 5.0 marks
Consider the control flow graph (CFG), [[IMAGE:435158e22d164c24_7_44]] , where
• Set of vertices [[IMAGE:435158e22d164c24_7_45]]
• Set of edges [[IMAGE:435158e22d164c24_7_46]]
• Initial vertex [[IMAGE:435158e22d164c24_7_47]]
• Final vertex [[IMAGE:435158e22d164c24_7_48]]
Based on the above data, answer the given subquestions.
What is the minimum number of test paths needed to acheive edge coverage on [[IMAGE:435158e22d164c24_8_51]] .






3
2
1
4
A published solution is not available for this question yet.
Question 16 MCQ · 5.0 marks
Consider the following data flow graph and answer the subsequent questions.
[[IMAGE:435158e22d164c24_9_52]]
How many test requirements are there to satisfy All-Defs Coverage for variable [[IMAGE:435158e22d164c24_9_53]] ?


1
2
3
4
A published solution is not available for this question yet.
Question 17 MCQ · 5.0 marks
Consider the following data flow graph and answer the subsequent questions.
[[IMAGE:435158e22d164c24_9_52]]
How many test requirements are there to satisfy All-Uses Coverage for variable [[IMAGE:435158e22d164c24_9_54]] ?


5
4
3
2
A published solution is not available for this question yet.
Question 18 MCQ · 5.0 marks
Consider the following data flow graph and answer the subsequent questions.
[[IMAGE:435158e22d164c24_9_52]]
How many test requirements are there to satisfy All DU-Paths Coverage for variable [[IMAGE:435158e22d164c24_9_55]] ?


5
4
3
2
A published solution is not available for this question yet.
Question 19 MCQ · 5.0 marks
Consider that concolic testing technique (DART) is used to test the following code segment.
[[IMAGE:435158e22d164c24_10_56]]
Assume that [[IMAGE:435158e22d164c24_10_57]] , [[IMAGE:435158e22d164c24_10_58]] , and [[IMAGE:435158e22d164c24_10_59]] respresent the symbolic values for the variables [[IMAGE:435158e22d164c24_10_60]] , [[IMAGE:435158e22d164c24_10_61]] , and [[IMAGE:435158e22d164c24_10_62]]
respectively, in the method [[IMAGE:435158e22d164c24_10_63]] . Answer the subsequent questions.
[[IMAGE:435158e22d164c24_10_64]]









[[IMAGE:435158e22d164c24_10_65]]

[[IMAGE:435158e22d164c24_11_66]]

[[IMAGE:435158e22d164c24_11_67]]

[[IMAGE:435158e22d164c24_11_68]]

A published solution is not available for this question yet.
Question 20 MCQ · 5.0 marks
Consider that concolic testing technique (DART) is used to test the following code segment.
[[IMAGE:435158e22d164c24_10_56]]
Assume that [[IMAGE:435158e22d164c24_10_57]] , [[IMAGE:435158e22d164c24_10_58]] , and [[IMAGE:435158e22d164c24_10_59]] respresent the symbolic values for the variables [[IMAGE:435158e22d164c24_10_60]] , [[IMAGE:435158e22d164c24_10_61]] , and [[IMAGE:435158e22d164c24_10_62]]
respectively, in the method [[IMAGE:435158e22d164c24_10_63]] . Answer the subsequent questions.
Consider that DART generates a random input: [[IMAGE:435158e22d164c24_11_69]] .
Which path constraint (PC) is generated for the next execution at [[IMAGE:435158e22d164c24_11_70]] ?
Hint: DART negates the path constraint in the current execution to get the path constraint for the next
execution.










[[IMAGE:435158e22d164c24_11_71]]

[[IMAGE:435158e22d164c24_11_72]]

[[IMAGE:435158e22d164c24_11_73]]

[[IMAGE:435158e22d164c24_11_74]]

A published solution is not available for this question yet.
Question 21 MCQ · 5.0 marks
Consider that concolic testing technique (DART) is used to test the following code segment.
[[IMAGE:435158e22d164c24_10_56]]
Assume that [[IMAGE:435158e22d164c24_10_57]] , [[IMAGE:435158e22d164c24_10_58]] , and [[IMAGE:435158e22d164c24_10_59]] respresent the symbolic values for the variables [[IMAGE:435158e22d164c24_10_60]] , [[IMAGE:435158e22d164c24_10_61]] , and [[IMAGE:435158e22d164c24_10_62]]
respectively, in the method [[IMAGE:435158e22d164c24_10_63]] . Answer the subsequent questions.
Which of the following sets of concrete test inputs execute all instances of symbolic execution for
the method [[IMAGE:435158e22d164c24_11_75]] ?









{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}
A published solution is not available for this question yet.