下列所述的程序测试方法中,( )属于黑盒测试法。