September 2024
Intermediate to advanced
288 pages
4h 10m
Japanese
1978年、ベル研究所の研究員であるスティーヴン・ジョンソンはC言語のソースコードにあるバグと不明瞭な箇所を検出するプログラムを実装しました。スティーヴンはそのプログラムを、洗濯機から取り出した上着に付いている糸くずにちなんでリント(lint)と名付けました。リントはソースコードを解析して問題のある箇所を指摘するリンタと呼ばれるプログラムの嚆矢となりました。
リンタはプログラムを実際に実行して問題を発見するランタイム解析(動的解析)ではなく、ソースコードを読み取って解析する静的解析です。静的解析なので、リンタは高速かつ安全であり、本番システムへのリクエストなどの副作用も心配する必要がありません。また、静的解析は賢くかつほぼ完全であり、潜在的なバグを掘り起こすためにあらゆるケースの組み合わせを試す必要がありません。
![]() |
|
静的解析は強力ですが、テストを置き換えるものではなく、テストも依然として重要です。静的解析が推論ならば、テストは観察です。リンタはコードの一般的な性質について検証しますが、テストはプログラムが要件を満たしているかを検証します。 |
また、リンタはコードを読みやすく一貫したスタイルに維持することにも優れています。不明瞭で非推奨な構文よりも、慣用的でモダンな構文を優先します。長年にわたり、私たちはPEP ...
Read now
Unlock full access