high level test case