7CCSMASE Advanced Software Engineering
Tutorial 7
MSc Computing and Security
1 min read
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)