单选题 软件测试一般分为三类，即　　Ⅰ．静态测试　　Ⅱ．动态测试　　Ⅲ．正确性证明　　设计测试实例对程序进行测试，应属于