1.程序化交易系统的检验通常要包括（　　）等。