在软件开发阶段用来减少错误，提高软件可维护性的技术称为()。