午前Ⅰ：プログラム解析手法

Assertion 表明。

プログラム中の変数間で真となる条件をチェックする事。

テストコードとほぼ同義。

GoogleTestなどの自動テストを構築するときはアサーションチェックを記述している。

デバッガのこと。トレーサも含む。

トレーサ…プログラムの実行過程を時系列的にモニタリングするために，メモリやレジスタの内容を書き出す。ムの命令の実行順序，実行結果などの履歴情報を出力するツール

仮想マシンなどのスナップショットとは少々違う。（実態は同じような気もする）

プログラムの特定の命令を実行するごとに，指定されたメモリの内容を出力する。

カバレッジ(coverage)…網羅率。

プログラムに対するテストの網羅率を測定・分析する手法。