对于代码覆盖率，以下说法错误的是：（）

正确答案：D。代码覆盖率度量的是代码被测试执行的程度，包括语句覆盖率、分支覆盖率、条件覆盖率、路径覆盖率等。A 选项正确，未被执行到的代码可能是冗余代码或死代码，代码覆盖率可以帮助发现它们。B 选项正确，行覆盖率（语句覆盖率）直接反映每一行代码是否被至少执行一次。C 选项正确，对于用代码描述的状态机，通过状态覆盖和跳转覆盖可以检查状态机路径是否被遍历。D 选项错误，代码覆盖率仅关注代码执行与否，无法保证功能需求是否完全实现；功能需求验证需要功能覆盖率（如覆盖点、断言覆盖）或直接的功能测试。代码覆盖率高并不代表功能正确，低代码覆盖率则可能意味着测试不充分。