（）是选择若干个测试用例，运行被测程序，使得程序中的每个可执行语句至少执行一次。

A、条件覆盖

B、组合覆盖

C、判定覆盖

D、语句覆盖