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