在软件产品交付后产品仍然需要不断进行修改，其中用来检测和纠正软件产品中的潜在故障，使其不成为有效故障的行为是______。