講演抄録/キーワード |
講演名 |
2012-07-27 11:30
Simulinkモデルにおけるグラフに基づく非完全一致モデルクローン検出 ○鷲崎弘宜・村上真一・深澤良彰(早大) SS2012-11 KBSE2012-13 |
抄録 |
(和) |
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 / クローン検出 / / / / |
文献情報 |
信学技報, vol. 112, no. 164, SS2012-11, pp. 7-12, 2012年7月. |
資料番号 |
SS2012-11 |
発行日 |
2012-07-20 (SS, KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2012-11 KBSE2012-13 |