白盒法是一种静态测试方法，主要用于模块测试。