结构化程序设计思想规定了一套方法，使程序具有（），以便保证和验证（）。