応用情報技術者 2011年 秋期 問59

受注データから値引取引データなどの例外取引データを出力し，承認の記録を確かめる。

受注伝票の入力時に論理チェック及びフォーマットチェックが行われているか，テストデータ法で確かめる。

プルーフリストと受注伝票との照合が行われているか，プルーフリスト又は受注伝票上の照合印を確かめる。

並行シミュレーション法を用いて，受注伝票を処理するプログラムの論理の正当性を確かめる。