A为了体现程序满足需求B为了让程序能运行C为了发现错误D为了证明程序是正确的正确C逻辑覆盖的主要覆盖标准包括（）