语句覆盖属于白盒测试的一种，其核心目标是确保程序中每个语句至少被一次执行，从而发现潜在的代码错误。