(完整)基于逻辑覆盖方法的测试用例设计与执行