静态分析工具最佳实践 -- 来自一篇文章的思考
本文原载于软件测试人专业博客,任何转载均需保留原址:http://www.mytestlife.com/post/endian_issues.html
在网上看到一篇文章,详解如何通过静态分析工具避免嵌入式系统令人头疼的内存大小端问题,点击查看:Detecting Endian Issues with Static Analysis Tools。
该文关于大小端问题论述非常详细,当笔者在阅读此文时,想到更多:既然通过静态分析工具可以检查大小端问题,那么如何利用同样的模式、策略、方法论规避我们代码中发生的常见问题呢?
其实你认真阅读文章,你可以发现作者的思路:
1. 确定你想要规避的问题或违规代码示例;
2. 充分分析解决此方式的策略,比如原文提出两种解决方案;
3. 形成可量化和计算的方案。举个简单例子,比如你不希望源文件中代码行数太多。太多是模糊的,而如果你定义一个具体的数字,如不超过2000行,则是可量化和计算的方案。
4. 利用静态分析工具的扩展性功能将上述量化方案转变成静态编码规范。这需要静态分析工具具备自定义编码规范的能力,比如笔者使用的静态分析工具C++test所提供的RuleWizard模块,可较为方便的通过图形化界面制定代码规范。
关于静态分析工具如何有效预防代码发生一些重复性、潜在性问题,是值得长期研究的。因为我相信预防问题远比查找问题更有效。
原文链接:http://www.mytestlife.com/post/endian_issues.html