使用静态代码分析检查程序的鲁棒性
使用静态代码分析检查程序的鲁棒性
提问于 2014-05-22 19:40:17
(基于这个问题)
如果您有一个静态代码分析器(如格子式 )，是否有可能将它检查的任何内容与实际的健壮性联系起来？Checkstyle检查的一些内容如下：
- 类设计:类成员的可见性，只执行公共的静态最终成员，没有实用类的公共构造函数，异常是不可变的等等。
- 编码:内联条件，没有空语句，没有非法实例化和魔术数字。
- 复制:检查代码复制，
- 导入:检查包是否正确导入
- 度量:检查从语句中使用逻辑运算符的次数到给定类依赖于其他类的类数(耦合)等等。
- 命名约定:检查变量名、包名、方法名、类名等的许多属性。
这些只是Checkstyle检查的主要内容之一。这些领域中的任何一个能够通过检测“错误”来帮助“提高”代码的健壮性吗？我的意思是，它确实有助于提高可读性和其他代码气味，但我不知道如何将它与健壮性联系起来。
您需要在运行时查看代码来实际检查健壮性问题吗？
回答 2
Software Engineering用户
回答已采纳
发布于 2014-05-22 20:21:38
设计得好、编写得好的代码更健壮，因为它最大限度地减少了边缘情况和不遵循“最佳实践”的代码中更为普遍的兔子洞。
静态分析可以帮助代码健壮性，原因与静态类型相同；在编码周期的早期就会发现问题，因为编译器会告诉您做错了。使用动态类型语言的人受益于更宽松的编码风格，但必须通过编写更多的单元测试来弥补静态类型的不足。
Software Engineering用户
发布于 2014-05-23 06:32:23
您提到的所有六点都有助于维护期间软件的长期健壮性和可靠性。
其他静态分析工具以不同的方式提供帮助。下面是一些例子：
- 火花试图证明在执行过程中不会引发任何异常。
- GCC试图检测未初始化的变量和死分支。
页面原文内容由Software Engineering提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://softwareengineering.stackexchange.com/questions/240864
复制相关文章
相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号