在软件测试中，白箱法通过分析程序的( )来设计测试。

D
解析：在软件测试中，白箱法通过分析程序的内部逻辑来设计测试。相关知识点：  白箱测试包括以下内容。  语句测试要求程序中每个语句至少检查一次；  分支测试要求程序中每个分支路径至少检查一次；  路径测试要求程序中每条路径至少检查一次。  白箱测试考虑的测试实例针对程序内部逻辑的覆盖程度。覆盖程度从低到高分为语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖、路径覆盖。