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 pa , 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
