面向对象测试充分性三个常用标准是基于状态的覆盖率、（）和基于代码的覆盖率。