How to write test case for a clock divider

[benkyouGH]

I have a clock divider below that is multiplexed using A and B to choose the frequency. How do I go about writing a test case for this?

I have the following table:

A	B	F
0	0	Divide by 2
0	1	Divide by 4
1	0	Divide by 8
1	1	Divide by 16