（jyy版本）调试：理论与实践

机器永远是对的，未测代码永远是错的

理论基础：程序是个状态机

调试理论：如果我们能判定任意程序状态的正确性，那么给定一个failure，我们可以通过二分查找定位到第一个error的状态，即fault(error)

单步调试的局限性在于，假设某一个状态是对的，以此来调试下一个状态是否正确

工具：printf，GDB

//TODO