（）覆盖比其他条件都要严格，但它不能保证覆盖程序中的每一条路径。