7CCSMASE Advanced Software Engineering

Tutorial 7

MSc Computing and Security

Question A
a) Generate a test suite with 100% state coverage

b->a->b->b->b

b) Generae a test suite with 100% transition coverage

TC1: b->M*->a->M*->b->a->b->b->M*->b->b->b
TC2: a

Question 2

q = b^2 - 4ac
q = 0

whenever:

b == 0 && (a == 0 || c == 0)

1/2^(64) && 2/2^(64)

1/2^(64) * 2/2^(64)

2/2^(128)

1/2^(127)