白盒法的具体设计程序测试方法有语句覆盖、（）、（）和路径覆盖。