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