is a program used to thoroughly test another program $($or portion of a program$)$ through a series of input$/$output checks.

$$ test

$$ testcase

$$ unit

$$ testbench