A test case without concrete (implementation level) values for input data and expected results. Logical operators are used: instances of the actual values are not yet defined and/or available.

See Also: low-level test case
Synonyms: logical test case, abstract test case