填空題結(jié)構(gòu)化程序設(shè)計思想規(guī)定了一套方法,使程序具有(),以便保證和驗證()。