| 講演名 | 1994/1/14 データフロー解析によるテスト, 保守支援ツール 須河内 寛, 岩城 明宏, 土田 行一, 田中 伸, 廣田 豊彦, 橋本 正明, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | データフロー解析はプログラム中の変数の定義と使用の関係を調べることによって,プログラムの処理内容を解析しようとするもので,リバースエンジニアリングの重要な手法の一つである.我々はデータフロー解析の応用として,プログラムプランを用いて失われた情報を回復し,プログラムの理解を支援するシステム,およびより高度な抽象化の合成を目指して,ソースプログラムから概念モデルを生成するための手法について研究を進めている.また,データフロー解析を利用したテストは重要なプログラムテスト手法の1つであり,我々はそれを組み込んだテスト支援環境の開発を進めている. |
| 抄録(英) | Dataflow analysis analyzes the behavior of a program by investigating the relations between definitions and uses of the vaxiables in the program,and it is one of important techniques for reverse engineering.We have been developing,as an application of dataflow analysis,a support tool for program understanding with recovering some lost information by using program plans.We axe also developing a technique to generate a conceptual model from a source program for synthesizing more advanced abstraction.On the other hand,dataflow analysis is also important in program testing, and we have been developing a support environment for program testing with dataflow analysis. |
| キーワード(和) | リバースエンジニアリング / プログラムテスト / データフロー解析 / 概念モデル |
| キーワード(英) | reverse engineering / program testing / dataflow analysis / conceptual model |
| 資料番号 | KBSE93-44 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1994/1/14(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | データフロー解析によるテスト, 保守支援ツール |
| サブタイトル（和） | |
| タイトル（英） | Testing and maintenance support tools with dataflow analysis |
| サブタイトル（和） | |
| キーワード(1)（和/英） | リバースエンジニアリング / reverse engineering |
| キーワード(2)（和/英） | プログラムテスト / program testing |
| キーワード(3)（和/英） | データフロー解析 / dataflow analysis |
| キーワード(4)（和/英） | 概念モデル / conceptual model |
| 第 1 著者 氏名（和/英） | 須河内 寛 / Hiroshi Sugauchi |
| 第 1 著者 所属（和/英） | 九州工業大学情報工学部 Department of Artificial Intelligence Kyushu Institute of Technology |
| 第 2 著者 氏名（和/英） | 岩城 明宏 / Akihiro Iwaki |
| 第 2 著者 所属（和/英） | 九州工業大学情報工学部 Department of Artificial Intelligence Kyushu Institute of Technology |
| 第 3 著者 氏名（和/英） | 土田 行一 / Kouichi Toda |
| 第 3 著者 所属（和/英） | 九州工業大学情報工学部 Department of Artificial Intelligence Kyushu Institute of Technology |
| 第 4 著者 氏名（和/英） | 田中 伸 / Shin Tanaka |
| 第 4 著者 所属（和/英） | 九州工業大学情報工学部 Department of Artificial Intelligence Kyushu Institute of Technology |
| 第 5 著者 氏名（和/英） | 廣田 豊彦 / Toyohiko Hirota |
| 第 5 著者 所属（和/英） | 九州工業大学情報工学部 Department of Artificial Intelligence Kyushu Institute of Technology |
| 第 6 著者 氏名（和/英） | 橋本 正明 / Masaaki Hashimoto |
| 第 6 著者 所属（和/英） | 九州工業大学情報工学部 Department of Artificial Intelligence Kyushu Institute of Technology |
| 発表年月日 | 1994/1/14 |
| 資料番号 | KBSE93-44 |
| 巻番号（vol） | vol.93 |
| 号番号（no） | 408 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |