Quiz Space

Software Testing · End Term · 10 May 2026 · January 2026 term

Question 12: Consider the following code segment for symbolic executi…

Question 12

+5 marksOne correct option

Consider the following code segment for symbolic execution.

Assume that and represent the symbolic values for the variables and in the method . Which of the following path constraints would reach the call at ?

Consider the following code segment for symbolic execution.
  1. A

    —

  2. B

    —

  3. C

    —

  4. D

    —

Show answer

Correct answer

  • C

    —

See the whole paperTake it as a mock test

Question 12 of 23 in the IIT Madras BS Software Testing (Software Testing) End Term paper sat on 10 May 2026, in the January 2026 term (Sw Testing 06 May 26). It carries 5 marks.

More questions from this paper

  1. Q1A software application allows users to create accounts, log in, transfer funds between accounts, and generate transacti…
  2. Q2Which of the following options best describes the main objective of integration testing?
  3. Q3Consider a context free grammar over a finite alphabet . The following are the production rules for : Let be the starti…
  4. Q4Polymorphism factor belongs to which of the following categories of software metrics?
  5. Q5Which type of client-side testing executes test cases that replay user interactions with the web application?
  6. Q6The following table lists some access modifiers in object oriented programming. Match each visibility scope with the ap…
  7. Q7A user is on the Search Results page of a travel website. They decide they want to start over, so they click the browse…
  8. Q8Consider the following code segment. A mutant needs to be created by removing the declaration of in . Which of the foll…
  9. Q9Consider ISP with four blocks as , , , and . How many tests are needed to satisfy All Combinations Coverage (ACoC) crit…
  10. Q10Consider the following Java program. Which of the following types of anomalies or faults are present in the given scena…
  11. Q11Consider the following Java program. Which of the following sets of methods will be invoked in the given program?
  12. Q13Consider the following code statement (ground string) and a mutant: Which of the following types of mutation operators …
  13. Q14Consider the following code segment of a Java servlet. The atomic sections are marked as . Identify the component expre…
  14. Q15Consider the following data flow graph. Given a set of test paths , which of the following coverage criteria is satisfi…
  15. Q16Consider the following finite state machine (FSM). Which of the following are correct regarding the given FSM?
  16. Q17Consider a Test-Driven Development (TDD) approach for a retail management system. A specific user story requires that a…
  17. Q18Which of the following is the set of RACC pairs for clause ?
  18. Q19Which of the following is the set of RICC pairs for clause ?
  19. Q20What is the cyclomatic complexity of ?
  20. Q21How many test requirements are there for edge-pair coverage on ?
  21. Q22Based on the above data, answer the given subquestions.
  22. Q23Consider the control flow graph (CFG), , where • Set of vertices • Set of edges • Initial vertex • Final vertex Based o…