Description

5/5 - (2 votes)

Total: 40 points

Value 10 points

1. Develop software specifications for a simple e-shopping system using the formalism of finite state machines. Consider some selected functionality. Make appropriate assumptions.

Note: there could be a variety of possible solutions; there is nothing wrong about that. Your answer will be evaluated on a basis of its completeness and correctness (taking into consideration the assumptions you have made).

Value 10 points

2.Suggest a collection of test cases to test a procedure finding a maximum of three integer

numbers

maxofThreeNumbers(int n1, int n2, int n3)

Consider (i) exhaustive testing and (ii) error guessing.

3.(i) Suppose that an application has n inputs (variables) and each variable partitions its input space in m equivalence classes. Determine the number of equivalence classes. How many tests do you require. Could be the number of tests made lower? Do detailed calculations for n =10 and m =10.

(ii) a system invokes function S if the reading of a given sensor is within the [a, b] or [c, d], b