________是指在计算机上直接用测试用例运行被测程序，检查程序的动态行为和运行结果的正确性。