参考答案：正确性证明

解析： 软件测试的方法有3种；动态测试、静态测试和正确性证明。动态测试指通常的上机测试，这种方法是使程序有控制地运行，并从多种角度观察程序运行时的行为，以发现其中的错误，而测试是否能发现错误取决于测试实例的设计。静态测试一般指人工评审软件文档或程序，借以发现其中的错误，由于被评审的文档或程序不必运行，所以称为是静态的。