拡張ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現可能な自動テストツールComeBugの開発

P

Javaプログラムのデバッグ支援を目的としたデータ遷移可視化ツールTFVISの開発

P

VDM++仕様を用いたデシジョンテーブル自動生成ツールVDTableの開発

P

テスト用コミュニケーションズ作成支援ツールの実用性および判読性の向上を目的とした改良

P

Javaプログラム自動化可視化ツールAvisの有用性を高めるための適用範囲拡大

P

単体テスト可視化ツールJvisの実用性の向上を目的とした適用範囲の拡張

P