Question 9
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
Question 9: Consider the predicate . Which of the following options a…
Show answer
Correct answers
The predicate is in DNF.
There are possible valuations for this predicate
Question 9 of 24 in the IIT Madras BS Software Testing (Software Testing) Quiz 2 paper sat on 12 Apr 2026, in the January 2026 term (Sw Testing 07 Apr 26). It carries 5 marks.
More questions from this paper
- Edge-pair coverage is not subsumed by prime path coverage due to which of the following reasons?
- Consider four partitions with blocks , , , and . If the base choice is . What is the total number of tests required to …
- Consider the predicate . Which of the following options represents , i.e. the conditions under which clause determines ?
- A university is designing an online course management system for students and faculty. One requirement of the system is…
- Consider a program that calculates a fixed shipping cost for online orders based on package weight (in kilograms) using…
- Cyclomatic complexity represents the number of _ in the control flow graph of a program.
- Consider the following range for a thermostat's allowable temperature setting (in degrees Celsius). Which of the follow…
- Consider the following code segment for symbolic testing. Choose the appropriate path constraint (PC) for the loop with…
- Considering the row numbers (#) given in the truth table, which of the following is a CACC pair for clause ?
- Considering the row numbers (#) given in the truth table, which of the following is a RICC pair for clause ?
- What is the cyclomatic complexity of ?
- How many test requirements are there for edge-pair coverage on ?
- What is the minimum number of test paths needed to acheive edge coverage on .
- Consider the following data flow graph and answer the subsequent questions. How many test requirements are there to sat…
- Consider the following data flow graph and answer the subsequent questions. How many test requirements are there to sat…
- Consider the following data flow graph and answer the subsequent questions. How many test requirements are there to sat…
- Consider that concolic testing technique (DART) is used to test the following code segment. Assume that , , and respres…
- Consider that concolic testing technique (DART) is used to test the following code segment. Assume that , , and respres…
- Consider that concolic testing technique (DART) is used to test the following code segment. Assume that , , and respres…
- Based on the above data, answer the given subquestions.
- Consider the control flow graph (CFG), , where • Set of vertices • Set of edges • Initial vertex • Final vertex Based o…
- Consider the following data flow graph and answer the subsequent questions.
- Consider that concolic testing technique (DART) is used to test the following code segment. Assume that , , and respres…