タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

javaとstatic-program-analysisに関するnabinnoのブックマーク (1)

  • Checkstyle - Wikipedia

    ソフトウェア開発プロジェクトにおいてプログラミング作法を採択すると、コードの品質・可読性・再利用性を改善する良い習慣が根付き、開発コストが削減される場合がある。Checkstyleで実行される検査は内容の検査ではなく主にプログラムの体裁に限定され、プログラムの正しさや完全性は確認しない。実際には全ての制約への準拠は煩雑であり、一部はプログラミング段階における原動力を削ぐ可能性がある。そのためどの水準の検査が必要なのか、個々のプログラムの種類によって決定すると良い。 Checkstyleでは利用可能な一通りのモジュールが定義されており、各モジュールには設定可能な厳しさの水準(必須・任意・……)を備えた規則が用意されている。各規則は通知・警告・エラーを報告する場合がある。 モジュールにより例えば次のような検査が可能になる: クラス・属性・メソッドに対するJavadocコメント 属性やメソッドに

  • 1