Simulinkモデルにおけるグラフに基づく非完全一致モデルクローン検出

摘要

Simulinkモデルは，ブロック線図としてプログラムを表現したモデルであり，制御系を中心として組込みソフトウェア開発において使われつつある．大規模なモデルや，同一ドメインで複数のモデルを扱う場合，クローンと呼ばれる重複箇所の存在がモデルの保守性を低下させる可能性がある．この問題解決に向けて，完全に一致するクローンを検出する手法が提案されているが，コピー＆ペースト後に部分的に変更されたような非完全一致ながら類似性の高いクローン（ギャップを含むクローン）を十分に検出できなかった．そこで我々は，完全一致のクローンを検出する既存の手法と，多頻度グラフ検出アルゴリズムを組み合わせることで，非完全一致のモデルクローンをSimulinkモデル群から効率よく検出する手法を提案する．提案手法を検出ツールとして実装し，複数の具体的な制御モデルに適用した結果，非完全一致のクローンを検出可能なことを確認した．提案手法により検出した結果を記録し管理することで，効率的な保守を実現することが期待できる．