## NPTEL Software Testing Week 5 Assignment Answers 2024

1. For a given propositional logic formula, if all possible assignments of true/false values to the atomic propositions make the formula evaluate to true, what is the formula called?

- The formula is a tautology.
- The formula is a satisfiable formula.
- The formula is a contradiction.
- The formula is invalid.

Answer :-For Answers Click Here

2. Consider the propositional logic formula φ=p∨q∨r. Which of the following true or false assignments to p,q and r. make the formula φ evaluate to false? In the options below T represents True and F represents False.

- p=F,q=T,r=F.
- p=T,q=F,r=F.
- p=F,q=T,r=T.
- p=F,q=F,r=F.

Answer :-For Answers Click Here

3. Which logic coverage criterion tests for all possible assignments of true/false values but can get infeasible due to there being a large number of assignments?

- Clause coverage.
- General active clause coverage.
- Correlated active clause coverage.
- All combinations coverage.

Answer :-For Answers Click Here

4. Which of the following is a correct order of subsumption amongst logic coverage criteria? In the options below, read → as ‘subsumes’.

- Combinatorial coverage → General inactive clause coverage → Restricted inactive clause coverage.
- Combinatorial coverage → General active clause coverage → Restricted inactive clause coverage.
- Combinatorial coverage → Correlated active clause coverage → Predicate coverage.
- Combinatorial coverage → General active clause coverage → Correlated active clause coverage.

Answer :-

5. Consider a predicate p and a clause a in p . When evaluating p_{a} , the conditions under which clause a

determines p , if we get a value False, what does this indicate?

- pa evaluating to False indicates that is not possible for clause a to determine p.
- pa evaluating to False indicates that clause a always determines p , irrespective of the truth values of the other clauses.

Answer :-

For the next five questions, consider a simple predicate p¨=a˙∧b, with two clauses a˙ and b. Answer the following questions with reference to the logic coverage criteria for the predicate p. The truth table for p¨

is the table for the ∧ (AND) connective and is not given here. Please write the truth table and compute the true or false values for p¨,p¨a and p¨b, for true/false combinations for the clauses a˙ and b.

6. What is pa, the conditions under which clause a determines p?

- pa=a.
- pa=b.
- pa = True.
- pa = False.

Answer :-For Answers Click Here

7. What is pb, the conditions under which clause b determines p?

- pb = a.
- pb = b
- pb = True.
- pb = False.

Answer :-

8. State yes or no: CACC pairs for the clauses a and b are the same as GACC pairs.

- Yes.
- No.

Answer :-

9. State yes or no: RACC pairs for the clauses a and b are the same as CACC pairs.

- Yes.
- No.

Answer :-

10. State yes or no: RICC tuples for the clauses a and b are not the same as CACC tuples.

- Yes.
- No.

Answer :-For Answers Click Here