Chapter 6: Specification and Abstraction - Online Test
Q1. Stating the input property and the as :-output relation a problem is known
Answer : Option A
Explaination / Solution:
No Explaination.
Q2. Ensuring the input-output relation is
Answer : Option D
Explaination / Solution:
No Explaination.
Q3. If i = 5 before the assignment i := i-1 after the assignment, the value of i is
Answer : Option B
Explaination / Solution:
No Explaination.
Q4. If 0 < i before the assignment i := i-1 after the assignment, we can conclude that
Answer : Option B
Explaination / Solution:
No Explaination.
