High level (logical, abstract) test case
This test is the opposite of a low level (concrete) test case in that it is carried out without concrete data input and output on an operation level.
Frequently, logical tests use entire equivalence class in place of implementation-level data.