简述好程序应该具备的条件。