| 講演名 | 2012/7/20 Simulinkモデルにおけるグラフに基づく非完全一致モデルクローン検出(一般) 鷲崎 弘宜, 村上 真一, 深澤 良彰, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | Simulinkモデルは,ブロック線図としてプログラムを表現したモデルであり,制御系を中心として組込みソフトウェア開発において使われつつある.大規模なモデルや,同一ドメインで複数のモデルを扱う場合,クローンと呼ばれる重複箇所の存在がモデルの保守性を低下させる可能性がある.この問題解決に向けて,完全に一致するクローンを検出する手法が提案されているが,コピー&ペースト後に部分的に変更されたような非完全一致ながら類似性の高いクローン(ギャップを含むクローン)を十分に検出できなかった.そこで我々は,完全一致のクローンを検出する既存の手法と,多頻度グラフ検出アルゴリズムを組み合わせることで,非完全一致のモデルクローンをSimulinkモデル群から効率よく検出する手法を提案する.提案手法を検出ツールとして実装し,複数の具体的な制御モデルに適用した結果,非完全一致のクローンを検出可能なことを確認した.提案手法により検出した結果を記録し管理することで,効率的な保守を実現することが期待できる. |
| 抄録(英) | Simulink models represent program as block diagrams for usually control system design. In large scale models or a large number of models, duplicated parts called "clones" could reduces the maintainability of models. To overcome such issue, there are existing researches on detecting perfect-matching clones; however these researches are not adequate for detecting imperfect-matching clones made by some partial modifications after copied and pasted. We propose a technique for detecting imperfect-matching clones in Simulink models efficiently by combining the existing perfect-matching clone detection technique and a fast apriori-based graph mining algorithm. We implemented the proposed technique as a detection tool and confirmed that the tool can detect imperfect-matching tools by applying it to several control system models. It is expected that models could be easily maintained by detecting such clones by the technique, and recording and managing them. |
| キーワード(和) | Simulink / モデリング / 制御モデル / クローン検出 |
| キーワード(英) | Simulink / Modeling / Control models / Clone detection |
| 資料番号 | KBSE2012-13,SS2012-11 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2012/7/20(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | Simulinkモデルにおけるグラフに基づく非完全一致モデルクローン検出(一般) |
| サブタイトル（和） | |
| タイトル（英） | Graph-based Detection of Imperfect-Matching Clones in Simulink Models |
| サブタイトル（和） | |
| キーワード(1)（和/英） | Simulink / Simulink |
| キーワード(2)（和/英） | モデリング / Modeling |
| キーワード(3)（和/英） | 制御モデル / Control models |
| キーワード(4)（和/英） | クローン検出 / Clone detection |
| 第 1 著者 氏名（和/英） | 鷲崎 弘宜 / Hironori Washizaki |
| 第 1 著者 所属（和/英） | 早稲田大学基幹理工学部情報理工学科:早稲田大学グローバルソフトウェアエンジニアリング研究所 Waseda University, Dept Computer Science and Engineering, Global Software Engineering Laboratory |
| 第 2 著者 氏名（和/英） | 村上 真一 / Shinichi Murakami |
| 第 2 著者 所属（和/英） | 早稲田大学基幹理工学部情報理工学科:早稲田大学グローバルソフトウェアエンジニアリング研究所 Waseda University, Dept Computer Science and Engineering, Global Software Engineering Laboratory |
| 第 3 著者 氏名（和/英） | 深澤 良彰 / Yoshiaki Fukazawa |
| 第 3 著者 所属（和/英） | 早稲田大学基幹理工学部情報理工学科:早稲田大学グローバルソフトウェアエンジニアリング研究所 Waseda University, Dept Computer Science and Engineering, Global Software Engineering Laboratory |
| 発表年月日 | 2012/7/20 |
| 資料番号 | KBSE2012-13,SS2012-11 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | 165 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |