COBOLプログラムから非手続き仕様を逆生成するリバースエンジニアCORE/M
スポンサーリンク
概要
- 論文の詳細を見る
プログラムの保守を効率化するためには,プログラムから仕様への逆生成が重要である.本研究では,ファイル処理例題に対するCOBOLプログラムから形式的な要求仕様を逆生成する手法を提案するするとともに,それを実現するシステムCOBOL Reverse Engineer for Modules : CORE/Mを開発した.プログラム理解の結果を表す要求仕様としては,等関係式仕様を採用した.この仕様は,ファイル処理例題における実体や関連の属性項目間の関係と出力・更新要求を等関係式という数式の集合で表したもので,要求を非手続き的に表現できる.ここでは,各計算式の項目は,"."を介してそれが所属する実体の識別子によって,また"_"を介してそれが格納されているファイル名によって修飾されている.従って,等関係式はその左辺項目の十分な意味定義になっている.CORE/MはまずCOBOLプログラムを構文解析し,ブロック構造に展開する.次にブロックが処理対象とする実体や関連を表す照合基準を抽出する.この照合基準を元に,実体識別子とファイル修飾子を導出し,ブロックに含まれる処理文内の項目を適切に修飾して等関係式に変換し出力する.事例として,234行のCOBOLプログラムを変換した結果,元のプログラムと同じ実行結果を与える等関係式仕様を得た.今後の課題としては,等価変換などを用いて,入力プログラムに課した制約の多くを除くことである.
- 一般社団法人情報処理学会の論文
- 1995-03-15
著者
関連論文
- Javaを用いたアクティブメッセージ交換システム
- 日本語意味解析システムSAGEの高速化・高精度化とコーパスによる精度評価
- オブジェクト指向分析の eLearning システム OOISS
- Webレビューの表形式化システムSECRETの開発
- テキストマイニングシステムSTMの感情・意思分析機能の組み込みを中心とした機能拡充
- Webレビューの表形式化システムSECRETの開発
- プロセス設計の自動化理論の構築とその実証システムの開発
- 非手続仕様からのプロセス設計の自動化
- ファイル事務処理のモジュール設計の自動化システム : EOS/M
- 非手続き仕様からのプロセス設計の自動化
- テキストマイニングシステムSTMの感情・意思分析機能の組み込みを中心とした機能拡充
- 意味解析システム SAGE の精度向上-モダリティと副詞節について-
- 意味解析システム SAGE の精度向上-モダリティと副詞節について-
- フィルタリングのための隠語の有害語意検出機能の意味解析システムSAGEへの組み込み
- フィルタリングのための隠語の有害語意検出機能の意味解析システムSAGEへの組み込み
- 自然語要求仕様からオブジェクト指向設計図を自動生成するシステムCAMEO
- オブジェクト指向分析支援システムCAMEO : 日本語文章記述からの設計要素の自動抽出 (ネットワーク上のCAIプラットフォーム開発と評価)
- ニューラルネットワークの新聞株価データ読み取りへの応用 : 単純類似度法とニューラルネットワークの比較
- アクティブメッセージによるドキュメントワークフローシステムの開発
- 自然語ルールと知識をベースとした対話システムEveの開発
- 自然語ルールと知識をベースとした対話システムEveの開発
- NonFactoid型質問文と回答文との意味的関係に基づく質問応答システムMetis
- NonFactoid型質問文と回答文との意味的関係に基づく質問応答システムMetis
- 意味グラフ照合による質問応答システムMetisの回答精度向上-質問文解析フェーズと検索フェーズの改良を中心として-
- 意味グラフ照合による質問応答システムMetisの回答精度向上-質問文解析フェーズと検索フェーズの改良を中心として-
- ルールベースの自動更新システムTHERES : オブジェクト指向分析ルールの更新を例にして
- ルールベースの自動更新システムTHERES : オブジェクト指向分析ルールの更新を例にして
- アスペクト照合と二眼視の強調によるロボットビジョンシステムViSAR
- 重なりのあるシーンを理解するロボットビジョン
- 照応解析システムANASYSの精度向上 -外界照応分離,素性の洗練,ナイーブベイズ法の導入-
- 照応解析システムANASYSの精度向上 -外界照応分離,素性の洗練,ナイーブベイズ法の導入-
- オブジェクト指向分析によるモデル要素集合からの遺伝アルゴリズムを用いた設計図作成支援システムの開発研究
- オブジェクト指向分析による設計要素集合からの自動レイアウトによる設計図の作成研究
- 語意に基づく深層レベルの指示代名詞照応解析システムAnasys/D
- 意味解析に基づく照応解析システム ANASYS -EM アルゴリズムによる先行詞同定の学習の導入-
- 意味解析に基づく照応解析システム ANASYS -EM アルゴリズムによる先行詞同定の学習の導入-
- 要求文書からのオブジェクトモデル要素の抽出・分類支援システムEXCOMの研究開発 (ネットワーク上のCAIプラットフォーム開発と評価)
- 出力様式から形式的要求仕様を生成する要求分析システムGRACE
- 意味グラフのマッチングによる事故問い合わせ文からの判例検索システムJCare
- 意味グラフのマッチングによる事故問い合わせ文からの判例検索システムJCare
- 1P-10 アクティブメッセージシステムJAMESへのセキュリティの実装と集信システムMCSの開発
- EDRを用いた日本語意味解析システムSAGE
- EDRを用いた日本語意味解析システムSAGE
- 日本語意味解析システムSAGEの高速化と精度向上
- 構造化オブジェクト指向設計図からの実行可能C++プログラム生成
- 日本語文章からの意味フレーム自動生成システム : SAGE(Semantic frame Automatic GEnerator)の開発研究
- 意味解析を踏まえた自動要約システムABISYS
- センタリング理論と対象知識に基づく談話構造解析システムDIA
- 意味解析システムSAGEのWeb化と連体・使役・受身における解析精度向上
- 意味解析に基づくテキストマイニングシステムSTM(意見・評判,第2回集合知シンポジウム)
- 反復語句と深層格に基づく要約システムABISYSの開発
- アスペクト照合と立体視の協調によるロボットビジョン
- 機械図面の自動認識 : 機械部品データからの3次元物体表示システムの開発 (動的AIとそれに基づくインテリジェントロボットシステム)
- 機械部品設計のための3次元表示システムの開発
- 部品合成によるプログラム自動生成システム ARIES/I
- 日本語文間の意味関係解析システムInSeRAの開発研究
- 2C-5 クラス機能を表す非手続的な仕様からメソッドの処理記述を決定表形式で生成するSOME/EOS
- プログラム仕様からのオンライン処理プログラムの自動生成システムSPACE/Oの開発
- Xウインドウシステム上での自動プログラミングXSPACEの開発
- 等関係式仕様から決定表形式のモジュール仕様への変換理論
- プログラムの構造と論理の自動設計システム EOS/M
- 自動プログラミングシステムにおけるプログラム設計書を生成するシステムの開発
- 構造化オブジェクトモデリング技法SOMMとその構築環境S0ME
- 構造化オブジェクトモデリング環境SOME : SOMMに基づくOOA/OOD (ネットワーク上のCAIプラットフォーム開発と評価)
- ファイル処理問題におけるクラス設計の自動化システムEOS/Pの開発
- 知識処理分野における自動プログラミングとしての機械学習
- 意味解析により進化するテキストマイニング(解析手法,第1回テキストマイニング・シンポジウム)
- 2C-6 構造化オブジェクトモデリング環境SOMEの拡張 : UML表記の編集機能とSOMM表記との相互変換機能の追加
- オブジェクト指向分析の自動化システムの分析ルールの洗練化支援システムの開発研究
- 1P-9 分散システム構築手法の比較評価研究 : 最適空路検索事例の試作を通して
- COBOLプログラムから非手続き仕様を逆生成するリバースエンジニアCORE/M
- COBOLプログラムから非手続き仕様を逆生成するリバースエンジニアCORE/M
- 3C-7 CASEツールはどれほど役に立つか
- 自走多軸ロボットの制約指向による行動計画生成と3次元シミュレーション
- 構造化されていないCOBOLプログラムも設計仕様に変換する逆工学システムの研究開発
- 話者の意図理解に基づく対話応答システムHermes
- 自動応答生成システムAngel
- 意味解析に基づくロボット指示システムAthena2011