Testcases for the TAF test framework