Question 1
Identify the predicate(s) which are tautology.
The IIT Madras BS Software Testing (Software Testing) Quiz 2 paper sat on 6 Aug 2023, in the May 2023 term: 19 questions for 100 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.
Identify the predicate(s) which are tautology.
Correct answers
Correct answers
Based on the above data, answer the given subquestions.
Identify all pairs of rows from your table that satisfy Correlated Active Clause Coverage (CACC) with respect to clause a.
{1, 2, 3, 4} x {5, 6, 7, 8}
{1, 2, 4} x {5, 6, 8}
{1, 2, 4} x {5, 7, 8}
(1, 5), (2, 6), (4, 8)
Correct answer
{1, 2, 4} x {5, 6, 8}
Based on the above data, answer the given subquestions.
Identify all pairs of rows from your table that satisfy Restricted Active Clause Coverage (RACC) with respect to clause a.
{1, 2, 3, 4} × {5, 6, 7, 8}
{1, 2, 4} × {5, 6, 8}
{1, 2, 4} × {5, 7, 8}
(1, 5), (2, 6), (4, 8)
Correct answer
(1, 5), (2, 6), (4, 8)
Based on the above data, answer the given subquestions.
Identify all pairs of rows from your table that satisfy Restricted Inactive Clause Coverage (RICC) with respect to clause a.
(3, 7) for p = false, no feasible pair for p = true
(3, 7) for p = true, no feasible pair for p = false
(1, 5), (3, 7), (4, 8)
(1, 5), (2, 6), (4, 8)
Correct answer
(3, 7) for p = true, no feasible pair for p = false
Correct answer
At LINE-1 two instances of symbolic execution are created. Identify the path constraints applicable to those.
Correct answer
Suppose that DART technique is applied for testing the code. Identify the path constraint that represents an equivalence class of input vectors containing all input values that leads to the abort statement at LINE-2.
Correct answer
From among the following identify the set of concrete test inputs that all the instances of symbolic execution.
{x = 1, y = 1}, {x = 10, y = 5}, {x = 5, y = 10}
{x = 10, y = 10}, {x = -5, y = 10}
{x = 10, y = -5}, {x = -5, y = 10}
{x = 10, y = 10}, {x = 3, y = 5}, {x = 5, y = 10}
Correct answer
{x = 1, y = 1}, {x = 10, y = 5}, {x = 5, y = 10}
A software organization wants to develop a file sharing platform for its customers. As a part of requirement gathering process, the developers team explore the requirements pertaining to the data privacy, security, accessibility, or other legal compliance. What kind of requirements these are?
Functional requirements
User requirements
Regulatory requirements
Non-functional requirements
Correct answer
Regulatory requirements
In which kind of functional testing multiple test inputs are selected by considering different combinations of equivalence classes?
Equivalence class partitioning
Boundary value analysis
Decision tables
Random testing
Correct answer
Decision tables
Based on the above data, answer the given subquestions.
What is the minimum number of tests required to satisfy each choice coverage (ECC) criterion?
4
3
9
36
Correct answer
4
Based on the above data, answer the given subquestions.
What is the minimum number of tests required (considering same test case to cover more than one unique pair of values) to satisfy each pair-wise coverage (PWC) criterion?
4
8
15
36
Correct answer
15
Based on the above data, answer the given subquestions.
Suppose the base choice test is (annualIncome = 2LK, age = 20, gender = ’MALE’). What is the minimum number of tests required (including the base choice test case) to satisfy each base choice coverage (BCC) criterion?
4
8
15
36
Correct answer
8
3
5
4
2
Correct answer
5
Which of the graph coverage criteria is applicable to FSM (Finite State Machine) to execute every state?
Node coverage
Edge coverage
Edge pair coverage
Data flow coverage
Correct answer
Node coverage
Find the cyclomatic complexity of the function fact.
2
3
4
5
Correct answer
3
Find the number of test requirements for prime path coverage.
6
7
8
9
Correct answer
6
[1, 4]
[1, 4, 2, 1]
[1, 4, 2, 1, 4]
[1, 2, 3, 4, 2, 4]
Correct answers
[1, 4]
[1, 4, 2, 1, 4]