程序的维护包括：纠正性维护、（）和（）。