语句覆盖是白盒测试中最基本的测试方法，其目标是确保程序中的每条语句至少被执行一次。