白盒测试方法静态分析_静态分析的教育方面

最新推荐文章于 2023-11-14 10:06:35 发布

dnc8371

最新推荐文章于 2023-11-14 10:06:35 发布

阅读量506

点赞数

文章标签： java 编程语言 python 大数据 mysql

原文链接：https://www.javacodegeeks.com/2018/01/educational-aspect-static-analysis.html

版权

本文探讨了在项目中使用静态分析工具，尤其是Java的Qulice，作为教育新程序员关于代码规范和面向对象哲学的方式。尽管自动格式化工具可以确保代码样式一致，但作者认为手动遵循规则能帮助开发者理解项目标准和背后的思考。

摘要由CSDN通过智能技术生成

白盒测试方法静态分析

加入我们项目的新程序员经常问我们是否有自动格式化工具，以使Java代码看起来完全像Qulice期望的那样。（Quili是我们使用的静态分析器。）我总是回答说，拥有这样一个自动代码抛光器只会有害，并且不会帮助项目及其成员改善和成长。这就是为什么我这么认为。

菲利普·诺伊斯（1989）

静态分析是我们与只读master分支结合使用的方式，它是对请求请求的完全不妥协的全自动检查，主要用于发现代码格式错误。假设我们希望整个存储库中的Java代码如下所示：

final class Doc {
  private final File file;
  public void remove() {
    if (this.file.exists()) {
      this.file.delete();
    }
  }
}

但是，您将其重构为更大的任务的一部分，并提交如下的拉取请求：

class Doc {
  private File f;
  public void remove()
  {
    if (f.exists())
      f.delete();
  }
}

对于你们中的某些人来说，这似乎没有太大的区别，因为两个代码段都可以毫无问题地编译，并且工作方式完全相同。但是，对于我们（存储库维护者）而言，这很重要。我们确实希望我们的类始终是final ，我们希望它们是不可变的（因此所有属性也应该是final ），我们想为此添加所有属性引用前缀this. ，并且我们希望代码采用相同的格式，因为我们认为代码的统一性会大大提高其可维护性。

当然，我们可以创建一个工具，然后您可以使用该工具重新设置代码的格式，使其看起来像我们想要的样子。但是在那种情况下，您将永远无法了解项目想要您做什么以及为什么要这么做 。

您将不知道我们规则背后的原因。您永远不会考虑它们。您将不会真正在乎它们。但是它们不仅与空格和方括号的格式有关。 Qulice中有900多个，其中一些是专门为我们正在讲授的面向对象的哲学而设计的。

因此，简而言之，我们不希望您轻松进行静态分析阶段。我们希望您受苦以学习。