販売管理システムにおいて，起票された受注伝票の入力が，漏れなく，かつ，重複することなく実施されていることを確かめる監査手続として，適切なものはどれか。

解説　本サイト独自（IPA公表のものではありません）

ウ　プルーフリストは，システムに入力された受注データを確認するための一覧である。これを元の受注伝票と照合し，双方の照合印を確かめれば，全伝票が一度ずつ入力され，入力漏れや重複がないことを確認できる。

• ア　例外取引データの抽出と承認記録の確認は，値引取引などが適切に承認されたかを確かめる手続であり，受注伝票の入力漏れや重複は確認できない。
• イ　論理チェック及びフォーマットチェックのテストは，不正な内容や形式の入力を防げるかを確かめるものであり，全伝票が一度ずつ入力されたことの確認にはならない。
• エ　並行シミュレーション法は，別に実行した処理結果との比較によってプログラムの論理の正確性を確かめる技法であり，受注伝票の入力漏れや重複を直接確認しない。