关于代码测试的几点思考

今天读了王垠的大作《谈测试驱动的开发》，有同感。

虽然我目前搞的是单片机代码，但是要想保证半点bug都没有，也是极度困难的。

直接和单片机寄存器相结合的最底层代码基本上靠官方例子以及对官方文档的阅读，以及到网上索罗网友的相关例子、文章。然后稍微上一层的代码的

最保险的方法得靠理论验证，就是通过在不浮躁的状态下，对代码进行仔细阅读，并随时用笔写写画画。（也就是王银说的“唯一能可靠的确保代码正确的方法是使用严密的逻辑推理，证明它的正确。”）

然后加上极限测试给自己以心里上的安慰。

当然通过一些代码测试工具进行静态测试也是有必要的，也能找到一些不符合misra的疏漏。

当然还有用understand这类工具也不错。