填空题 要编写高质量的程序，判断程序质量的首要标准是程序的（），要保证程序在多次反复使用过程中不发生错误，应该保证程序的（）。

填空题 软件开发模型大体上可分为两种类型，第一种是（），为前提的瀑布模型。第二种是在软件开发初始阶段（）时采用的渐进式开发模型，如原型模型，螺旋模型等。

填空题 当前流行的程序设计方法是：（）和（）。