自顶向下、逐步求精

自顶向下、逐步求精

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

自顶向下

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

逐步求精

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

例子

就如对一个洗衣机程序

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

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

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

READ(water_line,soak_time,rinse_time)

WHILE getwatervolume()<water_line
  waterinswitch(open)
ENDWHILE

waterinswitch(close)

SET now=timecounter()
WHILE timecounter()<=now+soak_time
ENDWHILE

SET 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)
  ENDIF
ENDWHILE

WHILE getwatervolume()>0
  wateroutswitch(open)
ENDWHILE

FOR i=1 to 5
  now1=timecounter();
  motorrun(left)
  IF timecounter()==now1+100
    motorrun(right)
  ENDIF
  IF timecounter()==now1+200
    motorrun(stop)
  ENDIF
ENDFOR
wateroutswitch(close)

halt(success)

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

FUNCTION wait(time)
  SET now=timecounter();
  WHILE timecounter()<=now+soak_time
  ENDWHILE
ENDFUNCTION

FUNCTION 注水(volume,timeout)
  SET now=timecounter();
  WHILE getwatervolume()<volume
    waterinswitch(open)
    IF timecounter()now+timeout
      halt(failure)
      BREAK
    ENDIF
  ENDWHILE
  waterinswitch(close)
ENDFUNCTION

FUNCTION 排水(timeout)
  SET now=timecounter();
  WHILE getwatervolume()>0
    wateroutswitch(open)
    IF timecounter()now+timeout
      halt(failure)
      BREAK
    ENDIF
  ENDWHILE
ENDFUNCTION

end