下列程序中，既可以用于控制测试，也可以用于细节测试的程序有（）。