黑盒测试法是通过分析程序的功能来设计测试用例的方法