程序顺序执行时具有可再现性特征