Designing tests based on objectives derived from the implementation (e.g., tests that execute specific control flow paths or use specific data items).