## NPTEL Software Testing Week 6 Assignment Answers 2024

1. Typically, how do logical constraints occur in pre-conditions and postconditions that specify assumptions on inputs to methods or describe the properties of the methods?

- The logical conditions can be any logical predicate.
- The logical conditions occur in conjunctive or disjunctive normal form.
- The logical conditions are a simple OR or AND combinations of two or more clauses.
- The logical conditions always describe what the methods should not process as inputs.

Answer :-For Answers Click Here

2. State true or false: It is desired that a logical predicate used in a decision statement be a tautology.

- True.
- False.

Answer :-For Answers Click Here

3. How do logical predicates occur in finite state machines?

- They occur as guards in the transitions of a finite state machine.
- They occur as predicates in the states of a finite state machine.
- They occur in the actions labeling the transitions of a finite state machine.
- They occur in the events of a finite state machine.

Answer :-For Answers Click Here

4. State true or false: The logical predicates occuring in the condition statements of a method are all simple propositional logic formulas.

- True.
- False

Answer :-

Consider the following code that has two conditional statements and the corresponding two logical predicates. Answer the following questions with reference to logical coverage criteria on this code.

```
import java.util.Scanner;
class Sum_Odd_Number
{
public static void main(String[] args)
{
Scanner input = new Scanner(System.in);
System.out.print("Enter The Number of Limit : ");
int l =input.nextInt();
int sum = 0;
for(int s=1;s<=l;s++)
{
if(s%2==1)
sum = sum + s;
}
System.out.println("Sum of Odd Numbers :"+sum);
}
}
```

5. Which of the options below best describe what the above program computes?

- It computes the sum of all the numbers up to the limit l.
- It computes the sum of all the even numbers up to the limit l.
- It computes the sum of all the odd numbers up to the limit l.
- It computes the number of odd numbers up to the limit l.

Answer :-

6. How many clauses are there in the above program, per predicate?

- There are two predicates, each having one clause.
- There are two clauses in the program, to be considered as a part of the second predicate.
- There are four clauses in the program, two per predicate.
- There are l different clauses in the program, one for each iteration of the loop.

Answer :-For Answers Click Here

7. What does predicate coverage test for the second clause in the above program?

- It tests for the number being odd or even.
- It tests for the number being within or outside the limit.

Answer :-

8. What does the test case for predicate coverage evaluating to true for the first predicate mean in the above program?

- The first predicate evaluating to true indicates repeated iterations of the for loop.
- The first predicate evaluating to true indicates exit from the for loop.

Answer :-

9. State true or false: Clause coverage and predicate coverage are the same for both the predicates in the above program?

- True.
- False.

Answer :-

10. In the ith iteration of the for loop, which of the following represents the actual predicate corresponding to the if statement?

- The predicate in the ith iteration is s%2 == 1.
- The predicate in the ith iteration is (1 + i)%2 == 1.
- The predicate in the ith iteration is i%2 == 1.
- The predicate in the ith iteration is 1%2 == 1.

Answer :-For Answers Click Here