在两种基本测试方法中，______测试的原则之一是保证所测试的模块中每一个独立路径至少要被执行一次。