抄録
CB-003
Javaバイトコード逆実行シミュレータ
◎門馬悠太・平中幸雄・武田利浩（山形大）
プログラム開発ではバグは頻繁に発生するためテストが必要である。入力に対して出力が正しいか検査する順方向テストでは、テストケースが不十分だとバグが発見できないことがある。しかし、シンボリック分析法でプログラムを逆方向にたどっていくと、指定した出力値に対する入力条件を包括的に調べることができる。この方法で、効率的にプログラムを検査するための逆方向シミュレータを、Javaバイトコードを対象に作成した。そのシミュレータの内容と動作結果について述べる。
