CMake, Ant, Maven, Gradle, SConsなど

定義

CMake, Ant, Maven, Gradle, SConsなどは、ソースを解析・変換・実行する言語処理系の構成要素である。対象、前提、入力、結果を区別する。

仕組みと具体例

各段階の入力・出力表現と意味保存条件、source位置を定義する。通常時に加え、境界値、失敗、並行実行、依存条件の変化も追跡する。

実践と検証

正常例と不正例をtoken、AST、中間表現、実行結果まで追跡する。期待結果を観測可能に記述し、最小例から異常系へ広げる。

トレードオフ

精度・性能・単純さ・運用costの間にはtradeoffがある。適用範囲を広げる前に解決するriskと仮定を確認し、例外には理由と代替策を記録する。