応用情報技術者 2009年 秋期 問46

変数の間で論理的に成立すべき条件が満たされているか否かを検査するコードをプ ログラムの適切な箇所に挿入し、実行時に検査結果が確認できる支援ツールはどれか。