以下不属于软件容错技术的是（）。