プログラミング・開発言語– category –

ShellCheckは、Bashを中心としたシェルスクリプトの構文解析と挙動検査を行うオープンソースの静的解析ツールである。ノルウェー在住のVidar Holen氏が2012年に開発を始め、Haskellで実装されている点が一風変わっている。シェルスクリプトは、わずかな書...

Clippyは、Rust公式が提供するリンターで、コンパイラだけでは検出しきれない慣用句違反や非効率な書き方、潜在的バグを指摘するツールである。2014年頃にAndre Bogus氏（GitHub上ではllogiq）が個人プロジェクトとして開始し、その後Rustの公式ツール群、...

gofmtは、Go言語に同梱される公式のソースコード整形ツールである。2009年にGoが公開された当初からツールチェーンの一部として用意されており、Robert Griesemer氏、Rob Pike氏、Ken Thompson氏らGoogleの初期チームの設計思想を体現する存在として知られ...

RuboCopは、Rubyコードの書式や慣習を自動で点検し、必要に応じて修正までかけてくれる静的解析ツールである。ブルガリアの開発者Bozhidar Batsov氏が2012年に最初のバージョンを公開し、彼自身がメンテナーを務める「The Ruby Style Guide」を実装に落と...

SonarQubeは、ソースコードのバグ、セキュリティ脆弱性、保守性の問題を統合的に解析するサーバ型プラットフォームである。フランスのSonarSource社が2007年にSonarという名称で公開し、その後SonarQubeへ改称しながら、Java、C#、Python、JavaScript、Go...

Pyrightは、Microsoftが2019年に公開したPython向けの静的型チェッカおよび言語サーバである。TypeScriptコンパイラの設計を主導したEric Traut氏が中心となって開発しており、TypeScriptで培われた高速な型推論と差分解析の経験が、そのままPythonの世界...

mypyは、Pythonの型ヒント（PEP 484）を読み取り、関数の引数や戻り値の整合性をコンパイル前に検証する静的型チェッカである。Jukka Lehtosalo氏が2012年頃から開発を開始し、後にDropboxへ移籍した同氏のもとで本格的な実装が進んだ経緯を持ち、現在は同...

TestNGは2004年にGoogleエンジニアだったCédric Beustが公開したJava向けテストフレームワークである。「Next Generation」を意味する名前のとおりJUnitの限界を解消することを目的に設計され、テストグループ、依存関係、データ駆動、並列実行、設定駆動...

RSpecは2005年にSteven Baker、David Chelimsky、Aslak Hellesøyらが立ち上げたRuby向けテストフレームワークで、振る舞い駆動開発（BDD）の代表的な実装として知られる。describe/context/itという英語に近い構造で仕様を記述し、expect(...)の連鎖でアサ...

pytestは2004年頃にHolger KrekelがPyPy開発の文脈で立ち上げたPython向けテストフレームワークで、現在ではPythonのテストにおける事実上の標準として位置づけられている。標準ライブラリのunittestより簡潔な記述、強力なfixture機構、豊富なプラグイン...