ユニットテストの入力データ生成のためのBit-vector logicに基づくCOBOL記号実行器

抄録

単体テスト時に利用する入力テストデータをCOBOLソースコードから生成するためのCOBOL記号実行器を構築した. この記号実行器の特徴はbit-vector logicに基づいてメモリ内バイトデータの記号値を扱うという点でありこれにより，バイトデータを直接操作するコードのテストデータ生成が可能になる．このような記号実行器によるテストデータ生成ツールはデータ表現の違いなどによる不具合が生じることの多いマイグレーションプロジェクト等において有用なものとなる．