検査・パイプライン・CI と CD

版の集合を $\mathcal{C}$ とする。検査とは、版に対して合格か不合格かを返す手続きである。同じ版に対していつ実行しても同じ結果を返すとき、検査は決定的であるといい、写像 $\chi : \mathcal{C} \to \{\text{合格}, \text{不合格}\}$ と同一視する。

パイプラインとは、検査や生成の段階を頂点とし、「この段階はあの段階の出力を使う」を辺とする有向非巡回グラフである。すべての段階が合格したとき、パイプラインは合格したという。

変更が共有のリポジトリに届くたびにパイプラインを自動で実行する運用を継続的インテグレーション（CI）、合格した版をいつでも公開できる成果物として自動で用意する（あるいは自動で公開する）運用を継続的デリバリー（CD）という。