5.4.4 最少测试用例数估算