下列哪种软件测试不属于软件性能测试的范畴

A．查找程序错误
B．证明程序正确
C．改正程序错误
D．验证程序无错误

A．通常修改软件故障可以降低软件发生失效的概率，从而提高软件可靠性
B．在软件的一次运行期间，软件故障一定会导致软件失效
C．软件错误不仅包括程序代码的错误，软件开发过程中所有制品的错误及软件的文档、手册等中的错误都可以归入软件错误
D．软件故障是指软件代码中的错误