add the abstraction of test cases