プログラム解析・検証サービス提供システム、その制御方法、制御プログラム、コンピュータを機能させるための制御プログラム、プログラム解析・検証装置、プログラム解析・検証ツール管理装置

摘要

プログラム解析・検証サービス提供システム（１）は、対象プログラム（Ｐ）の解析、検証に用いるプログラム解析・検証ツールが導入、設定された仮想マシン（Ｔ）を、ツール記憶部（３２０）に格納された複数のプログラム解析・検証ツール（仮想マシン）から抽出するツール登録・検索部（３１３）と、抽出した仮想マシン（Ｔ）を用いて対象プログラム（Ｐ）を解析、検証する仮想マシン実行環境部（１２０）とを備える。