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