Software Testing Quiz 2: 16 August 2026 (May 2026 term)

1. A

   Both statements are incorrect.

2. B

   Statement (ii) is correct and statement (i) is incorrect.

3. C

   Statement (i) is correct and statement (ii) is incorrect.

4. D

   Both statements are correct.

1. A

2. B

3. C

4. D

1. A

   Business requirement

2. B

   Functional requirement

3. C

   Regulatory requirement

4. D

   Non-functional requirement

1. A

2. B

3. C

4. D

1. A

   (A figure from the original paper is missing from the source site.)

2. B

3. C

   (A figure from the original paper is missing from the source site.)

4. D

   (A figure from the original paper is missing from the source site.)

1. A

   32

2. B

   24

3. C

   40

4. D

   16

1. A

   6

2. B

   8

3. C

   9

4. D

   7

Select all that apply.

1. A

   Each symbolic execution is equivalent to a large number of normal test cases.

2. B

   Symbolic execution is equivalent to proving that a program is fully correct.

3. C

   Symbolic execution can also be terminated if the program hits an exit statement.

4. D

   SMT solvers can always solve a given predicate constraint efficiently.

Select all that apply.

1. A

   The predicate is in CNF.

2. B

   The predicate has three clauses

3. C

   The predicate is in DNF.

4. D

   The predicate has four clauses

1. A

   2

2. B

   3

3. C

   4

4. D

   5

1. A

   3

2. B

   4

3. C

   5

4. D

   6

1. A

   1

2. B

   2

3. C

   3

4. D

   4

1. A

2. B

3. C

4. D

1. A

2. B

3. C

4. D

1. A

2. B

3. C

4. D

1. A

2. B

3. C

4. D

1. A

2. B

3. C

4. D

1. A

2. B

3. C

4. D

1. A

2. B

3. C

4. D