关于代码测试的几点思考
来源:互联网 发布:淘宝详情页是什么 编辑:程序博客网 时间:2024/05/18 18:53
今天读了王垠的大作《谈测试驱动的开发》,有同感。
虽然我目前搞的是单片机代码,但是要想保证半点bug都没有,也是极度困难的。
直接和单片机寄存器相结合的最底层代码基本上靠官方例子以及对官方文档的阅读,以及到网上索罗网友的相关例子、文章。然后稍微上一层的代码的
最保险的方法得靠理论验证,就是通过在不浮躁的状态下,对代码进行仔细阅读,并随时用笔写写画画。(也就是王银说的“唯一能可靠的确保代码正确的方法是使用严密的逻辑推理,证明它的正确。”)
然后加上极限测试给自己以心里上的安慰。
当然通过一些代码测试工具进行静态测试也是有必要的,也能找到一些不符合misra的疏漏。
当然还有用understand这类工具也不错。
1 0
- 关于代码测试的几点思考
- 代码健壮性的几点思考
- 关于创办软件公司的几点思考
- 关于职业规划的几点思考
- 关于设计模式的几点思考
- 关于创办软件公司的几点思考
- 关于软件的几点思考
- 关于软件设计的几点思考
- 关于Bellman-Ford的几点思考
- 几点关于学习的思考
- 关于库接口的几点思考
- 关于几点问题的几点小思考
- 关于MVC的几点思考
- 关于计算机专业的几点思考
- 关于需求调研的几点思考
- 关于DBN的几点思考
- 关于.bashrc文件的几点思考
- 关于学习知识的几点思考
- 理解inode
- asp.net中如何动态改变网页的title
- poj 4090:超级备忘录
- HDU 1863 畅通工程 (最小生成树是否存在)
- 【C语言】我的23个C语言check list
- 关于代码测试的几点思考
- Swift入门教程系列8-枚举
- 计蒜客 挑战难题 第19题:加一
- Java 通过 list 和 对象数组 来实现 简单的 分页显示
- 配置GDB支持STL调试
- Spell checker
- ASP.NET MVC处理文件上传示例
- Java基本概念
- HibernateTemplate 方法