Quiz Space

Software Testing · Quiz 2 · 12 Apr 2026 · January 2026 term

Question 19: Consider that concolic testing technique (DART) is used …

Question 19

+5 marksOne correct option

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 concolic testing technique (DART) is used to test the following code segment.

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.

  1. A

    —

  2. B

    —

  3. C

    —

  4. D

    —

Show answer

Correct answer

  • B

    —

See the whole paperTake it as a mock test

Question 19 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

  1. Q1Edge-pair coverage is not subsumed by prime path coverage due to which of the following reasons?
  2. Q2Consider four partitions with blocks , , , and . If the base choice is . What is the total number of tests required to …
  3. Q3Consider the predicate . Which of the following options represents , i.e. the conditions under which clause determines ?
  4. Q4A university is designing an online course management system for students and faculty. One requirement of the system is…
  5. Q5Consider a program that calculates a fixed shipping cost for online orders based on package weight (in kilograms) using…
  6. Q6Cyclomatic complexity represents the number of _ in the control flow graph of a program.
  7. Q7Consider the following range for a thermostat's allowable temperature setting (in degrees Celsius). Which of the follow…
  8. Q8Consider the following code segment for symbolic testing. Choose the appropriate path constraint (PC) for the loop with…
  9. Q9Consider the predicate . Which of the following options are true?
  10. Q10Considering the row numbers (#) given in the truth table, which of the following is a CACC pair for clause ?
  11. Q11Considering the row numbers (#) given in the truth table, which of the following is a RICC pair for clause ?
  12. Q12What is the cyclomatic complexity of ?
  13. Q13How many test requirements are there for edge-pair coverage on ?
  14. Q14What is the minimum number of test paths needed to acheive edge coverage on .
  15. Q15Consider the following data flow graph and answer the subsequent questions. How many test requirements are there to sat…
  16. Q16Consider the following data flow graph and answer the subsequent questions. How many test requirements are there to sat…
  17. Q17Consider the following data flow graph and answer the subsequent questions. How many test requirements are there to sat…
  18. Q18Consider that concolic testing technique (DART) is used to test the following code segment. Assume that , , and respres…
  19. Q20Consider that concolic testing technique (DART) is used to test the following code segment. Assume that , , and respres…
  20. Q21Based on the above data, answer the given subquestions.
  21. Q22Consider the control flow graph (CFG), , where • Set of vertices • Set of edges • Initial vertex • Final vertex Based o…
  22. Q23Consider the following data flow graph and answer the subsequent questions.
  23. Q24Consider that concolic testing technique (DART) is used to test the following code segment. Assume that , , and respres…