Abstract test case

See high level test case.