参考答案：白盒

解析：[评析] 软件测试的方法有三种：动态测试、静态测试和正确性证明。设计测试实例的方法一般有两类：黑盒测试方法和白盒测试方法。