Think code completely

最近在看别人写的代码，发现不少问题。

这些问题除了业务错误外，很多逻辑错误都是可以通过状态机分析来发现的。

最常见的状态转换模式是 initialize -> use -> [ loop entry] reset/clear/refresh -> use again -> [loop exit] release；这是一个完整的生命周期。或者说Think code with a complete state lifecycle.

具体到资源的管理，常见的就是内存、锁、数据库或者文件。 比如

  new / delete

  new -> set -> use -> delete/new again/ reset value -> delete

  malloc / free

  OpenFile / CloseFile

  lock / unlock

  (DB open) / (DB close)

还有的就是一些业务api对。比如

  AddBusy / RemoveBusy

  BEGIN_CONSOLE / END_CONSOLE

  UseMajorKey(x) / useMajorKey(0)

  SetFilter() / ClearFilter()

此外，不少问题都可以通过从全部的问题空间来发现。

通常normal的case已经cover了，但negative的case呢？ what else?（从广度上思考） what if（从深度上思考）?。我叫它code with a big picture of the whole problem domain.