販売管理システムにおいて，起票された受注伝票が漏れなく，重複することなく入力されていることを確かめる監査手続のうち，適切なものはどれか。
受注データから値引取引データなどの例外取引データを出力し，承認の記録を確かめる。
受注伝票の入力時に論理チェック及びフォーマットチェックが行われているかを，テストデータ法で確かめる。
プルーフリストと受注伝票との照合が行われているかを，プルーフリスト又は受注伝票上の照合印を確かめる。
並行シミュレーション法を用いて，受注伝票を処理するプログラムの論理の正当性を確かめる。