自顶向下、逐步求精

自顶向下、逐步求精是计算机编程里面常用的思路

自顶向下

将大问题分解为各个小问题，再逐步求解

逐步求精

对于每个问题逐次细化，不断完善

例子

就如对一个洗衣机程序

先将他的洗衣这个大问题分为多个小问题：

选择 洗衣模式 输入 水位、时间
注水至预设水位
浸泡预设时间
漂洗预设时间 每个周期 电机转动左三秒、右三秒
排水至水位为0
脱水 电机快速转动 每周期左100秒右100秒 5个周期
关闭电源

然后再对每一个小问题细化出伪代码：

READ(water_line,soak_time,rinse_time)WHILE getwatervolume()<water_line  waterinswitch(open)ENDWHILEwaterinswitch(close)SET now=timecounter()WHILE timecounter()<=now+soak_timeENDWHILESET now=timecounter()WHLILE timecounter()<=now+rinse_time  SET now1=timecounter()  motorrun(left)  IF timecounter()==now1+3    motorrun(right)  ENDIF  IF timecounter()==now1+6    motorrun(stop)  ENDIFENDWHILEWHILE getwatervolume()>0  wateroutswitch(open)ENDWHILEFOR i=1 to 5  now1=timecounter();  motorrun(left)  IF timecounter()==now1+100    motorrun(right)  ENDIF  IF timecounter()==now1+200    motorrun(stop)  ENDIFENDFORwateroutswitch(close)halt(success)

最后还可以提取出一些模块
以便简化

FUNCTION wait(time)  SET now=timecounter();  WHILE timecounter()<=now+soak_time  ENDWHILEENDFUNCTIONFUNCTION 注水(volume,timeout)  SET now=timecounter();  WHILE getwatervolume()<volume    waterinswitch(open)    IF timecounter()now+timeout      halt(failure)      BREAK    ENDIF  ENDWHILE  waterinswitch(close)ENDFUNCTIONFUNCTION 排水(timeout)  SET now=timecounter();  WHILE getwatervolume()>0    wateroutswitch(open)    IF timecounter()now+timeout      halt(failure)      BREAK    ENDIF  ENDWHILEENDFUNCTION

end